spot
0.8.1
|
#include <evtgba/evtgbaiter.hh>
Public Member Functions | |
virtual | ~evtgba_iterator () |
virtual void | first ()=0 |
virtual void | next ()=0 |
virtual bool | done () const =0 |
virtual const state * | current_state () const =0 |
virtual const symbol * | current_label () const =0 |
virtual symbol_set | current_acceptance_conditions () const =0 |
virtual spot::evtgba_iterator::~evtgba_iterator | ( | ) | [inline, virtual] |
virtual symbol_set spot::evtgba_iterator::current_acceptance_conditions | ( | ) | const [pure virtual] |
virtual const symbol* spot::evtgba_iterator::current_label | ( | ) | const [pure virtual] |
virtual const state* spot::evtgba_iterator::current_state | ( | ) | const [pure virtual] |
virtual bool spot::evtgba_iterator::done | ( | ) | const [pure virtual] |
virtual void spot::evtgba_iterator::first | ( | ) | [pure virtual] |
virtual void spot::evtgba_iterator::next | ( | ) | [pure virtual] |