done() const =0 | spot::numbered_state_heap_const_iterator | [pure virtual] |
first()=0 | spot::numbered_state_heap_const_iterator | [pure virtual] |
get_index() const =0 | spot::numbered_state_heap_const_iterator | [pure virtual] |
get_state() const =0 | spot::numbered_state_heap_const_iterator | [pure virtual] |
next()=0 | spot::numbered_state_heap_const_iterator | [pure virtual] |
~numbered_state_heap_const_iterator() | spot::numbered_state_heap_const_iterator | [inline, virtual] |