ltlyy::stack< T, S > Class Template Reference

#include <ltlparse/stack.hh>

Collaboration diagram for ltlyy::stack< T, S >:

Collaboration graph
[legend]
List of all members.

Public Types

typedef S::reverse_iterator iterator
typedef S::const_reverse_iterator const_iterator

Public Member Functions

 stack ()
 stack (unsigned int n)
T & operator[] (unsigned int i)
const T & operator[] (unsigned int i) const
void push (const T &t)
void pop (unsigned int n=1)
unsigned int height () const
const_iterator begin () const
const_iterator end () const

Private Attributes

seq_

template<class T, class S = std::deque<T>>
class ltlyy::stack< T, S >


Member Typedef Documentation

template<class T, class S = std::deque<T>>
typedef S::reverse_iterator ltlyy::stack< T, S >::iterator

template<class T, class S = std::deque<T>>
typedef S::const_reverse_iterator ltlyy::stack< T, S >::const_iterator


Constructor & Destructor Documentation

template<class T, class S = std::deque<T>>
ltlyy::stack< T, S >::stack (  )  [inline]

template<class T, class S = std::deque<T>>
ltlyy::stack< T, S >::stack ( unsigned int  n  )  [inline]


Member Function Documentation

template<class T, class S = std::deque<T>>
T& ltlyy::stack< T, S >::operator[] ( unsigned int  i  )  [inline]

template<class T, class S = std::deque<T>>
const T& ltlyy::stack< T, S >::operator[] ( unsigned int  i  )  const [inline]

template<class T, class S = std::deque<T>>
void ltlyy::stack< T, S >::push ( const T &  t  )  [inline]

template<class T, class S = std::deque<T>>
void ltlyy::stack< T, S >::pop ( unsigned int  n = 1  )  [inline]

template<class T, class S = std::deque<T>>
unsigned int ltlyy::stack< T, S >::height (  )  const [inline]

template<class T, class S = std::deque<T>>
const_iterator ltlyy::stack< T, S >::begin (  )  const [inline]

template<class T, class S = std::deque<T>>
const_iterator ltlyy::stack< T, S >::end (  )  const [inline]


Member Data Documentation

template<class T, class S = std::deque<T>>
S ltlyy::stack< T, S >::seq_ [private]


The documentation for this class was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Jul 17 15:14:09 2007 for spot by doxygen 1.5.2