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

Substitution Member List

This is the complete list of members for Substitution, including all inherited members.
_dataLst< Binding > [protected]
append(const Lst &)Lst< Binding >
bind(Var v, Term t)Substitution [inline]
bound(Var v, Term &t) constSubstitution
copy(Lst &to) constLst< Binding >
domain(VarList &vs) constSubstitution [inline]
domain(VarList &vs, Lst< Binding >) constSubstitution [private]
head() constLst< Binding >
inRange(Term t) constSubstitution
isEmpty() constLst< Binding >
isNonEmpty() constLst< Binding >
length() constLst< Binding >
Lst()Lst< Binding >
Lst(const Lst &)Lst< Binding >
Lst(const Binding &head, const Lst &tail)Lst< Binding >
Lst(const Binding &t)Lst< Binding > [explicit]
Lst(LstData< Binding > *)Lst< Binding > [explicit]
makeEmpty()Lst< Binding >
member(const Bindingelem) constLst< Binding >
operator=(const Lst< Binding > &rhs)Substitution [inline]
Lst< Binding >::operator=(const Lst &rhs)Lst< Binding >
operator==(const Lst &rhs) constLst< Binding >
pop()Lst< Binding >
push(Bindingelem)Lst< Binding >
range(TermList &ts) constSubstitution [inline]
range(TermList &ts, Lst< Binding >) constSubstitution [private]
reverse(Lst &result) constLst< Binding >
reverse(Lst &result, const Lst &appendTo) constLst< Binding >
second() constLst< Binding >
Substitution()Substitution [inline]
Substitution(const Substitution &sbst)Substitution [inline]
tail() constLst< Binding >
undoBinding(Var v)Substitution
undoBinding(Var v, Lst< Binding >)Substitution [private]
~Lst()Lst< Binding >

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