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