PolyBoRi: polybori.h Source File

00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 #ifndef polybori_polybori_h_
00017 #define polybori_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 "ring/WeakRingPtr.h"
00027 
00028 #include "except/PBoRiError.h"
00029 #include "except/PBoRiGenericError.h"
00030 
00031 #include "iterators/CGenericIter.h"
00032 #include "iterators/CExpIter.h"
00033 
00034 #include "routines/pbori_algorithms.h"
00035 #include "orderings/pbori_order.h"
00036 #include "orderings/pbori_order.h"
00037 
00038 #include "factories/MonomialFactory.h"
00039 #include "factories/PolynomialFactory.h"
00040 #include "factories/SetFactory.h"
00041 #include "factories/VariableBlock.h"
00042 #include "factories/VariableFactory.h"
00043 
00044 #endif // of #ifndef polybori_polybori_h_