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:
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:
Term.hpp
Term.cpp
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2