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

LiteralList Member List

This is the complete list of members for LiteralList, including all inherited members.
_dataLst< Literal > [protected]
append(const Lst &)Lst< Literal >
copy(Lst &to) constLst< Literal >
head() constLst< Literal >
isEmpty() constLst< Literal >
isNonEmpty() constLst< Literal >
isRenamingOf(LiteralList lst) constLiteralList
isRenamingOf(LiteralList tried, LiteralList remaining, Substitution sbst) constLiteralList [private]
length() constLst< Literal >
LiteralList()LiteralList [inline]
LiteralList(const LiteralList &)LiteralList [inline]
LiteralList(const Literal &t)LiteralList [inline, explicit]
LiteralList(const Literal &head, const LiteralList &tail)LiteralList [inline]
LiteralList(LstData< Literal > *)LiteralList [inline, explicit]
LiteralList(const VampireKernel::Literal *lit, const VampireKernel &kernel)LiteralList
Lst()Lst< Literal >
Lst(const Lst &)Lst< Literal >
Lst(const Literal &head, const Lst &tail)Lst< Literal >
Lst(const Literal &t)Lst< Literal > [explicit]
Lst(LstData< Literal > *)Lst< Literal > [explicit]
makeEmpty()Lst< Literal >
member(const Literalelem) constLst< Literal >
operator=(const Lst &rhs)Lst< Literal >
operator==(const Lst &rhs) constLst< Literal >
pop()Lst< Literal >
push(Literalelem)Lst< Literal >
reverse(Lst &result) constLst< Literal >
reverse(Lst &result, const Lst &appendTo) constLst< Literal >
second() constLst< Literal >
tail() constLiteralList [inline]
~Lst()Lst< Literal >

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