| _data | Lst< Term > | [protected] |
| append(const Lst &) | Lst< Term > | |
| apply(const Substitution &subst) | TermList | |
| buildFrom(VarList vs) | TermList | |
| compare(TermList l) const | TermList | |
| copy(Lst &to) const | Lst< Term > | |
| equal(TermList t) const | TermList | |
| equalUpTo(TermList rs, Var x, Var y) const | TermList | |
| hasVarsNotIn(VarListList) const | TermList | |
| head() const | Lst< Term > | |
| isEmpty() const | Lst< Term > | |
| isNonEmpty() const | Lst< Term > | |
| isRenamingOf(TermList t, Substitution &sbst) const | TermList | |
| length() const | Lst< Term > | |
| Lst() | Lst< Term > | |
| Lst(const Lst &) | Lst< Term > | |
| Lst(const Term &head, const Lst &tail) | Lst< Term > | |
| Lst(const Term &t) | Lst< Term > | [explicit] |
| Lst(LstData< Term > *) | Lst< Term > | [explicit] |
| makeEmpty() | Lst< Term > | |
| member(const Termelem) const | Lst< Term > | |
| occurring(bool *occurrences, Var max) const | TermList | |
| occurs(const Signature::Fun *) const | TermList | |
| occurs(Var v) const | TermList | |
| operator=(const Lst &rhs) | Lst< Term > | |
| operator==(const Lst &rhs) const | Lst< Term > | |
| pop() | Lst< Term > | |
| push(Termelem) | Lst< Term > | |
| rectify(Substitution &, Var &last, VarList &freeVars) | TermList | |
| reverse(Lst &result) const | Lst< Term > | |
| reverse(Lst &result, const Lst &appendTo) const | Lst< Term > | |
| second() const | Lst< Term > | |
| tail() const | TermList | [inline] |
| TermList() | TermList | [inline] |
| TermList(const TermList &) | TermList | [inline] |
| TermList(const Term &t) | TermList | [inline, explicit] |
| TermList(const Term &head, const TermList &tail) | TermList | [inline] |
| TermList(LstData< Term > *) | TermList | [inline, explicit] |
| TermList(const VampireKernel::Subterm *term) | TermList | [explicit] |
| TermList(const VampireKernel::Subterm *term, const VampireKernel &kernel) | TermList | |
| varsOnly() const | TermList | |
| ~Lst() | Lst< Term > | |