klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::MapOfSets< K, V >::Node Class Reference

#include <MapOfSets.h>

Public Types

typedef std::map< K, Nodechildren_ty
 

Public Member Functions

 Node ()
 

Public Attributes

value
 

Private Attributes

bool isEndOfSet
 
std::map< K, Nodechildren
 

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

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

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

template<class K, class V>
friend class MapOfSets< K, V >
friend

Definition at line 89 of file MapOfSets.h.

Member Data Documentation


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