#include <nsheap.hh>
Inheritance diagram for spot::numbered_state_heap_hash_map_factory:
Public Member Functions | |
virtual numbered_state_heap_hash_map * | build () const |
Static Public Member Functions | |
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 () |
This class is a singleton. Retrieve the instance using instance().
|
|
|
|
|
Implements spot::numbered_state_heap_factory. |
|
Get the unique instance of this class.
|