22 #ifndef SPOT_TGBA_TGBABDDCONCRETE_HH
23 # define SPOT_TGBA_TGBABDDCONCRETE_HH
26 #include "statebdd.hh"
27 #include "tgbabddfactory.hh"
28 #include "succiterconcrete.hh"
48 virtual void set_init_state(bdd s);
50 virtual state_bdd* get_init_state()
const;
61 bdd get_init_bdd()
const;
64 succ_iter(
const state* local_state,
65 const state* global_state = 0,
66 const tgba* global_automaton = 0)
const;
68 virtual std::string format_state(
const state*
state)
const;
79 virtual bdd all_acceptance_conditions()
const;
80 virtual bdd neg_acceptance_conditions()
const;
84 void delete_unaccepting_scc();
87 virtual bdd compute_support_conditions(
const state* state)
const;
88 virtual bdd compute_support_variables(
const state* state)
const;
99 #endif // SPOT_TGBA_TGBABDDCONCRETE_HH