klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ImmutableTree< K, V, KOV, CMP > Class Template Reference

#include <ImmutableTree.h>

Inheritance diagram for klee::ImmutableTree< K, V, KOV, CMP >:
Collaboration diagram for klee::ImmutableTree< K, V, KOV, CMP >:

Classes

class  iterator
 
class  Node
 

Public Types

typedef K key_type
 
typedef V value_type
 
typedef KOV key_of_value
 
typedef CMP key_compare
 

Public Member Functions

 ImmutableTree ()
 
 ImmutableTree (const ImmutableTree &s)
 
 ~ImmutableTree ()
 
ImmutableTreeoperator= (const ImmutableTree &s)
 
bool empty () const
 
size_t count (const key_type &key) const
 
const value_typelookup (const key_type &key) const
 
const value_typelookup_previous (const key_type &key) const
 
const value_typemin () const
 
const value_typemax () const
 
size_t size () const
 
ImmutableTree insert (const value_type &value) const
 
ImmutableTree replace (const value_type &value) const
 
ImmutableTree remove (const key_type &key) const
 
ImmutableTree popMin (value_type &valueOut) const
 
ImmutableTree popMax (value_type &valueOut) const
 
iterator begin () const
 
iterator end () const
 
iterator find (const key_type &key) const
 
iterator lower_bound (const key_type &key) const
 
iterator upper_bound (const key_type &key) const
 

Static Public Member Functions

static size_t getAllocated ()
 

Static Public Attributes

static size_t allocated = 0
 

Private Member Functions

 ImmutableTree (Node *_node)
 

Private Attributes

Nodenode
 

Detailed Description

template<class K, class V, class KOV, class CMP>
class klee::ImmutableTree< K, V, KOV, CMP >

Definition at line 18 of file ImmutableTree.h.

Member Typedef Documentation

template<class K, class V, class KOV, class CMP>
typedef CMP klee::ImmutableTree< K, V, KOV, CMP >::key_compare

Definition at line 26 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>
typedef KOV klee::ImmutableTree< K, V, KOV, CMP >::key_of_value

Definition at line 25 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>
typedef K klee::ImmutableTree< K, V, KOV, CMP >::key_type

Definition at line 21 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>
typedef V klee::ImmutableTree< K, V, KOV, CMP >::value_type

Definition at line 24 of file ImmutableTree.h.

Constructor & Destructor Documentation

template<class K , class V , class KOV , class CMP >
klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree ( )

Definition at line 424 of file ImmutableTree.h.

template<class K , class V , class KOV , class CMP >
klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree ( const ImmutableTree< K, V, KOV, CMP > &  s)

Definition at line 434 of file ImmutableTree.h.

template<class K , class V , class KOV , class CMP >
klee::ImmutableTree< K, V, KOV, CMP >::~ImmutableTree ( )

Definition at line 439 of file ImmutableTree.h.

template<class K , class V , class KOV , class CMP >
klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree ( Node _node)
private

Definition at line 429 of file ImmutableTree.h.

Member Function Documentation

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP >::iterator klee::ImmutableTree< K, V, KOV, CMP >::begin ( ) const
inline

Definition at line 563 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::begin(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::begin().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
size_t klee::ImmutableTree< K, V, KOV, CMP >::count ( const key_type key) const
template<class K , class V , class KOV , class CMP >
bool klee::ImmutableTree< K, V, KOV, CMP >::empty ( ) const

Definition at line 452 of file ImmutableTree.h.

Referenced by klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::empty(), and klee::ImmutableSet< T, CMP >::empty().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP >::iterator klee::ImmutableTree< K, V, KOV, CMP >::end ( ) const
inline

Definition at line 569 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::end(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::end().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP >::iterator klee::ImmutableTree< K, V, KOV, CMP >::find ( const key_type key) const
inline

Definition at line 575 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::find(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::find().

Here is the caller graph for this function:

template<class K, class V, class KOV, class CMP>
static size_t klee::ImmutableTree< K, V, KOV, CMP >::getAllocated ( )
inlinestatic

Definition at line 60 of file ImmutableTree.h.

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > klee::ImmutableTree< K, V, KOV, CMP >::insert ( const value_type value) const

Definition at line 533 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::insert(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::insert().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
const ImmutableTree< K, V, KOV, CMP >::value_type * klee::ImmutableTree< K, V, KOV, CMP >::lookup ( const key_type key) const
template<class K , class V , class KOV , class CMP >
const ImmutableTree< K, V, KOV, CMP >::value_type * klee::ImmutableTree< K, V, KOV, CMP >::lookup_previous ( const key_type key) const
template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP >::iterator klee::ImmutableTree< K, V, KOV, CMP >::lower_bound ( const key_type key) const
inline
template<class K , class V , class KOV , class CMP >
const ImmutableTree< K, V, KOV, CMP >::value_type & klee::ImmutableTree< K, V, KOV, CMP >::max ( ) const
template<class K , class V , class KOV , class CMP >
const ImmutableTree< K, V, KOV, CMP >::value_type & klee::ImmutableTree< K, V, KOV, CMP >::min ( ) const
template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > & klee::ImmutableTree< K, V, KOV, CMP >::operator= ( const ImmutableTree< K, V, KOV, CMP > &  s)
template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > klee::ImmutableTree< K, V, KOV, CMP >::popMax ( value_type valueOut) const

Definition at line 557 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::popMax(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::popMax().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > klee::ImmutableTree< K, V, KOV, CMP >::popMin ( value_type valueOut) const

Definition at line 551 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::popMin(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::popMin().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > klee::ImmutableTree< K, V, KOV, CMP >::remove ( const key_type key) const

Definition at line 545 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::remove(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::remove().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP > klee::ImmutableTree< K, V, KOV, CMP >::replace ( const value_type value) const

Definition at line 539 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::replace(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::replace().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
size_t klee::ImmutableTree< K, V, KOV, CMP >::size ( ) const

Definition at line 527 of file ImmutableTree.h.

Referenced by klee::ImmutableSet< T, CMP >::size(), and klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::size().

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
ImmutableTree< K, V, KOV, CMP >::iterator klee::ImmutableTree< K, V, KOV, CMP >::upper_bound ( const key_type key) const

Member Data Documentation

template<class K, class V, class KOV, class CMP>
Node* klee::ImmutableTree< K, V, KOV, CMP >::node
private

Definition at line 63 of file ImmutableTree.h.

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


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