spot
1.1.4
|
Abstract factory for numbered_state_heap. More...
#include <tgbaalgos/gtec/nsheap.hh>
Public Member Functions | |
virtual | ~numbered_state_heap_factory () |
virtual numbered_state_heap * | build () const =0 |
Abstract factory for numbered_state_heap.
|
inlinevirtual |
|
pure virtual |
Implemented in spot::numbered_state_heap_hash_map_factory.