21#include <spot/misc/common.hh>
22#include <spot/twa/fwd.hh>
86 SPOT_API twa_graph_ptr
90 SPOT_API twa_graph_ptr
107 SPOT_API twa_graph_ptr
109 bool keep_style =
false);
111 SPOT_API twa_graph_ptr
130 SPOT_API twa_graph_ptr
133 SPOT_API twa_graph_ptr
190 SPOT_API twa_graph_ptr
192 bool colored =
false,
bool layered =
false);
194 SPOT_API twa_graph_ptr
196 bool colored =
false,
bool layered =
false);
213 std::vector<int> piprime1;
214 std::vector<int> piprime2;
twa_graph_ptr change_parity(const const_twa_graph_ptr &aut, parity_kind kind, parity_style style)
Change the parity acceptance of an automaton.
parity_kind
Parity kind type.
Definition: parity.hh:35
parity_style
Parity style type.
Definition: parity.hh:48
twa_graph_ptr change_parity_here(twa_graph_ptr aut, parity_kind kind, parity_style style)
Parity kind type.
@ parity_kind_any
The new acceptance may change the kind.
Definition: parity.hh:43
@ parity_kind_min
The new acceptance will be a parity min.
Definition: parity.hh:39
@ parity_kind_same
The new acceptance will keep the kind.
Definition: parity.hh:41
@ parity_kind_max
The new acceptance will be a parity max.
Definition: parity.hh:37
Definition: automata.hh:26
twa_graph_ptr colorize_parity_here(twa_graph_ptr aut, bool keep_style=false)
Colorize an automaton with parity acceptance.
twa_graph_ptr reduce_parity(const const_twa_graph_ptr &aut, bool colored=false, bool layered=false)
Reduce the parity acceptance condition to use a minimal number of colors.
twa_graph_ptr cleanup_parity(const const_twa_graph_ptr &aut, bool keep_style=false)
Remove useless acceptance sets of an automaton with parity acceptance.
twa_graph_ptr reduce_parity_here(twa_graph_ptr aut, bool colored=false, bool layered=false)
Reduce the parity acceptance condition to use a minimal number of colors.
twa_graph_ptr cleanup_parity_here(twa_graph_ptr aut, bool keep_style=false)
Remove useless acceptance sets of an automaton with parity acceptance.
twa_graph_ptr colorize_parity(const const_twa_graph_ptr &aut, bool keep_style=false)
Colorize an automaton with parity acceptance.
@ parity_style_odd
The new acceptance will be a parity odd.
Definition: parity.hh:50
@ parity_style_even
The new acceptance will be a parity even.
Definition: parity.hh:52
@ parity_style_same
The new acceptance will keep the style.
Definition: parity.hh:54
@ parity_style_any
The new acceptance may change the style.
Definition: parity.hh:56
Internal data computed by the reduce_parity function.
Definition: parity.hh:210
bool parity_odd
Whether the input automaton is parity odd.
Definition: parity.hh:212
bool parity_max
Whether the input automaton is parity max.
Definition: parity.hh:211