19#ifndef TERM_ORDER_GUARD
20#define TERM_ORDER_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
bool equals(const Exponent *a, const Exponent *b, size_t varCount)
Returns whether the entries of a are equal to the entries of b.
int lexCompare(const Exponent *a, const Exponent *b, size_t varCount)
Indicates how a relates to b according to the lexicographic term order where .
auto_ptr< TermPredicate > createTermPredicate(const string &prefix, size_t varCount=0)
Returns the predicate whose name has the given prefix.
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 .
A predicate that compares for equality.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
A predicate that sorts terms according to lexicographic order.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
static const char * staticGetName()
A predicate that sorts according to reverse lexicographic order.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
static const char * staticGetName()
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
A predicate that sorts terms in weakly ascending order according to degree of the specified variable.
virtual bool doPredicate(const Exponent *a, const Exponent *b) const
Adapter for TermPredicate which allows it to be used as a predicate in STL.
StlTermPredicate(const TermPredicate &pred)
bool operator()(const T &a, const T &b) const
const TermPredicate & _pred
size_t getVarCount() const
bool operator()(const Exponent *a, const Term &b) const
bool operator()(const Term &a, const Term &b) const
bool operator()(const Term &a, const Exponent *b) const
virtual bool doPredicate(const Exponent *a, const Exponent *b) const =0
bool operator()(const Exponent *a, const Exponent *b) const
void setVarCount(size_t varCount)
Term represents a product of variables which does not include a coefficient.