22 #include <spot/twa/twagraph.hh>
23 #include <spot/twaalgos/powerset.hh>
45 SPOT_API twa_graph_ptr
54 SPOT_API twa_graph_ptr
78 SPOT_API twa_graph_ptr
Helper object to specify when an algorithm should abort its construction.
Definition: powerset.hh:48
Definition: automata.hh:27
twa_graph_ptr complement_semidet(const const_twa_graph_ptr &aut, bool show_names=false)
Complement a semideterministic TωA.
twa_graph_ptr dtwa_complement(const const_twa_graph_ptr &aut)
Complement a deterministic TωA.
twa_graph_ptr complement(const const_twa_graph_ptr &aut, const output_aborter *aborter=nullptr)
Complement a TωA.