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