_data | Lst< Var > | [protected] |
append(const Lst &) | Lst< Var > | |
copy(Lst &to) const | Lst< Var > | |
head() const | Lst< Var > | |
isEmpty() const | Lst< Var > | |
isNonEmpty() const | Lst< Var > | |
length() const | Lst< 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() const | VarList | |
member(const Varelem) const | Lst< Var > | |
operator=(const Lst &rhs) | Lst< Var > | |
operator==(const Lst &rhs) const | Lst< Var > | |
pop() | Lst< Var > | |
push(Varelem) | Lst< Var > | |
rectify(VarList, Substitution &, Var &last) | VarList | |
reverse(Lst &result) const | Lst< Var > | |
reverse(Lst &result, const Lst &appendTo) const | Lst< Var > | |
second() const | Lst< Var > | |
tail() const | VarList | [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 > |