spot
1.0
|
Explicit transitions. More...
#include <ta/taexplicit.hh>
Public Attributes | |
bdd | condition |
bdd | acceptance_conditions |
state_ta_explicit * | dest |
Explicit transitions.
bdd spot::state_ta_explicit::transition::acceptance_conditions |
bdd spot::state_ta_explicit::transition::condition |
state_ta_explicit* spot::state_ta_explicit::transition::dest |