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

Lst< C > Class Template Reference

#include <Lst.hpp>

List of all members.

Public Member Functions

 Lst ()
 Lst (const Lst &)
 Lst (const C &head, const Lst &tail)
 Lst (const C &t)
 Lst (LstData< C > *)
 ~Lst ()
void operator= (const Lst &rhs)
void append (const Lst &)
bool isEmpty () const
bool isNonEmpty () const
const C & head () const
const C & second () const
const Lsttail () const
void pop ()
bool operator== (const Lst &rhs) const
void makeEmpty ()
int length () const
bool member (const C elem) const
void push (C elem)
void reverse (Lst &result) const
void reverse (Lst &result, const Lst &appendTo) const
void copy (Lst &to) const

Protected Attributes

LstData< C > * _data

template<class C>
class Lst< C >


Constructor & Destructor Documentation

template<class C>
Lst< C >::Lst  )  [inline]
 

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

template<class C>
Lst< C >::Lst const C &  head,
const Lst< C > &  tail
[inline]
 

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

template<class C>
Lst< C >::Lst LstData< C > *   )  [inline, explicit]
 

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


Member Function Documentation

template<class C>
void Lst< C >::append const Lst< C > &   ) 
 

template<class C>
void Lst< C >::copy Lst< C > &  to  )  const [inline]
 

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

template<class C>
bool Lst< C >::isEmpty  )  const [inline]
 

template<class C>
bool Lst< C >::isNonEmpty  )  const [inline]
 

template<class C>
int Lst< C >::length  )  const
 

template<class C>
void Lst< C >::makeEmpty  )  [inline]
 

template<class C>
bool Lst< C >::member const C  elem  )  const
 

template<class C>
void Lst< C >::operator= const Lst< C > &  rhs  ) 
 

template<class C>
bool Lst< C >::operator== const Lst< C > &  rhs  )  const [inline]
 

template<class C>
void Lst< C >::pop  ) 
 

template<class C>
void Lst< C >::push elem  )  [inline]
 

template<class C>
void Lst< C >::reverse Lst< C > &  result,
const Lst< C > &  appendTo
const
 

template<class C>
void Lst< C >::reverse Lst< C > &  result  )  const [inline]
 

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

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

Reimplemented in AtomList, ClauseList, FormulaList, InferenceList, IntList, LiteralList, Position, TermList, UnitList, VarList, and VarListList.


Member Data Documentation

template<class C>
LstData<C>* Lst< C >::_data [protected]
 


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