spot
0.9.1
|
acc_cond_ | spot::fair_kripke_succ_iterator | [protected] |
cond_ | spot::fair_kripke_succ_iterator | [protected] |
current_acceptance_conditions() const | spot::fair_kripke_succ_iterator | [virtual] |
current_condition() const | spot::fair_kripke_succ_iterator | [virtual] |
current_state() const =0 | spot::tgba_succ_iterator | [pure virtual] |
done() const =0 | spot::tgba_succ_iterator | [pure virtual] |
fair_kripke_succ_iterator(const bdd &cond, const bdd &acc_cond) | spot::fair_kripke_succ_iterator | |
first()=0 | spot::tgba_succ_iterator | [pure virtual] |
next()=0 | spot::tgba_succ_iterator | [pure virtual] |
~fair_kripke_succ_iterator() | spot::fair_kripke_succ_iterator | [virtual] |
~tgba_succ_iterator() | spot::tgba_succ_iterator | [inline, virtual] |