_data | Lst< Binding > | [protected] |
append(const Lst &) | Lst< Binding > | |
bind(Var v, Term t) | Substitution | [inline] |
bound(Var v, Term &t) const | Substitution | |
copy(Lst &to) const | Lst< Binding > | |
domain(VarList &vs) const | Substitution | [inline] |
domain(VarList &vs, Lst< Binding >) const | Substitution | [private] |
head() const | Lst< Binding > | |
inRange(Term t) const | Substitution | |
isEmpty() const | Lst< Binding > | |
isNonEmpty() const | Lst< Binding > | |
length() const | Lst< 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) const | Lst< Binding > | |
operator=(const Lst< Binding > &rhs) | Substitution | [inline] |
Lst< Binding >::operator=(const Lst &rhs) | Lst< Binding > | |
operator==(const Lst &rhs) const | Lst< Binding > | |
pop() | Lst< Binding > | |
push(Bindingelem) | Lst< Binding > | |
range(TermList &ts) const | Substitution | [inline] |
range(TermList &ts, Lst< Binding >) const | Substitution | [private] |
reverse(Lst &result) const | Lst< Binding > | |
reverse(Lst &result, const Lst &appendTo) const | Lst< Binding > | |
second() const | Lst< Binding > | |
Substitution() | Substitution | [inline] |
Substitution(const Substitution &sbst) | Substitution | [inline] |
tail() const | Lst< Binding > | |
undoBinding(Var v) | Substitution | |
undoBinding(Var v, Lst< Binding >) | Substitution | [private] |
~Lst() | Lst< Binding > |