Frobby
0.9.5
|
A predicate that sorts terms in weakly descending order according to degree of the specified variable. More...
#include <TermPredicate.h>
Public Member Functions | |
ReverseSingleDegreeComparator (size_t var, size_t varCount=0) | |
Public Member Functions inherited from TermPredicate | |
TermPredicate (size_t varCount=0) | |
virtual | ~TermPredicate () |
bool | operator() (const Term &a, const Term &b) const |
bool | operator() (const Term &a, const Exponent *b) const |
bool | operator() (const Exponent *a, const Term &b) const |
bool | operator() (const Exponent *a, const Exponent *b) const |
size_t | getVarCount () const |
void | setVarCount (size_t varCount) |
Private Member Functions | |
virtual bool | doPredicate (const Exponent *a, const Exponent *b) const |
Private Attributes | |
size_t | _var |
A predicate that sorts terms in weakly descending order according to degree of the specified variable.
Definition at line 141 of file TermPredicate.h.
ReverseSingleDegreeComparator::ReverseSingleDegreeComparator | ( | size_t | var, |
size_t | varCount = 0 |
||
) |
Definition at line 108 of file TermPredicate.cpp.
|
inlineprivatevirtual |
Implements TermPredicate.
Definition at line 146 of file TermPredicate.h.
|
private |
Definition at line 151 of file TermPredicate.h.