| _data | Lst< Formula > | [protected] |
| append(const Lst &) | Lst< Formula > | |
| appendN(const FormulaList &fst, const FormulaList &snd, int N, FormulaList &result) | FormulaList | [static] |
| copy(Lst &to) const | Lst< Formula > | |
| ennf(Formula::Connective andOr, bool polarity) | FormulaList | |
| flatten(Formula::Connective) | FormulaList | |
| FormulaList() | FormulaList | [inline] |
| FormulaList(const FormulaList &) | FormulaList | [inline] |
| FormulaList(const Formula &t) | FormulaList | [inline, explicit] |
| FormulaList(const Formula &head, const FormulaList &tail) | FormulaList | [inline] |
| FormulaList(LstData< Formula > *) | FormulaList | [inline, explicit] |
| head() const | Lst< Formula > | |
| isEmpty() const | Lst< Formula > | |
| isNonEmpty() const | Lst< Formula > | |
| length() const | Lst< Formula > | |
| Lst() | Lst< Formula > | |
| Lst(const Lst &) | Lst< Formula > | |
| Lst(const Formula &head, const Lst &tail) | Lst< Formula > | |
| Lst(const Formula &t) | Lst< Formula > | [explicit] |
| Lst(LstData< Formula > *) | Lst< Formula > | [explicit] |
| makeEmpty() | Lst< Formula > | |
| member(const Formulaelem) const | Lst< Formula > | |
| miniscope(Formula::Connective con, InferenceList &, const Position &, int argNumber, const FormulaList &lst) | FormulaList | |
| operator=(const Lst &rhs) | Lst< Formula > | |
| operator==(const Lst &rhs) const | Lst< Formula > | |
| pop() | Lst< Formula > | |
| push(Formulaelem) | Lst< Formula > | |
| rectify(Substitution &, Var &last, VarList &freeVars) | FormulaList | |
| removeIff() | FormulaList | |
| reverse(Lst &result) const | Lst< Formula > | |
| reverse(Lst &result, const Lst &appendTo) const | Lst< Formula > | |
| second() const | Lst< Formula > | |
| skolemizeNNF(Substitution &subst, VarList) | FormulaList | |
| tail() const | FormulaList | [inline] |
| topMiniscope(Formula::Connective, const VarList &vars, InferenceList &inf, const Position &pos, int index) | FormulaList | |
| ~Lst() | Lst< Formula > | |