#include <evtgba/evtgbaiter.hh>
List of all members.
Constructor & Destructor Documentation
virtual spot::evtgba_iterator::~evtgba_iterator |
( |
|
) |
[inline, virtual] |
Member Function Documentation
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] |
The documentation for this class was generated from the following file: