#include <TermPredicate.h>
Definition at line 24 of file TermPredicate.h.
TermPredicate::TermPredicate |
( |
size_t |
varCount = 0 | ) |
|
TermPredicate::~TermPredicate |
( |
| ) |
|
|
virtual |
virtual bool TermPredicate::doPredicate |
( |
const Exponent * |
a, |
|
|
const Exponent * |
b |
|
) |
| const |
|
privatepure virtual |
size_t TermPredicate::getVarCount |
( |
| ) |
const |
|
inline |
bool TermPredicate::operator() |
( |
const Term & |
a, |
|
|
const Term & |
b |
|
) |
| const |
|
inline |
bool TermPredicate::operator() |
( |
const Term & |
a, |
|
|
const Exponent * |
b |
|
) |
| const |
|
inline |
bool TermPredicate::operator() |
( |
const Exponent * |
a, |
|
|
const Term & |
b |
|
) |
| const |
|
inline |
void TermPredicate::setVarCount |
( |
size_t |
varCount | ) |
|
|
inline |
size_t TermPredicate::_varCount |
|
private |
The documentation for this class was generated from the following files: