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