22 #include <spot/twa/twagraph.hh> 33 SPOT_API twa_graph_ptr
split_edges(
const const_twa_graph_ptr& aut);
48 SPOT_API twa_graph_ptr
49 split_2step(
const const_twa_graph_ptr& aut, bdd input_bdd);
52 SPOT_API twa_graph_ptr
53 unsplit_2step(
const const_twa_graph_ptr& aut);
Definition: automata.hh:26
twa_graph_ptr split_edges(const const_twa_graph_ptr &aut)
transform edges into transitions