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

ListSubstitution Member List

This is the complete list of members for ListSubstitution, including all inherited members.
_bindingsListSubstitution [private]
BindingList typedefListSubstitution [private]
get(Var v, Term &t) constListSubstitution
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) constListSubstitution [inline]
terms(const BindingList *, TermList &ts)ListSubstitution [private, static]
~ListSubstitution()ListSubstitution

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