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