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