clingo: Gringo::Input::NonGroundGrammar::stack< T, S > Class Template Reference

#include <stack.hh>

Inheritance diagram for Gringo::Input::NonGroundGrammar::stack< T, S >:

Inheritance graph

Collaboration diagram for Gringo::Input::NonGroundGrammar::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

Member Typedef Documentation

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

typedef S::const_reverse_iterator Gringo::Input::NonGroundGrammar::stack< T, S >::const_iterator

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

typedef S::reverse_iterator Gringo::Input::NonGroundGrammar::stack< T, S >::iterator

Constructor & Destructor Documentation

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

Gringo::Input::NonGroundGrammar::stack< T, S >::stack ( )

inline

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

Gringo::Input::NonGroundGrammar::stack< T, S >::stack ( unsigned int n )

inline

Member Function Documentation

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

const_iterator Gringo::Input::NonGroundGrammar::stack< T, S >::begin ( ) const

inline

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

void Gringo::Input::NonGroundGrammar::stack< T, S >::clear ( )

inline

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

const_iterator Gringo::Input::NonGroundGrammar::stack< T, S >::end ( ) const

inline

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

unsigned int Gringo::Input::NonGroundGrammar::stack< T, S >::height ( ) const

inline

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

T& Gringo::Input::NonGroundGrammar::stack< T, S >::operator[] ( unsigned int i )

inline

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

const T& Gringo::Input::NonGroundGrammar::stack< T, S >::operator[] ( unsigned int i ) const

inline

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

void Gringo::Input::NonGroundGrammar::stack< T, S >::pop ( unsigned int n = 1 )

inline

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

void Gringo::Input::NonGroundGrammar::stack< T, S >::push ( const T & t )

inline

The documentation for this class was generated from the following file:

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/build/debug/libgringo/src/input/nongroundgrammar/stack.hh