PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_h_ 00017 #define polybori_h_ 00018 00019 #include "BooleSet.h" 00020 #include "BoolePolyRing.h" 00021 #include "BooleEnv.h" 00022 #include "BoolePolynomial.h" 00023 #include "BooleMonomial.h" 00024 #include "BooleVariable.h" 00025 #include "BooleExponent.h" 00026 #include "PBoRiError.h" 00027 #include "PBoRiGenericError.h" 00028 00029 #include "CGenericIter.h" 00030 #include "CExpIter.h" 00031 00032 #include "pbori_algorithms.h" 00033 #include "pbori_order.h" 00034 #endif // of #ifndef polybori_h_