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

ListSubstitution::Binding Member List

This is the complete list of members for ListSubstitution::Binding, including all inherited members.
_termListSubstitution::Binding [private]
_varListSubstitution::Binding [private]
Binding(Var v, Term t)ListSubstitution::Binding [inline]
term() constListSubstitution::Binding [inline]
var() constListSubstitution::Binding [inline]

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