pl_search_cpp 1.4
|
comparison operators for TermPtrs and the isLessThan method for subclasses of Term. More...
#include "pl_search/term.hpp"
#include "pl_search/clist.hpp"
#include "pl_search/patom.hpp"
#include "pl_search/pfloat.hpp"
#include "pl_search/pint.hpp"
#include "pl_search/pvar.hpp"
Namespaces | |
namespace | pl_search |
Functions | |
bool | pl_search::operator== (Term &t1, Term &t2) |
== test for TermPtrs | |
bool | pl_search::operator< (Term &t1, Term &t2) |
< operator for Terms. Approximates the < operator in Prolog. The ordering is as follows: pvar < pint, pfloat < patom < clist < user-defined classes "older" vars are less than "newer" vars patoms are ordered by name pints and pfloats are ordered by value clists are ordered by the first element, then the second, etc. | |
bool | pl_search::operator<= (Term &t1, Term &t2) |
<= operator for Terms | |
comparison operators for TermPtrs and the isLessThan method for subclasses of Term.