klee::ImmutableTree< K, V, KOV, CMP > Class Template Reference

#include <ImmutableTree.h>

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

Inheritance graph
[legend]
Collaboration diagram for klee::ImmutableTree< K, V, KOV, CMP >:

Collaboration graph
[legend]

List of all members.

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 ()
ImmutableTree & operator= (const ImmutableTree &s)
bool empty () const
unsigned count (const key_type &key) const
const value_type * lookup (const key_type &key) const
const value_type * lookup_previous (const key_type &key) const
const value_type & min () const
const value_type & max () const
unsigned 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 unsigned getAllocated ()

Static Public Attributes

static unsigned allocated = 0

Private Member Functions

 ImmutableTree (Node *_node)

Private Attributes

Node * node

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 (  )  [inline]

Definition at line 423 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::insert(), klee::ImmutableTree< K, V, KOV, CMP >::popMax(), klee::ImmutableTree< K, V, KOV, CMP >::popMin(), klee::ImmutableTree< K, V, KOV, CMP >::remove(), and klee::ImmutableTree< K, V, KOV, CMP >::replace().

Here is the caller graph for this function:

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

Definition at line 433 of file ImmutableTree.h.

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

Definition at line 438 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::decref(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

Here is the call graph for this function:

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

Definition at line 428 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 562 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::node.

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 >
unsigned klee::ImmutableTree< K, V, KOV, CMP >::count ( const key_type &  key  )  const [inline]

Definition at line 456 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left, klee::ImmutableTree< K, V, KOV, CMP >::node, klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::right, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

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

Here is the call graph for this function:

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
bool klee::ImmutableTree< K, V, KOV, CMP >::empty (  )  const [inline]

Definition at line 451 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

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

Here is the call graph for this function:

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 568 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::node.

Referenced by klee::ImmutableSet< T, CMP >::end(), klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::end(), klee::ImmutableTree< K, V, KOV, CMP >::find(), and klee::ImmutableTree< K, V, KOV, CMP >::upper_bound().

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 574 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::end(), klee::ImmutableTree< K, V, KOV, CMP >::lower_bound(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

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

Here is the call graph for this function:

Here is the caller graph for this function:

template<class K, class V, class KOV, class CMP>
static unsigned klee::ImmutableTree< K, V, KOV, CMP >::getAllocated (  )  [inline, static]

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 [inline]

Definition at line 532 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::insert(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

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

Here is the call graph for this function:

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 [inline]

Definition at line 473 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left, klee::ImmutableTree< K, V, KOV, CMP >::node, klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::right, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

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

Here is the call graph for this function:

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_previous ( const key_type &  key  )  const [inline]

Definition at line 490 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left, klee::ImmutableTree< K, V, KOV, CMP >::node, klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::right, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

Referenced by klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::lookup_previous().

Here is the call graph for this function:

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 >::lower_bound ( const key_type &  key  )  const [inline]

Definition at line 585 of file ImmutableTree.h.

References klee::FixedStack< T >::back(), klee::FixedStack< T >::empty(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::node, klee::FixedStack< T >::push_back(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::stack, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::find(), klee::ImmutableSet< T, CMP >::lower_bound(), klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::lower_bound(), and klee::ImmutableTree< K, V, KOV, CMP >::upper_bound().

Here is the call graph for this function:

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 >::max (  )  const [inline]

Definition at line 518 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::node, klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::right, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

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

Here is the call graph for this function:

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 >::min (  )  const [inline]

Definition at line 509 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left, klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

Referenced by klee::ImmutableSet< T, CMP >::min(), klee::ImmutableMap< const MemoryObject *, ObjectHolder, MemoryObjectLT >::min(), and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::remove().

Here is the call graph for this function:

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 >::operator= ( const ImmutableTree< K, V, KOV, CMP > &  s  )  [inline]

Definition at line 443 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::decref(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::incref(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

Here is the call graph for this function:

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 [inline]

Definition at line 556 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree(), klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::popMax().

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

Here is the call graph for this function:

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 [inline]

Definition at line 550 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree(), klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::popMin().

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

Here is the call graph for this function:

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 [inline]

Definition at line 544 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree(), klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::remove().

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

Here is the call graph for this function:

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 [inline]

Definition at line 538 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree(), klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::replace().

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

Here is the call graph for this function:

Here is the caller graph for this function:

template<class K , class V , class KOV , class CMP >
unsigned klee::ImmutableTree< K, V, KOV, CMP >::size (  )  const [inline]

Definition at line 526 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::node, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::size().

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

Here is the call graph for this function:

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 [inline]

Definition at line 609 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::end(), klee::ImmutableTree< K, V, KOV, CMP >::lower_bound(), and klee::ImmutableTree< K, V, KOV, CMP >::node.

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

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

template<class K, class V, class KOV, class CMP>
unsigned klee::ImmutableTree< K, V, KOV, CMP >::allocated = 0 [inline, static]

Definition at line 20 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, value_type, _Select1st< value_type, key_type >, CMP >::getAllocated(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::Node(), and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::~Node().

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 >::begin(), klee::ImmutableTree< K, V, KOV, CMP >::count(), klee::ImmutableTree< K, V, KOV, CMP >::empty(), klee::ImmutableTree< K, V, KOV, CMP >::end(), klee::ImmutableTree< K, V, KOV, CMP >::find(), klee::ImmutableTree< K, V, KOV, CMP >::insert(), klee::ImmutableTree< K, V, KOV, CMP >::lookup(), klee::ImmutableTree< K, V, KOV, CMP >::lookup_previous(), klee::ImmutableTree< K, V, KOV, CMP >::lower_bound(), klee::ImmutableTree< K, V, KOV, CMP >::max(), klee::ImmutableTree< K, V, KOV, CMP >::min(), klee::ImmutableTree< K, V, KOV, CMP >::operator=(), klee::ImmutableTree< K, V, KOV, CMP >::popMax(), klee::ImmutableTree< K, V, KOV, CMP >::popMin(), klee::ImmutableTree< K, V, KOV, CMP >::remove(), klee::ImmutableTree< K, V, KOV, CMP >::replace(), klee::ImmutableTree< K, V, KOV, CMP >::size(), klee::ImmutableTree< K, V, KOV, CMP >::upper_bound(), and klee::ImmutableTree< K, V, KOV, CMP >::~ImmutableTree().

The documentation for this class was generated from the following file:
Generated on Fri Jun 5 03:33:08 2009 for klee by  doxygen 1.5.8