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

TermList Member List

This is the complete list of members for TermList, including all inherited members.
_dataLst< Term > [protected]
append(const Lst &)Lst< Term >
apply(const Substitution &subst)TermList
buildFrom(VarList vs)TermList
compare(TermList l) constTermList
copy(Lst &to) constLst< Term >
equal(TermList t) constTermList
equalUpTo(TermList rs, Var x, Var y) constTermList
hasVarsNotIn(VarListList) constTermList
head() constLst< Term >
isEmpty() constLst< Term >
isNonEmpty() constLst< Term >
isRenamingOf(TermList t, Substitution &sbst) constTermList
length() constLst< Term >
Lst()Lst< Term >
Lst(const Lst &)Lst< Term >
Lst(const Term &head, const Lst &tail)Lst< Term >
Lst(const Term &t)Lst< Term > [explicit]
Lst(LstData< Term > *)Lst< Term > [explicit]
makeEmpty()Lst< Term >
member(const Termelem) constLst< Term >
occurring(bool *occurrences, Var max) constTermList
occurs(const Signature::Fun *) constTermList
occurs(Var v) constTermList
operator=(const Lst &rhs)Lst< Term >
operator==(const Lst &rhs) constLst< Term >
pop()Lst< Term >
push(Termelem)Lst< Term >
rectify(Substitution &, Var &last, VarList &freeVars)TermList
reverse(Lst &result) constLst< Term >
reverse(Lst &result, const Lst &appendTo) constLst< Term >
second() constLst< Term >
tail() constTermList [inline]
TermList()TermList [inline]
TermList(const TermList &)TermList [inline]
TermList(const Term &t)TermList [inline, explicit]
TermList(const Term &head, const TermList &tail)TermList [inline]
TermList(LstData< Term > *)TermList [inline, explicit]
TermList(const VampireKernel::Subterm *term)TermList [explicit]
TermList(const VampireKernel::Subterm *term, const VampireKernel &kernel)TermList
varsOnly() constTermList
~Lst()Lst< Term >

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