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> 45 virtual spot::state* get_init_state()
const override;
48 succ_iter(
const spot::state* local_state)
const override;
50 const_ta_explicit_ptr get_ta()
const {
return ta_; }
51 ta_explicit_ptr get_ta() {
return ta_; }
53 virtual std::string format_state(
const spot::state* s)
const override;
56 succ_iter_by_changeset(
const spot::state* s, bdd change_set)
const override;
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);
Abstract class for states.
Definition: twa.hh:50
Iterate over the successors of a state.
Definition: twa.hh:397
Definition: tgtaexplicit.hh:37
Definition: taexplicit.hh:129
A Transition-based Generalized Testing Automaton (TGTA).
Definition: tgta.hh:59