klee::MapOfSets< K, V >::Node Class Reference

#include <MapOfSets.h>

Public Types
typedef std::map< K, Node >	children_ty

Public Member Functions
	Node ()

Public Attributes
V	value

Private Attributes
bool	isEndOfSet
std::map< K, Node >	children

Friends
class	MapOfSets< K, V >

Detailed Description

template<class K, class V>
class klee::MapOfSets< K, V >::Node

Definition at line 88 of file MapOfSets.h.

Member Typedef Documentation

children_ty

template<class K , class V >

typedef std::map<K, Node> klee::MapOfSets< K, V >::Node::children_ty

Definition at line 93 of file MapOfSets.h.

Constructor & Destructor Documentation

Node()

template<class K , class V >

klee::MapOfSets< K, V >::Node::Node ( )

inline

Definition at line 102 of file MapOfSets.h.

Friends And Related Function Documentation

MapOfSets< K, V >

template<class K , class V >

friend class MapOfSets< K, V >

friend

Definition at line 79 of file MapOfSets.h.

Member Data Documentation

children

template<class K , class V >

std::map<K, Node> klee::MapOfSets< K, V >::Node::children

private

Definition at line 99 of file MapOfSets.h.

Referenced by klee::MapOfSets< K, V >::findSubset(), klee::MapOfSets< K, V >::findSubsets(), klee::MapOfSets< K, V >::findSuperset(), klee::MapOfSets< K, V >::findSupersets(), klee::MapOfSets< K, V >::insert(), klee::MapOfSets< K, V >::lookup(), and klee::MapOfSets< K, V >::iterator::step().

isEndOfSet

template<class K , class V >

bool klee::MapOfSets< K, V >::Node::isEndOfSet

private

Definition at line 98 of file MapOfSets.h.

Referenced by klee::MapOfSets< K, V >::findSubset(), klee::MapOfSets< K, V >::findSubsets(), klee::MapOfSets< K, V >::findSuperset(), klee::MapOfSets< K, V >::findSupersets(), klee::MapOfSets< K, V >::insert(), klee::MapOfSets< K, V >::iterator::iterator(), klee::MapOfSets< K, V >::lookup(), and klee::MapOfSets< K, V >::iterator::step().

value

template<class K , class V >

V klee::MapOfSets< K, V >::Node::value

Definition at line 95 of file MapOfSets.h.

Referenced by klee::MapOfSets< K, V >::findSubset(), klee::MapOfSets< K, V >::findSubsets(), klee::MapOfSets< K, V >::findSuperset(), klee::MapOfSets< K, V >::findSupersets(), klee::MapOfSets< K, V >::insert(), klee::MapOfSets< K, V >::lookup(), and klee::MapOfSets< K, V >::iterator::operator*().

---

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

• /Users/cristic/klee/include/klee/ADT/MapOfSets.h