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

VarList Member List

This is the complete list of members for VarList, including all inherited members.
_dataLst< Var > [protected]
append(const Lst &)Lst< Var >
copy(Lst &to) constLst< Var >
head() constLst< Var >
isEmpty() constLst< Var >
isNonEmpty() constLst< Var >
length() constLst< Var >
Lst()Lst< Var >
Lst(const Lst &)Lst< Var >
Lst(const Var &head, const Lst &tail)Lst< Var >
Lst(const Var &t)Lst< Var > [explicit]
Lst(LstData< Var > *)Lst< Var > [explicit]
makeEmpty()Lst< Var >
max() constVarList
member(const Varelem) constLst< Var >
operator=(const Lst &rhs)Lst< Var >
operator==(const Lst &rhs) constLst< Var >
pop()Lst< Var >
push(Varelem)Lst< Var >
rectify(VarList, Substitution &, Var &last)VarList
reverse(Lst &result) constLst< Var >
reverse(Lst &result, const Lst &appendTo) constLst< Var >
second() constLst< Var >
tail() constVarList [inline]
VarList(Var head, const VarList &tail)VarList [inline]
VarList(const VarList &lst)VarList [inline]
VarList(Var v)VarList [inline, explicit]
VarList()VarList [inline]
~Lst()Lst< Var >

Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2