19 #ifndef SPOT_TGBA_TGBAPROXY_HH
20 # define SPOT_TGBA_TGBAPROXY_HH
43 virtual state* get_init_state()
const;
46 succ_iter(
const state* local_state,
47 const state* global_state = 0,
48 const tgba* global_automaton = 0)
const;
52 virtual std::string format_state(
const state*
state)
const;
57 virtual state* project_state(
const state* s,
const tgba* t)
const;
59 virtual bdd all_acceptance_conditions()
const;
61 virtual bdd neg_acceptance_conditions()
const;
64 virtual bdd compute_support_conditions(
const state* state)
const;
65 virtual bdd compute_support_variables(
const state* state)
const;
67 const tgba* original_;
71 #endif // SPOT_TGBA_TGBA_HH