| _data | Inference | [private] |
| DUMMY_QUANTIFIER_REMOVAL enum value | Inference | |
| FLATTEN enum value | Inference | |
| FORALL_AND_MINISCOPE enum value | Inference | |
| FORALL_OR_MINISCOPE enum value | Inference | |
| Inference(const Inference &inf) | Inference | [inline] |
| Inference(Rule r, const Formula &premise, const Position &p, const VarList &removedVars) | Inference | |
| Inference(Rule r, const Formula &premise, const Position &p) | Inference | |
| Inference(Rule r, const Formula &premise, const Position &p, const IntList &toppledVarPositions, const IntList &toppledSubformulaPositions, int toppledSubformulaIndex) | Inference | |
| Inference(Rule r, const Formula &premise, const Position &p, int subformulaIndex) | Inference | |
| operator=(const Term &rhs) | Inference | |
| Rule enum name | Inference | |
| rule() const | Inference | [inline] |
| SWAP enum value | Inference | |
| ~Inference() | Inference | [inline] |