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

Inference Member List

This is the complete list of members for Inference, including all inherited members.
_dataInference [private]
DUMMY_QUANTIFIER_REMOVAL enum valueInference
FLATTEN enum valueInference
FORALL_AND_MINISCOPE enum valueInference
FORALL_OR_MINISCOPE enum valueInference
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 nameInference
rule() constInference [inline]
SWAP enum valueInference
~Inference()Inference [inline]

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