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
A TGBA proxy.
Definition: tgbaproxy.hh:35
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38
Map BDD variables to formulae.
Definition: bdddict.hh:57
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67