22 #include <spot/twa/twagraph.hh> 23 #include <spot/twaalgos/powerset.hh> 45 SPOT_API twa_graph_ptr
46 dtwa_complement(const const_twa_graph_ptr& aut);
54 SPOT_API twa_graph_ptr
55 complement_semidet(const const_twa_graph_ptr& aut,
bool show_names = false);
78 SPOT_API twa_graph_ptr
79 complement(const const_twa_graph_ptr& aut,
80 const output_aborter* aborter =
nullptr);
Definition: automata.hh:26