22 #include <spot/twa/twagraph.hh> 43 SPOT_DEPRECATED(
"use spot::dualize() instead")
44 SPOT_API twa_graph_ptr
45 dtwa_complement(const const_twa_graph_ptr& aut);
53 SPOT_API twa_graph_ptr
54 complement_semidet(const const_twa_graph_ptr& aut,
bool show_names = false);
Definition: automata.hh:26