22 #include <spot/twa/twa.hh>
63 tgta(
const bdd_dict_ptr& d)
85 typedef std::shared_ptr<tgta> tgta_ptr;
86 typedef std::shared_ptr<const tgta> const_tgta_ptr;
Abstract class for states.
Definition: twa.hh:51
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:60
virtual twa_succ_iterator * succ_iter_by_changeset(const spot::state *s, bdd change_set) const =0
Get an iterator over the successors of state filtred by the value of the changeset on transitions bet...
Iterate over the successors of a state.
Definition: twa.hh:398
A Transition-based ω-Automaton.
Definition: twa.hh:623
Definition: automata.hh:27