23 #ifndef SPOT_TGBA_SUCCITERCONCRETE_HH
24 # define SPOT_TGBA_SUCCITERCONCRETE_HH
26 #include "statebdd.hh"
27 #include "succiter.hh"
28 #include "tgbabddcoredata.hh"
58 bdd current_condition()
const;
59 bdd current_acceptance_conditions()
const;
74 #endif // SPOT_TGBA_SUCCITERCONCRETE_HH
Iterate over the successors of a state.
Definition: succiter.hh:38
Core data for a TGBA encoded using BDDs.
Definition: tgbabddcoredata.hh:32
Definition: statebdd.hh:33
Definition: succiterconcrete.hh:34