21#include <spot/twa/twa.hh>
62 tgta(
const bdd_dict_ptr& d)
84 typedef std::shared_ptr<tgta> tgta_ptr;
85 typedef std::shared_ptr<const tgta> const_tgta_ptr;
Abstract class for states.
Definition: twa.hh:47
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:59
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:394
A Transition-based ω-Automaton.
Definition: twa.hh:619
Definition: automata.hh:26