spot
0.8.2
|
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.
virtual spot::numbered_state_heap_factory::~numbered_state_heap_factory | ( | ) | [inline, virtual] |
virtual numbered_state_heap* spot::numbered_state_heap_factory::build | ( | ) | const [pure virtual] |
Implemented in spot::numbered_state_heap_hash_map_factory.