spot
1.0.2
|
#include <tgba/tgbaexplicit.hh>
Public Attributes | |
bdd | condition |
bdd | acceptance_conditions |
const state_explicit< Label, label_hash > * | dest |
bdd spot::state_explicit< Label, label_hash >::transition::acceptance_conditions |
bdd spot::state_explicit< Label, label_hash >::transition::condition |
const state_explicit<Label, label_hash>* spot::state_explicit< Label, label_hash >::transition::dest |