22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 47 SPOT_API twa_graph_ptr
48 dualize(
const const_twa_graph_ptr& aut);
Definition: automata.hh:26
twa_graph_ptr dualize(const const_twa_graph_ptr &aut)
Complement an automaton by dualizing it.