19 #ifndef SPOT_TGBA_SBA_HH
20 # define SPOT_TGBA_SBA_HH
43 #endif // SPOT_TGBA_SBA_HH
Abstract class for states.
Definition: state.hh:40
virtual bool state_is_accepting(const spot::state *s) const =0
is s an accepting state?
A State-based Generalized Büchi Automaton.
Definition: sba.hh:32
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67