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