43 virtual state* get_init_state()
const;
48 virtual std::string format_state(
const state* state)
const;
53 virtual state* project_state(
const state* s,
const const_twa_ptr& t)
const;
56 virtual bdd compute_support_conditions(
const state* state)
const;
57 const_twa_ptr original_;
A Transition-based ω-Automaton.
Definition: twa.hh:480
Abstract class for states.
Definition: twa.hh:40
A TGBA proxy.
Definition: twaproxy.hh:35
Iterate over the successors of a state.
Definition: twa.hh:329