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

Inference::Data Class Reference

#include <Inference.hpp>

Inheritance diagram for Inference::Data:

Inference::DFormula Inference::DummyQuantifierRemoval Inference::Flatten Inference::ForallOrMiniscope Inference::Type1 List of all members.

Public Member Functions

 Data ()
 Data (Rule rule)
 ~Data ()
Rule rule () const
void ref ()
void deref ()
void destroy ()

Protected Attributes

int _counter
Rule _rule

Constructor & Destructor Documentation

Inference::Data::Data  ) 
 

Inference::Data::Data Rule  rule  )  [inline, explicit]
 

Inference::Data::~Data  )  [inline]
 


Member Function Documentation

void Inference::Data::deref  )  [inline]
 

void Inference::Data::destroy  ) 
 

void Inference::Data::ref  )  [inline]
 

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


Member Data Documentation

int Inference::Data::_counter [protected]
 

Rule Inference::Data::_rule [protected]
 


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