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)
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