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