PolyBoRi
polybori.h
Go to the documentation of this file.
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 
00081 #endif // of #ifndef polybori_h_