A predicate that sorts terms according to lexicographic order. More...
#include <TermPredicate.h>
Inheritance diagram for LexComparator:
Public Member Functions | |
| LexComparator (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) |
Static Public Member Functions | |
| static const char * | staticGetName () |
Private Member Functions | |
| virtual bool | doPredicate (const Exponent *a, const Exponent *b) const |
Detailed Description
A predicate that sorts terms according to lexicographic order.
Definition at line 97 of file TermPredicate.h.
Constructor & Destructor Documentation
◆ LexComparator()
| LexComparator::LexComparator | ( | size_t | varCount = 0 | ) |
Definition at line 87 of file TermPredicate.cpp.
Member Function Documentation
◆ doPredicate()
|
inlineprivatevirtual |
Implements TermPredicate.
Definition at line 104 of file TermPredicate.h.
◆ staticGetName()
|
static |
Definition at line 91 of file TermPredicate.cpp.
The documentation for this class was generated from the following files:
- src/TermPredicate.h
- src/TermPredicate.cpp
