22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 86 SPOT_API twa_graph_ptr
90 SPOT_API twa_graph_ptr
107 SPOT_API twa_graph_ptr
108 cleanup_parity(
const const_twa_graph_ptr& aut,
109 bool keep_style =
false);
111 SPOT_API twa_graph_ptr
112 cleanup_parity_here(twa_graph_ptr aut,
bool keep_style =
false);
130 SPOT_API twa_graph_ptr
131 colorize_parity(
const const_twa_graph_ptr& aut,
bool keep_style =
false);
133 SPOT_API twa_graph_ptr
134 colorize_parity_here(twa_graph_ptr aut,
bool keep_style =
false);
153 SPOT_API twa_graph_ptr
154 reduce_parity(
const const_twa_graph_ptr& aut,
bool colored =
false);
156 SPOT_API twa_graph_ptr
157 reduce_parity_here(twa_graph_ptr aut,
bool colored =
false);
Definition: automata.hh:26
twa_graph_ptr change_parity_here(twa_graph_ptr aut, parity_kind kind, parity_style style)
Parity kind type.
The new acceptance will be a parity max.
Definition: parity.hh:37
parity_style
Parity style type.
Definition: parity.hh:47
The new acceptance may change the kind.
Definition: parity.hh:43
parity_kind
Parity kind type.
Definition: parity.hh:34
The new acceptance will keep the kind.
Definition: parity.hh:41
The new acceptance will be a parity min.
Definition: parity.hh:39
twa_graph_ptr change_parity(const const_twa_graph_ptr &aut, parity_kind kind, parity_style style)
Change the parity acceptance of an automaton.