21#include <spot/misc/common.hh>
22#include <spot/twa/twagraph.hh>
31 SPOT_DEPRECATED(
"use make_twa_graph() instead")
32 SPOT_API twa_graph_ptr
33 inline
copy(const const_twa_ptr& aut,
twa::prop_set p,
34 bool preserve_names = false,
unsigned max_states = -1U)
A Transition-based ω-Automaton.
Definition: twa.hh:619
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:33
twa_graph_ptr make_twa_graph(const bdd_dict_ptr &dict)
Build an explicit automaton from all states of aut,.
Definition: twagraph.hh:787
Definition: automata.hh:26