pl_search_cpp 1.4
|
This is the complete list of members for pl_search::PVar, including all inherited members.
bind(const TermPtr &t) | pl_search::PVar | virtual |
deref_term() override | pl_search::PVar | protectedvirtual |
dereference() override | pl_search::PVar | virtual |
getVarId() const | pl_search::PVar | inline |
id | pl_search::PVar | static |
is_var() override | pl_search::PVar | virtual |
isEqualTo(Term &other) const override | pl_search::PVar | inlineprotectedvirtual |
isLessThan(Term &other) const override | pl_search::PVar | virtual |
PVar() | pl_search::PVar | inline |
repr() const override | pl_search::PVar | inlinevirtual |
reset(const TermPtr &t) | pl_search::PVar | |
Term() | pl_search::Term | inline |
unifyWith(Engine *engine, TermPtr t) | pl_search::Term | inlinevirtual |
value | pl_search::PVar | |
var_id | pl_search::PVar | protected |
~Term() | pl_search::Term | inlinevirtual |