spot
0.8.2
|
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).