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

Inference::ForallOrMiniscope Member List

This is the complete list of members for Inference::ForallOrMiniscope, including all inherited members.
_counterInference::Data [protected]
_positionInference::ForallOrMiniscope [private]
_premiseInference::DFormula [protected]
_ruleInference::Data [protected]
_toppledSubformulaPositionsInference::ForallOrMiniscope [private]
_toppledVarPositionsInference::ForallOrMiniscope [private]
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]
ForallOrMiniscope(Rule r, const Formula &premise, const Position &p, IntList toppledVarPositions, IntList toppledSubformulaPositions, int toppledSubformulaIndex)Inference::ForallOrMiniscope
position() constInference::ForallOrMiniscope
premise() constInference::DFormula
ref()Inference::Data [inline]
rule() constInference::Data [inline]
toppledSubformulaIndexInference::ForallOrMiniscope [private]
~Data()Inference::Data [inline]

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