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;
Definition: automata.hh:26
A Transition-based ω-Automaton.
Definition: twa.hh:622
Abstract class for states.
Definition: twa.hh:50
Iterate over the successors of a state.
Definition: twa.hh:397
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:59