klee::FixedStack< T > Class Template Reference

#include <ImmutableTree.h>

Inheritance diagram for klee::FixedStack< T >:

[legend]

List of all members.

Public Member Functions
	FixedStack (unsigned _max)
	FixedStack (const FixedStack &b)
	~FixedStack ()
void	push_back (const T &elt)
void	pop_back ()
bool	empty ()
T &	back ()
FixedStack &	operator= (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 103 of file ImmutableTree.h.

---

Constructor & Destructor Documentation

template<typename T>

klee::FixedStack< T >::FixedStack

(

unsigned

_max

)

[inline]

Definition at line 108 of file ImmutableTree.h.

template<typename T>

klee::FixedStack< T >::FixedStack

(

const FixedStack< T > &

b

)

[inline]

Definition at line 111 of file ImmutableTree.h.

template<typename T>

klee::FixedStack< T >::~FixedStack

(

)

[inline]

Definition at line 116 of file ImmutableTree.h.

---

Member Function Documentation

template<typename T>

T& klee::FixedStack< T >::back

(

)

[inline]

Definition at line 121 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::lower_bound().

Here is the caller graph for this function:

template<typename T>

bool klee::FixedStack< T >::empty

(

)

[inline]

Definition at line 120 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::lower_bound().

Here is the caller graph for this function:

template<typename T>

bool klee::FixedStack< T >::operator!=

(

const FixedStack< T > &

b

)

[inline]

Definition at line 135 of file ImmutableTree.h.

template<typename T>

FixedStack& klee::FixedStack< T >::operator=

(

const FixedStack< T > &

b

)

[inline]

Definition at line 124 of file ImmutableTree.h.

template<typename T>

bool klee::FixedStack< T >::operator==

(

const FixedStack< T > &

b

)

[inline]

Definition at line 131 of file ImmutableTree.h.

template<typename T>

void klee::FixedStack< T >::pop_back

(

)

[inline]

Definition at line 119 of file ImmutableTree.h.

template<typename T>

void klee::FixedStack< T >::push_back

(

const T &

elt

)

[inline]

Definition at line 118 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::lower_bound().

Here is the caller graph for this function:

---

Member Data Documentation

template<typename T>

T* klee::FixedStack< T >::elts [private]

Definition at line 105 of file ImmutableTree.h.

Referenced by klee::FixedStack< Node * >::back(), klee::FixedStack< Node * >::FixedStack(), klee::FixedStack< Node * >::operator=(), klee::FixedStack< Node * >::operator==(), klee::FixedStack< Node * >::push_back(), and klee::FixedStack< Node * >::~FixedStack().

template<typename T>

unsigned klee::FixedStack< T >::max [private]

Definition at line 104 of file ImmutableTree.h.

Referenced by klee::FixedStack< Node * >::operator=().

template<typename T>

unsigned klee::FixedStack< T >::pos [private]

Definition at line 104 of file ImmutableTree.h.

Referenced by klee::FixedStack< Node * >::back(), klee::FixedStack< Node * >::empty(), klee::FixedStack< Node * >::FixedStack(), klee::FixedStack< Node * >::operator=(), klee::FixedStack< Node * >::operator==(), klee::FixedStack< Node * >::pop_back(), and klee::FixedStack< Node * >::push_back().

---

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

• include/klee/Internal/ADT/ImmutableTree.h