Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Term Member List

This is the complete list of members for Term, including all inherited members.
_dataTerm [private]
apply(const Substitution &subst)Term
args() constTerm [inline]
compare(const Term &l) constTerm
COMPOUND enum valueTerm
defines(const Term &lhs) constTerm
equal(const Term &t) constTerm
equalUpTo(const Term &r, Var x, Var y) constTerm
functor() constTerm [inline]
hasVarsNotIn(VarListList) constTerm
isRenamingOf(Term t, Substitution &sbst) constTerm
isvar() constTerm [inline]
number() constTerm [inline]
NUMERIC enum valueTerm
occurring(bool *occurrences, Var max) constTerm
occurs(const Signature::Fun *) constTerm
occurs(Var v) constTerm
operator new(size_t)Term
operator=(const Term &rhs)Term
operator==(const Term &rhs) constTerm [inline]
rectify(Substitution &, Var &last, VarList &freeVars)Term
Tag enum nameTerm
tag() constTerm [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 valueTerm
var() constTerm [inline]
~Term()Term [inline]

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2