spot 2.10.6.dev
parity.hh
1// -*- coding: utf-8 -*-
2// Copyright (C) 2016-2019 Laboratoire de Recherche et Développement
3// de l'Epita (LRDE).
4//
5// This file is part of Spot, a model checking library.
6//
7// Spot is free software; you can redistribute it and/or modify it
8// under the terms of the GNU General Public License as published by
9// the Free Software Foundation; either version 3 of the License, or
10// (at your option) any later version.
11//
12// Spot is distributed in the hope that it will be useful, but WITHOUT
13// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15// License for more details.
16//
17// You should have received a copy of the GNU General Public License
18// along with this program. If not, see <http://www.gnu.org/licenses/>.
19
20#pragma once
21
22#include <spot/misc/common.hh>
23#include <spot/twa/fwd.hh>
24
25namespace spot
26{
29
32
35 {
44 };
45
48 {
57 };
58
86 SPOT_API twa_graph_ptr
87 change_parity(const const_twa_graph_ptr& aut,
88 parity_kind kind, parity_style style);
89
90 SPOT_API twa_graph_ptr
91 change_parity_here(twa_graph_ptr aut, parity_kind kind, parity_style style);
93
107 SPOT_API twa_graph_ptr
108 cleanup_parity(const const_twa_graph_ptr& aut,
109 bool keep_style = false);
110
111 SPOT_API twa_graph_ptr
112 cleanup_parity_here(twa_graph_ptr aut, bool keep_style = false);
114
130 SPOT_API twa_graph_ptr
131 colorize_parity(const const_twa_graph_ptr& aut, bool keep_style = false);
132
133 SPOT_API twa_graph_ptr
134 colorize_parity_here(twa_graph_ptr aut, bool keep_style = false);
136
137
153 SPOT_API twa_graph_ptr
154 reduce_parity(const const_twa_graph_ptr& aut, bool colored = false);
155
156 SPOT_API twa_graph_ptr
157 reduce_parity_here(twa_graph_ptr aut, bool colored = false);
159}
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:27
twa_graph_ptr colorize_parity_here(twa_graph_ptr aut, bool keep_style=false)
Colorize an automaton with parity acceptance.
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(const const_twa_graph_ptr &aut, bool colored=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 reduce_parity_here(twa_graph_ptr aut, bool colored=false)
Reduce the parity acceptance condition to use a minimal number of colors.
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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.4