add_state(const state *s)=0 | spot::evtgba_reachable_iterator | [pure virtual] |
automata_ | spot::evtgba_reachable_iterator | [protected] |
end() | spot::evtgba_reachable_iterator | [virtual] |
evtgba_reachable_iterator(const evtgba *a) | spot::evtgba_reachable_iterator | |
next_state()=0 | spot::evtgba_reachable_iterator | [pure virtual] |
process_link(int in, int out, const evtgba_iterator *si) | spot::evtgba_reachable_iterator | [virtual] |
process_state(const state *s, int n, evtgba_iterator *si) | spot::evtgba_reachable_iterator | [virtual] |
run() | spot::evtgba_reachable_iterator | |
seen | spot::evtgba_reachable_iterator | [protected] |
seen_map typedef | spot::evtgba_reachable_iterator | [protected] |
start(int n) | spot::evtgba_reachable_iterator | [virtual] |
~evtgba_reachable_iterator() | spot::evtgba_reachable_iterator | [virtual] |