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

Term::Data Class Reference

#include <Term.hpp>

Inheritance diagram for Term::Data:

Term::CompoundData Term::NumericData Term::VarData List of all members.

Public Member Functions

 Data ()
 Data (Tag tag)
 ~Data ()
Term::Tag tag () const
void ref ()
void deref ()
void destroy ()

Protected Attributes

int _counter
Term::Tag _tag

Constructor & Destructor Documentation

Term::Data::Data  ) 
 

Term::Data::Data Tag  tag  )  [inline, explicit]
 

Term::Data::~Data  )  [inline]
 


Member Function Documentation

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

void Term::Data::destroy  )  [inline]
 

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

Term::Tag Term::Data::tag  )  const [inline]
 


Member Data Documentation

int Term::Data::_counter [protected]
 

Term::Tag Term::Data::_tag [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