20 #ifndef SPOT_TGBA_TGBASCC_HH
21 # define SPOT_TGBA_TGBASCC_HH
24 #include "tgbaalgos/scc.hh"
54 virtual std::string format_state(
const state*
state)
const;
59 virtual state* get_init_state()
const;
61 succ_iter(
const state* local_state,
62 const state* global_state = 0,
63 const tgba* global_automaton = 0)
const;
68 virtual state* project_state(
const state* s,
const tgba* t)
const;
69 virtual bdd all_acceptance_conditions()
const;
70 virtual bdd neg_acceptance_conditions()
const;
72 virtual bdd compute_support_conditions(
const state* state)
const;
73 virtual bdd compute_support_variables(
const state* state)
const;
84 #endif // SPOT_TGBA_TGBASCC_HH