21#include <spot/misc/hash.hh>
23#include <spot/twa/twa.hh>
27#include <spot/misc/bddlt.hh>
28#include <spot/ta/taexplicit.hh>
29#include <spot/ta/tgta.hh>
49 const_ta_explicit_ptr get_ta()
const {
return ta_; }
50 ta_explicit_ptr get_ta() {
return ta_; }
60 typedef std::shared_ptr<tgta_explicit> tgta_explicit_ptr;
61 typedef std::shared_ptr<const tgta_explicit> const_tgta_explicit_ptr;
63 inline tgta_explicit_ptr
64 make_tgta_explicit(
const const_twa_ptr& tgba,
unsigned n_acc,
67 return std::make_shared<tgta_explicit>(tgba, n_acc,
68 artificial_initial_state);
Definition: taexplicit.hh:128
Abstract class for states.
Definition: twa.hh:47
Definition: tgtaexplicit.hh:37
virtual spot::state * get_init_state() const override
Get the initial state of the automaton.
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 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:59
Iterate over the successors of a state.
Definition: twa.hh:394
Definition: automata.hh:26