spot
1.0
|
Explicit transitions (used by spot::evtgba_explicit). More...
#include <evtgba/explicit.hh>
Public Attributes | |
const symbol * | label |
symbol_set | acceptance_conditions |
state * | in |
state * | out |
Explicit transitions (used by spot::evtgba_explicit).
symbol_set spot::evtgba_explicit::transition::acceptance_conditions |
state* spot::evtgba_explicit::transition::in |
const symbol* spot::evtgba_explicit::transition::label |
state* spot::evtgba_explicit::transition::out |