#include <nsheap.hh>
Inheritance diagram for spot::numbered_state_heap_factory:
Public Member Functions | |
virtual | ~numbered_state_heap_factory () |
virtual numbered_state_heap * | build () const =0 |
|
|
|
Implemented in spot::numbered_state_heap_hash_map_factory. |