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