20 #ifndef SPOT_TGBA_TGBASAFRACOMPLEMENT_HH
21 # define SPOT_TGBA_TGBASAFRACOMPLEMENT_HH
26 #ifndef TRANSFORM_TO_TBA
27 # define TRANSFORM_TO_TBA 0
29 #define TRANSFORM_TO_TGBA (!TRANSFORM_TO_TBA)
57 virtual state* get_init_state()
const;
59 succ_iter(
const state* local_state,
60 const state* global_state = 0,
61 const tgba* global_automaton = 0)
const;
64 virtual std::string format_state(
const state*
state)
const;
65 virtual bdd all_acceptance_conditions()
const;
66 virtual bdd neg_acceptance_conditions()
const;
68 void* get_safra()
const
74 virtual bdd compute_support_conditions(
const state* state)
const;
75 virtual bdd compute_support_variables(
const state* state)
const;
77 const tgba* automaton_;
80 bdd the_acceptance_cond_;
83 bdd all_acceptance_cond_;
84 bdd neg_acceptance_cond_;
86 std::vector<bdd> acceptance_cond_vec_;
98 #endif // SPOT_TGBA_TGBASAFRACOMPLEMENT_HH