spot
0.9.1
|
Factory for numbered_state_heap_hash_map. More...
#include <tgbaalgos/gtec/nsheap.hh>
Public Member Functions | |
virtual numbered_state_heap_hash_map * | build () const |
Static Public Member Functions | |
static const numbered_state_heap_hash_map_factory * | instance () |
Get the unique instance of this class. | |
Protected Member Functions | |
virtual | ~numbered_state_heap_hash_map_factory () |
numbered_state_heap_hash_map_factory () |
Factory for numbered_state_heap_hash_map.
This class is a singleton. Retrieve the instance using instance().
virtual spot::numbered_state_heap_hash_map_factory::~numbered_state_heap_hash_map_factory | ( | ) | [inline, protected, virtual] |
virtual numbered_state_heap_hash_map* spot::numbered_state_heap_hash_map_factory::build | ( | ) | const [virtual] |
Implements spot::numbered_state_heap_factory.
static const numbered_state_heap_hash_map_factory* spot::numbered_state_heap_hash_map_factory::instance | ( | ) | [static] |
Get the unique instance of this class.