19 #ifndef SPOT_TGBA_TGBASGBA_HH
20 # define SPOT_TGBA_TGBASGBA_HH
23 #include "misc/bddlt.hh"
42 virtual state* get_init_state()
const;
45 succ_iter(
const state* local_state,
46 const state* global_state = 0,
47 const tgba* global_automaton = 0)
const;
51 virtual std::string format_state(
const state*
state)
const;
53 virtual bdd all_acceptance_conditions()
const;
54 virtual bdd neg_acceptance_conditions()
const;
57 bdd state_acceptance_conditions(
const state* state)
const;
59 virtual bdd compute_support_conditions(
const state* state)
const;
60 virtual bdd compute_support_variables(
const state* state)
const;
66 bool emulate_acc_cond_;
67 bdd acceptance_condition_;
74 #endif // SPOT_TGBA_TGBASGBA_HH