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

Formula::Data Class Reference

#include <Formula.hpp>

Inheritance diagram for Formula::Data:

Formula::AtomicData Formula::BinaryData Formula::JunctionData Formula::QuantifiedData Formula::UnaryData List of all members.

Public Member Functions

 Data (Connective c)
 ~Data ()
void ref ()
void deref ()
Connective connective () const

Protected Member Functions

void destroy ()

Protected Attributes

int _counter
Connective _connective

Constructor & Destructor Documentation

Formula::Data::Data Connective  c  )  [inline]
 

Formula::Data::~Data  )  [inline]
 


Member Function Documentation

Formula::Connective Formula::Data::connective  )  const [inline]
 

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

void Formula::Data::destroy  )  [inline, protected]
 

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


Member Data Documentation

Connective Formula::Data::_connective [protected]
 

int Formula::Data::_counter [protected]
 


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