Go to the documentation of this file.
19 #ifndef TERM_ORDER_GUARD
20 #define TERM_ORDER_GUARD
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
A predicate that sorts according to reverse lexicographic order.
TermPredicate(size_t varCount=0)
bool operator()(const T &a, const T &b) const
const TermPredicate & _pred
bool operator()(const Term &a, const Term &b) const
size_t getVarCount() const
EqualsPredicate(size_t varCount=0)
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
static const char * staticGetName()
int lexCompare(const Exponent *a, const Exponent *b, size_t varCount)
Indicates how a relates to b according to the lexicographic term order where .
size_t getVarCount() const
ReverseSingleDegreeComparator(size_t var, size_t varCount=0)
int reverseLexCompare(const Exponent *a, const Exponent *b, size_t varCount)
Indicates how a relates to b according to the reverse lexicographic term order where .
Term represents a product of variables which does not include a coefficient.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const =0
LexComparator(size_t varCount=0)
ReverseLexComparator(size_t varCount=0)
bool equals(const Exponent *a, const Exponent *b, size_t varCount)
Returns whether the entries of a are equal to the entries of b.
A predicate that compares for equality.
bool operator()(const Exponent *a, const Exponent *b) const
bool operator()(const Term &a, const Exponent *b) const
bool operator()(const Exponent *a, const Term &b) const
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
A predicate that sorts terms according to lexicographic order.
StlTermPredicate(const TermPredicate &pred)
SingleDegreeComparator(size_t var, size_t varCount=0)
A predicate that sorts terms in weakly ascending order according to degree of the specified variable.
static const char * staticGetName()
Adapter for TermPredicate which allows it to be used as a predicate in STL.
auto_ptr< TermPredicate > createTermPredicate(const string &prefix, size_t varCount=0)
Returns the predicate whose name has the given prefix.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
void setVarCount(size_t varCount)
A predicate that sorts terms in weakly descending order according to degree of the specified variable...
virtual bool doPredicate(const Exponent *a, const Exponent *b) const