22 #include <spot/misc/hash.hh>
24 #include <spot/twa/twa.hh>
28 #include <spot/misc/bddlt.hh>
29 #include <spot/ta/taexplicit.hh>
30 #include <spot/ta/tgta.hh>
50 const_ta_explicit_ptr get_ta()
const {
return ta_; }
51 ta_explicit_ptr get_ta() {
return ta_; }
61 typedef std::shared_ptr<tgta_explicit> tgta_explicit_ptr;
62 typedef std::shared_ptr<const tgta_explicit> const_tgta_explicit_ptr;
64 inline tgta_explicit_ptr
65 make_tgta_explicit(
const const_twa_ptr& tgba,
unsigned n_acc,
68 return std::make_shared<tgta_explicit>(tgba, n_acc,
69 artificial_initial_state);
Definition: taexplicit.hh:129
Abstract class for states.
Definition: twa.hh:51
Definition: tgtaexplicit.hh:38
virtual twa_succ_iterator * succ_iter(const spot::state *local_state) const override
Get an iterator over the successors of local_state.
virtual twa_succ_iterator * succ_iter_by_changeset(const spot::state *s, bdd change_set) const override
Get an iterator over the successors of state filtred by the value of the changeset on transitions bet...
virtual spot::state * get_init_state() const override
Get the initial state of the automaton.
virtual std::string format_state(const spot::state *s) const override
Format the state as a string for printing.
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:60
Iterate over the successors of a state.
Definition: twa.hh:398
Definition: automata.hh:27