11 #include <boost/integer.hpp>
12 #ifndef PBORI_GB_DEFS_H
13 #define PBORI_GB_DEFS_H
14 #ifndef PBORI_NO_NAMESPACES
15 #define BEGIN_NAMESPACE_PBORIGB namespace PBORINAME { namespace groebner{
16 #define END_NAMESPACE_PBORIGB }} // end of namespace
17 #define USING_NAMESPACE_PBORIGB using namespace PBORINAME::groebner;
36 #ifdef PBORI_HAVE_LONG_LONG
polybori::BooleVariable Variable
Definition: groebner_defs.h:32
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
polybori::BooleMonomial Monomial
Definition: groebner_defs.h:31
polybori::BooleExponent Exponent
Definition: groebner_defs.h:33
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
int deg_type
Definition: groebner_defs.h:42
long len_type
Definition: groebner_defs.h:41
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
Definition: groebner_defs.h:26
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
polybori::BooleSet MonomialSet
Definition: groebner_defs.h:45
polybori::BoolePolynomial Polynomial
Definition: groebner_defs.h:30
int idx_type
Type for indices.
Definition: pbori_defs.h:228
long wlen_type
Definition: groebner_defs.h:39
std::vector< Polynomial > PolynomialVector
Definition: groebner_defs.h:34
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
Definition: BooleSet.h:57
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleVariable.h:39