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