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>
53 const_ta_explicit_ptr get_ta()
const {
return ta_; }
54 ta_explicit_ptr get_ta() {
return ta_; }
56 virtual std::string format_state(
const spot::state* s)
const;
59 succ_iter_by_changeset(
const spot::state* s, bdd change_set)
const;
66 typedef std::shared_ptr<tgta_explicit> tgta_explicit_ptr;
67 typedef std::shared_ptr<const tgta_explicit> const_tgta_explicit_ptr;
69 inline tgta_explicit_ptr
70 make_tgta_explicit(
const const_twa_ptr& tgba,
unsigned n_acc,
73 return std::make_shared<tgta_explicit>(tgba, n_acc,
74 artificial_initial_state);
Abstract class for states.
Definition: twa.hh:43
Iterate over the successors of a state.
Definition: twa.hh:332
Definition: tgtaexplicit.hh:37
Definition: taexplicit.hh:132
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:59