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

Inference::DummyQuantifierRemoval Member List

This is the complete list of members for Inference::DummyQuantifierRemoval, including all inherited members.
_counterInference::Data [protected]
_positionInference::DummyQuantifierRemoval [private]
_premiseInference::DFormula [protected]
_removedVarsInference::DummyQuantifierRemoval [private]
_ruleInference::Data [protected]
Data()Inference::Data
Data(Rule rule)Inference::Data [inline, explicit]
deref()Inference::Data [inline]
destroy()Inference::Data
DFormula(Rule rule, const Formula &premise)Inference::DFormula [inline]
DummyQuantifierRemoval(Rule r, const Formula &premise, const Position &p, const VarList &removedVars)Inference::DummyQuantifierRemoval
position() constInference::DummyQuantifierRemoval
premise() constInference::DFormula
ref()Inference::Data [inline]
rule() constInference::Data [inline]
~Data()Inference::Data [inline]

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