| _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] |
1.3.2