PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
libpolybori
include
polybori
polybori/polybori.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_polybori_h_
17
#define polybori_polybori_h_
18
19
#include "
BooleSet.h
"
20
#include "
BoolePolyRing.h
"
21
#include "
BooleEnv.h
"
22
#include "
BoolePolynomial.h
"
23
#include "
BooleMonomial.h
"
24
#include "
BooleVariable.h
"
25
#include "
BooleExponent.h
"
26
#include "
ring/WeakRingPtr.h
"
27
28
#include "
except/PBoRiError.h
"
29
#include "
except/PBoRiGenericError.h
"
30
31
#include "
iterators/CGenericIter.h
"
32
#include "
iterators/CExpIter.h
"
33
34
#include "
routines/pbori_algorithms.h
"
35
#include "
orderings/pbori_order.h
"
36
#include "
orderings/pbori_order.h
"
37
38
#include "
factories/MonomialFactory.h
"
39
#include "
factories/PolynomialFactory.h
"
40
#include "
factories/SetFactory.h
"
41
#include "
factories/VariableBlock.h
"
42
#include "
factories/VariableFactory.h
"
43
44
#endif // of #ifndef polybori_polybori_h_
PBoRiGenericError.h
BooleSet.h
VariableBlock.h
PolynomialFactory.h
BooleVariable.h
pbori_algorithms.h
WeakRingPtr.h
BoolePolynomial.h
SetFactory.h
BooleMonomial.h
PBoRiError.h
CGenericIter.h
BoolePolyRing.h
VariableFactory.h
pbori_order.h
BooleExponent.h
CExpIter.h
MonomialFactory.h
BooleEnv.h
Generated by
1.8.9.1