Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

LstData< C > Class Template Reference

#include <Lst.hpp>

List of all members.

Public Member Functions

 LstData ()
 LstData (const C &t, const Lst< C > &ts)
 LstData (const C &t)
 ~LstData ()
void ref ()
void deref ()
const C & head () const
const Lst< C > & tail () const

Private Attributes

unsigned _counter
_head
Lst< C > _tail

template<class C>
class LstData< C >


Constructor & Destructor Documentation

template<class C>
LstData< C >::LstData  ) 
 

template<class C>
LstData< C >::LstData const C &  t,
const Lst< C > &  ts
[inline]
 

template<class C>
LstData< C >::LstData const C &  t  )  [inline, explicit]
 

template<class C>
LstData< C >::~LstData  )  [inline]
 


Member Function Documentation

template<class C>
void LstData< C >::deref  )  [inline]
 

template<class C>
const C& LstData< C >::head  )  const [inline]
 

template<class C>
void LstData< C >::ref  )  [inline]
 

template<class C>
const Lst<C>& LstData< C >::tail  )  const [inline]
 


Member Data Documentation

template<class C>
unsigned LstData< C >::_counter [private]
 

template<class C>
C LstData< C >::_head [private]
 

template<class C>
Lst<C> LstData< C >::_tail [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