PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00064 //***************************************************************************** 00065 00066 #ifndef polybori_h_ 00067 #define polybori_h_ 00068 00069 #include "BooleSet.h" 00070 #include "BoolePolyRing.h" 00071 #include "BooleEnv.h" 00072 #include "BoolePolynomial.h" 00073 #include "BooleMonomial.h" 00074 #include "BooleVariable.h" 00075 #include "BooleExponent.h" 00076 #include "PBoRiError.h" 00077 #include "PBoRiGenericError.h" 00078 00079 #include "CGenericIter.h" 00080 #include "CExpIter.h" 00081 00082 #include "pbori_algorithms.h" 00083 #include "pbori_order.h" 00084 #endif // of #ifndef polybori_h_