spot  1.1.3
Public Types | Public Member Functions | Private 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)
 
void clear ()
 
unsigned int height () const
 
const_iterator begin () const
 
const_iterator end () const
 

Private Member Functions

 stack (const stack &)
 
stackoperator= (const stack &)
 

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
template<class T , class S = std::deque<T>>
ltlyy::stack< T, S >::stack ( const stack< T, S > &  )
private

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>>
void ltlyy::stack< T, S >::clear ( )
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>>
stack& ltlyy::stack< T, S >::operator= ( const stack< T, S > &  )
private
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4