22#include <spot/twa/twagraph.hh>
34 SPOT_API twa_graph_ptr
split_edges(
const const_twa_graph_ptr& aut);
44 const const_twa_graph_ptr& aut, std::vector<bdd>
const& basis);
twa_graph_ptr split_edges(const const_twa_graph_ptr &aut)
transform edges into transitions
Definition automata.hh:27