25 #include <spot/misc/common.hh>
26 #include <spot/twa/twagraph.hh>
36 SPOT_API twa_graph_ptr
37 inline
copy(const const_twa_ptr& aut,
twa::prop_set p,
38 bool preserve_names = false,
unsigned max_states = -1U)
A Transition-based ω-Automaton.
Definition: twa.hh:623
twa_graph_ptr copy(const const_twa_ptr &aut, twa::prop_set p, bool preserve_names=false, unsigned max_states=-1U)
Build an explicit automaton from all states of aut,.
Definition: copy.hh:37
twa_graph_ptr make_twa_graph(const bdd_dict_ptr &dict)
Build an explicit automaton from all states of aut,.
Definition: twagraph.hh:788
Definition: automata.hh:27