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 Termterm () 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:
Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2