| _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] |