spot
1.2.4
|
Iterator on numbered_state_heap objects. More...
#include <tgbaalgos/gtec/nsheap.hh>
Public Member Functions | |
virtual void | first ()=0 |
Iteration. More... | |
virtual void | next ()=0 |
virtual bool | done () const =0 |
virtual const state * | get_state () const =0 |
Inspection. More... | |
virtual int | get_index () const =0 |
Iterator on numbered_state_heap objects.
|
pure virtual |
Iteration.
|
pure virtual |
Inspection.