klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::FixedStack< T > Class Template Reference

#include <ImmutableTree.h>

Inheritance diagram for klee::FixedStack< T >:

Public Member Functions

 FixedStack (unsigned _max)
 
 FixedStack (const FixedStack &b)
 
 ~FixedStack ()
 
void push_back (const T &elt)
 
void pop_back ()
 
bool empty ()
 
T & back ()
 
FixedStackoperator= (const FixedStack &b)
 
bool operator== (const FixedStack &b)
 
bool operator!= (const FixedStack &b)
 

Private Attributes

unsigned pos
 
unsigned max
 
T * elts
 

Detailed Description

template<typename T>
class klee::FixedStack< T >

Definition at line 104 of file ImmutableTree.h.

Constructor & Destructor Documentation

template<typename T>
klee::FixedStack< T >::FixedStack ( unsigned  _max)
inline

Definition at line 109 of file ImmutableTree.h.

template<typename T>
klee::FixedStack< T >::FixedStack ( const FixedStack< T > &  b)
inline

Definition at line 112 of file ImmutableTree.h.

template<typename T>
klee::FixedStack< T >::~FixedStack ( )
inline

Definition at line 117 of file ImmutableTree.h.

Member Function Documentation

template<typename T>
T& klee::FixedStack< T >::back ( )
inline

Definition at line 122 of file ImmutableTree.h.

template<typename T>
bool klee::FixedStack< T >::empty ( )
inline

Definition at line 121 of file ImmutableTree.h.

template<typename T>
bool klee::FixedStack< T >::operator!= ( const FixedStack< T > &  b)
inline

Definition at line 136 of file ImmutableTree.h.

template<typename T>
FixedStack& klee::FixedStack< T >::operator= ( const FixedStack< T > &  b)
inline

Definition at line 125 of file ImmutableTree.h.

template<typename T>
bool klee::FixedStack< T >::operator== ( const FixedStack< T > &  b)
inline

Definition at line 132 of file ImmutableTree.h.

template<typename T>
void klee::FixedStack< T >::pop_back ( )
inline

Definition at line 120 of file ImmutableTree.h.

template<typename T>
void klee::FixedStack< T >::push_back ( const T &  elt)
inline

Definition at line 119 of file ImmutableTree.h.

Member Data Documentation

template<typename T>
unsigned klee::FixedStack< T >::max
private

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