Compares two terms. More...
#include <TermComperator.h>

Public Member Functions | |
| bool | operator() (const Term *left_term, const Term *right_term) const |
| Compares two terms. | |
Compares two terms.
Definition at line 27 of file TermComperator.h.
Compares two terms.
| left_term | left term |
| right_term | right term |
Definition at line 35 of file TermComperator.h.

1.8.1.2