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

Problem Member List

This is the complete list of members for Problem, including all inherited members.
_answerLiteralProblem [private]
_hasFormulasProblem [private]
_originalAnswerVariablesProblem [private]
_unitsProblem [private]
addUnit(Unit u)Problem
answerLiteral() constProblem [inline]
clausify()Problem
clausify(FormulaList formulas, LiteralList literals, Unit parent)Problem [private]
ennf()Problem
findDefinitions()Problem [private]
flatten()Problem
hasFormulas() constProblem [inline]
hasFreeVars(Formula &) constProblem [private]
miniscope()Problem
originalAnswerVariables() constProblem [inline]
preprocess(Options &)Problem
Problem(const UnitList &)Problem [explicit]
rectify()Problem
removeAllConjectures()Problem
removeEqualityAxioms()Problem
removeIff()Problem
removeUnusedDefinitions()Problem
skolemize()Problem
split()Problem
units()Problem [inline]
~Problem()Problem

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