25 #include <spot/misc/common.hh> 26 #include <spot/twa/twagraph.hh> 35 SPOT_DEPRECATED(
"use make_twa_graph() instead")
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 = -1
U)
Definition: automata.hh:26
A Transition-based ω-Automaton.
Definition: twa.hh:622
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:719