22 #include <spot/twa/twa.hh>
63 tgta(
const bdd_dict_ptr& d)
82 succ_iter_by_changeset(
const spot::state* s, bdd change_set)
const = 0;
85 typedef std::shared_ptr<tgta> tgta_ptr;
86 typedef std::shared_ptr<const tgta> const_tgta_ptr;
A Transition-based ω-Automaton.
Definition: twa.hh:577
Abstract class for states.
Definition: twa.hh:43
Iterate over the successors of a state.
Definition: twa.hh:390
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:59