#include <polybori.h>
#include <boost/integer.hpp>
Go to the source code of this file.
Classes | |
class | GBTypes |
Defines | |
#define | BEGIN_NAMESPACE_PBORIGB namespace PBORINAME { namespace groebner{ |
#define | END_NAMESPACE_PBORIGB }} |
#define | USING_NAMESPACE_PBORIGB using namespace PBORINAME::groebner; |
Typedefs | |
typedef polybori::BoolePolynomial | Polynomial |
typedef polybori::BooleMonomial | Monomial |
typedef polybori::BooleVariable | Variable |
typedef polybori::BooleExponent | Exponent |
typedef std::vector< Polynomial > | PolynomialVector |
typedef long long | wlen_type |
typedef long | len_type |
typedef int | deg_type |
typedef polybori::CTypes::idx_type | idx_type |
typedef polybori::BooleSet | MonomialSet |
#define BEGIN_NAMESPACE_PBORIGB namespace PBORINAME { namespace groebner{ |
#define END_NAMESPACE_PBORIGB }} |
#define USING_NAMESPACE_PBORIGB using namespace PBORINAME::groebner; |
typedef int deg_type |
typedef polybori::BooleExponent Exponent |
typedef polybori::CTypes::idx_type idx_type |
typedef long len_type |
typedef polybori::BooleMonomial Monomial |
typedef polybori::BooleSet MonomialSet |
typedef polybori::BoolePolynomial Polynomial |
typedef std::vector<Polynomial> PolynomialVector |
typedef polybori::BooleVariable Variable |
typedef long long wlen_type |