Frobby 0.9.5
|
#include <TermPredicate.h>
Public Member Functions | |
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 =0 |
Private Attributes | |
size_t | _varCount |
Definition at line 24 of file TermPredicate.h.
TermPredicate::TermPredicate | ( | size_t | varCount = 0 | ) |
Definition at line 24 of file TermPredicate.cpp.
|
virtual |
Definition at line 28 of file TermPredicate.cpp.
|
privatepure virtual |
Implemented in LexComparator, ReverseLexComparator, SingleDegreeComparator, ReverseSingleDegreeComparator, and EqualsPredicate.
|
inline |
Definition at line 53 of file TermPredicate.h.
Definition at line 47 of file TermPredicate.h.
Definition at line 41 of file TermPredicate.h.
Definition at line 35 of file TermPredicate.h.
Definition at line 29 of file TermPredicate.h.
|
inline |
Definition at line 54 of file TermPredicate.h.
|
private |
Definition at line 59 of file TermPredicate.h.