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

FormulaList Member List

This is the complete list of members for FormulaList, including all inherited members.
_dataLst< Formula > [protected]
append(const Lst &)Lst< Formula >
appendN(const FormulaList &fst, const FormulaList &snd, int N, FormulaList &result)FormulaList [static]
copy(Lst &to) constLst< 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() constLst< Formula >
isEmpty() constLst< Formula >
isNonEmpty() constLst< Formula >
length() constLst< 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) constLst< Formula >
miniscope(Formula::Connective con, InferenceList &, const Position &, int argNumber, const FormulaList &lst)FormulaList
operator=(const Lst &rhs)Lst< Formula >
operator==(const Lst &rhs) constLst< Formula >
pop()Lst< Formula >
push(Formulaelem)Lst< Formula >
rectify(Substitution &, Var &last, VarList &freeVars)FormulaList
removeIff()FormulaList
reverse(Lst &result) constLst< Formula >
reverse(Lst &result, const Lst &appendTo) constLst< Formula >
second() constLst< Formula >
skolemizeNNF(Substitution &subst, VarList)FormulaList
tail() constFormulaList [inline]
topMiniscope(Formula::Connective, const VarList &vars, InferenceList &inf, const Position &pos, int index)FormulaList
~Lst()Lst< Formula >

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