Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Term::VarData Class Reference
#include <
Term.hpp
>
Inheritance diagram for Term::VarData:
List of all members.
Public Member Functions
VarData
(
Var
v)
Var
var
() const
Private Attributes
Var
_var
Constructor & Destructor Documentation
Term::VarData::VarData
(
Var
v
)
[inline, explicit]
Member Function Documentation
Var
Term::VarData::var
(
)
const
[inline]
Member Data Documentation
Var
Term::VarData::_var
[private]
The documentation for this class was generated from the following file:
Term.hpp
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2