_data | Term | [private] |
apply(const Substitution &subst) | Term | |
args() const | Term | [inline] |
compare(const Term &l) const | Term | |
COMPOUND enum value | Term | |
defines(const Term &lhs) const | Term | |
equal(const Term &t) const | Term | |
equalUpTo(const Term &r, Var x, Var y) const | Term | |
functor() const | Term | [inline] |
hasVarsNotIn(VarListList) const | Term | |
isRenamingOf(Term t, Substitution &sbst) const | Term | |
isvar() const | Term | [inline] |
number() const | Term | [inline] |
NUMERIC enum value | Term | |
occurring(bool *occurrences, Var max) const | Term | |
occurs(const Signature::Fun *) const | Term | |
occurs(Var v) const | Term | |
operator new(size_t) | Term | |
operator=(const Term &rhs) | Term | |
operator==(const Term &rhs) const | Term | [inline] |
rectify(Substitution &, Var &last, VarList &freeVars) | Term | |
Tag enum name | Term | |
tag() const | Term | [inline] |
Term() | Term | [inline] |
Term(Signature::Fun *f, const TermList &args) | Term | [inline] |
Term(Signature::Fun *f) | Term | [inline] |
Term(const Term &t) | Term | [inline] |
Term(Var v) | Term | [inline, explicit] |
Term(double number) | Term | [inline, explicit] |
Term(const VampireKernel::Subterm *term, const VampireKernel &kernel) | Term | |
VAR enum value | Term | |
var() const | Term | [inline] |
~Term() | Term | [inline] |