#include <tgbaalgos/gtec/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 |
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.