spot  1.0
Public Types | Public Member Functions | Private Attributes | List of all members
ltlyy::stack< T, S > Class Template Reference

#include <ltlparse/stack.hh>

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

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_

Member Typedef Documentation

template<class T , class S = std::deque<T>>
typedef S::const_reverse_iterator ltlyy::stack< T, S >::const_iterator
template<class T , class S = std::deque<T>>
typedef S::reverse_iterator ltlyy::stack< T, S >::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>>
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
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>>
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 >::pop ( unsigned int  n = 1)
inline
template<class T , class S = std::deque<T>>
void ltlyy::stack< T, S >::push ( const T &  t)
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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2