spot
1.1.4
|
Explicit transitions. More...
#include <tgba/taatgba.hh>
Public Attributes | |
bdd | condition |
bdd | acceptance_conditions |
const state_set * | dst |
Explicit transitions.
bdd spot::taa_tgba::transition::acceptance_conditions |
bdd spot::taa_tgba::transition::condition |
const state_set* spot::taa_tgba::transition::dst |