#include <ImmutableTree.h>

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

Public Member Functions
	Node (Node _left, Node _right, const value_type &_value)

	~Node ()

void	decref ()

Node *	incref ()

bool	isTerminator ()

size_t	size ()

Node *	popMin (value_type &valueOut)

Node *	popMax (value_type &valueOut)

Node *	insert (const value_type &v)

Node *	replace (const value_type &v)

Node *	remove (const key_type &k)

Public Attributes
Node *	left

Node *	right

value_type	value

unsigned	height

unsigned	references

Static Public Attributes
static Node	terminator

Protected Member Functions
	Node ()

Static Protected Member Functions
static Node *	balance (Node left, const value_type &value, Node right)

Detailed Description

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

Definition at line 72 of file ImmutableTree.h.

Constructor & Destructor Documentation

◆ Node() [1/2]

template<class K , class V , class KOV , class CMP >

klee::ImmutableTree< K, V, KOV, CMP >::Node::Node

protected

Definition at line 247 of file ImmutableTree.h.

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

◆ Node() [2/2]

template<class K , class V , class KOV , class CMP >

klee::ImmutableTree< K, V, KOV, CMP >::Node::Node	(	Node *	_left,
		Node *	_right,
		const value_type &	_value
	)

Definition at line 256 of file ImmutableTree.h.

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

◆ ~Node()

template<class K , class V , class KOV , class CMP >

klee::ImmutableTree< K, V, KOV, CMP >::Node::~Node

Definition at line 267 of file ImmutableTree.h.

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

Member Function Documentation

◆ balance()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::balance	(	Node *	left,
		const value_type &	value,
		Node *	right
	)

staticprotected

Definition at line 294 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::Node::decref(), klee::ImmutableTree< K, V, KOV, CMP >::Node::height, klee::ImmutableTree< K, V, KOV, CMP >::Node::incref(), klee::ImmutableTree< K, V, KOV, CMP >::Node::left, klee::ImmutableTree< K, V, KOV, CMP >::Node::right, and klee::ImmutableTree< K, V, KOV, CMP >::Node::value.

Here is the call graph for this function:

◆ decref()

template<class K , class V , class KOV , class CMP >

void klee::ImmutableTree< K, V, KOV, CMP >::Node::decref

inline

Definition at line 274 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::Node::balance(), klee::ImmutableTree< K, V, KOV, CMP >::operator=(), klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator=(), and klee::ImmutableTree< K, V, KOV, CMP >::iterator::~iterator().

Here is the caller graph for this function:

◆ incref()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::incref

inline

Definition at line 280 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::Node::balance(), klee::ImmutableTree< K, V, KOV, CMP >::operator=(), klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator=(), klee::ImmutableTree< K, V, KOV, CMP >::Node::popMax(), and klee::ImmutableTree< K, V, KOV, CMP >::Node::popMin().

Here is the caller graph for this function:

◆ insert()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::insert ( const value_type & v )

Definition at line 367 of file ImmutableTree.h.

◆ isTerminator()

template<class K , class V , class KOV , class CMP >

bool klee::ImmutableTree< K, V, KOV, CMP >::Node::isTerminator

inline

Definition at line 286 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::count(), klee::ImmutableTree< K, V, KOV, CMP >::iterator::iterator(), 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 >::iterator::operator++(), and klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator--().

Here is the caller graph for this function:

◆ popMax()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::popMax ( value_type & valueOut )

Definition at line 356 of file ImmutableTree.h.

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

Here is the call graph for this function:

◆ popMin()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::popMin ( value_type & valueOut )

Definition at line 345 of file ImmutableTree.h.

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ remove()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::remove ( const key_type & k )

Definition at line 399 of file ImmutableTree.h.

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

Here is the call graph for this function:

◆ replace()

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::replace ( const value_type & v )

Definition at line 383 of file ImmutableTree.h.

◆ size()

template<class K , class V , class KOV , class CMP >

size_t klee::ImmutableTree< K, V, KOV, CMP >::Node::size

Definition at line 335 of file ImmutableTree.h.

Member Data Documentation

◆ height

template<class K , class V , class KOV , class CMP >

unsigned klee::ImmutableTree< K, V, KOV, CMP >::Node::height

Definition at line 77 of file ImmutableTree.h.

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

◆ left

template<class K , class V , class KOV , class CMP >

Node* klee::ImmutableTree< K, V, KOV, CMP >::Node::left

Definition at line 75 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::Node::balance(), klee::ImmutableTree< K, V, KOV, CMP >::count(), klee::ImmutableTree< K, V, KOV, CMP >::lookup(), klee::ImmutableTree< K, V, KOV, CMP >::lookup_previous(), klee::ImmutableTree< K, V, KOV, CMP >::min(), klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator++(), and klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator--().

◆ references

template<class K , class V , class KOV , class CMP >

unsigned klee::ImmutableTree< K, V, KOV, CMP >::Node::references

Definition at line 77 of file ImmutableTree.h.

◆ right

template<class K , class V , class KOV , class CMP >

Node * klee::ImmutableTree< K, V, KOV, CMP >::Node::right

Definition at line 75 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::Node::balance(), klee::ImmutableTree< K, V, KOV, CMP >::count(), klee::ImmutableTree< K, V, KOV, CMP >::lookup(), klee::ImmutableTree< K, V, KOV, CMP >::lookup_previous(), klee::ImmutableTree< K, V, KOV, CMP >::max(), klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator++(), and klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator--().

◆ terminator

template<class K , class V , class KOV , class CMP >

ImmutableTree< K, V, KOV, CMP >::Node klee::ImmutableTree< K, V, KOV, CMP >::Node::terminator

static

Definition at line 74 of file ImmutableTree.h.

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

◆ value

template<class K , class V , class KOV , class CMP >

value_type klee::ImmutableTree< K, V, KOV, CMP >::Node::value

Definition at line 76 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::Node::balance(), klee::ImmutableTree< K, V, KOV, CMP >::count(), 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 >::iterator::operator*(), and klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator->().

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

/Users/cristic/klee/include/klee/ADT/ImmutableTree.h

Public Member Functions

Public Attributes

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ Node() [1/2]

◆ Node() [2/2]

◆ ~Node()

Member Function Documentation

◆ balance()

◆ decref()

◆ incref()

◆ insert()

◆ isTerminator()

◆ popMax()

◆ popMin()

◆ remove()

◆ replace()

◆ size()

Member Data Documentation

◆ height

◆ left

◆ references

◆ right

◆ terminator

◆ value