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

Inference::Type1 Member List

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

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