spot
0.9.1
|
current_acceptance_conditions() const =0 | spot::evtgba_iterator | [pure virtual] |
current_label() const =0 | spot::evtgba_iterator | [pure virtual] |
current_state() const =0 | spot::evtgba_iterator | [pure virtual] |
done() const =0 | spot::evtgba_iterator | [pure virtual] |
first()=0 | spot::evtgba_iterator | [pure virtual] |
next()=0 | spot::evtgba_iterator | [pure virtual] |
~evtgba_iterator() | spot::evtgba_iterator | [inline, virtual] |