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

Inference Class Reference

#include <Inference.hpp>

List of all members.

Public Types

enum  Rule {
  FORALL_AND_MINISCOPE, FORALL_OR_MINISCOPE, DUMMY_QUANTIFIER_REMOVAL, FLATTEN,
  SWAP
}

Public Member Functions

 Inference (const Inference &inf)
void operator= (const Term &rhs)
 ~Inference ()
 Inference (Rule r, const Formula &premise, const Position &p, const VarList &removedVars)
 Inference (Rule r, const Formula &premise, const Position &p)
 Inference (Rule r, const Formula &premise, const Position &p, const IntList &toppledVarPositions, const IntList &toppledSubformulaPositions, int toppledSubformulaIndex)
 Inference (Rule r, const Formula &premise, const Position &p, int subformulaIndex)
Rule rule () const

Private Attributes

Data_data


Member Enumeration Documentation

enum Inference::Rule
 

Enumeration values:
FORALL_AND_MINISCOPE 
FORALL_OR_MINISCOPE 
DUMMY_QUANTIFIER_REMOVAL 
FLATTEN 
SWAP 


Constructor & Destructor Documentation

Inference::Inference const Inference inf  )  [inline]
 

Inference::~Inference  )  [inline]
 

Inference::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
 


Member Function Documentation

void Inference::operator= const Term rhs  ) 
 

Inference::Rule Inference::rule  )  const [inline]
 


Member Data Documentation

Data* Inference::_data [private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2