| _bindings | ListSubstitution | [private] |
| BindingList typedef | ListSubstitution | [private] |
| get(Var v, Term &t) const | ListSubstitution | |
| ListSubstitution() | ListSubstitution | |
| operator<<(ostream &str, ListSubstitution &) | ListSubstitution | [friend] |
| originalVars(VarList &vs, const BindingList *) | ListSubstitution | [private, static] |
| pop(Var v) | ListSubstitution | |
| push(Var v, Term t) | ListSubstitution | |
| terms(TermList &ts) const | ListSubstitution | [inline] |
| terms(const BindingList *, TermList &ts) | ListSubstitution | [private, static] |
| ~ListSubstitution() | ListSubstitution |
1.3.2