_data | Lst< Literal > | [protected] |
append(const Lst &) | Lst< Literal > | |
copy(Lst &to) const | Lst< Literal > | |
head() const | Lst< Literal > | |
isEmpty() const | Lst< Literal > | |
isNonEmpty() const | Lst< Literal > | |
isRenamingOf(LiteralList lst) const | LiteralList | |
isRenamingOf(LiteralList tried, LiteralList remaining, Substitution sbst) const | LiteralList | [private] |
length() const | Lst< 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) const | Lst< Literal > | |
operator=(const Lst &rhs) | Lst< Literal > | |
operator==(const Lst &rhs) const | Lst< Literal > | |
pop() | Lst< Literal > | |
push(Literalelem) | Lst< Literal > | |
reverse(Lst &result) const | Lst< Literal > | |
reverse(Lst &result, const Lst &appendTo) const | Lst< Literal > | |
second() const | Lst< Literal > | |
tail() const | LiteralList | [inline] |
~Lst() | Lst< Literal > |