PolyBoRi
Classes | Namespaces | Defines | Typedefs

groebner_defs.h File Reference

#include <polybori.h>
#include <boost/integer.hpp>

Go to the source code of this file.

Classes

class  PBORINAME::groebner::GBTypes

Namespaces

namespace  PBORINAME
namespace  PBORINAME::groebner

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 PBORINAME::groebner::Polynomial
typedef polybori::BooleMonomial PBORINAME::groebner::Monomial
typedef polybori::BooleVariable PBORINAME::groebner::Variable
typedef polybori::BooleExponent PBORINAME::groebner::Exponent
typedef long long PBORINAME::groebner::wlen_type
typedef long PBORINAME::groebner::len_type
typedef int PBORINAME::groebner::deg_type
typedef polybori::CTypes::idx_type PBORINAME::groebner::idx_type
typedef polybori::BooleSet PBORINAME::groebner::MonomialSet

Define Documentation

#define BEGIN_NAMESPACE_PBORIGB   namespace PBORINAME { namespace groebner{
#define END_NAMESPACE_PBORIGB   }}
#define USING_NAMESPACE_PBORIGB   using namespace PBORINAME::groebner;