_counter | Inference::Data | [protected] |
_position | Inference::ForallOrMiniscope | [private] |
_premise | Inference::DFormula | [protected] |
_rule | Inference::Data | [protected] |
_toppledSubformulaPositions | Inference::ForallOrMiniscope | [private] |
_toppledVarPositions | Inference::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() const | Inference::ForallOrMiniscope | |
premise() const | Inference::DFormula | |
ref() | Inference::Data | [inline] |
rule() const | Inference::Data | [inline] |
toppledSubformulaIndex | Inference::ForallOrMiniscope | [private] |
~Data() | Inference::Data | [inline] |