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