spot 2.12.2
parity.hh
1// -*- coding: utf-8 -*-
2// Copyright (C) by the Spot authors, see the AUTHORS file for details.
3//
4// This file is part of Spot, a model checking library.
5//
6// Spot is free software; you can redistribute it and/or modify it
7// under the terms of the GNU General Public License as published by
8// the Free Software Foundation; either version 3 of the License, or
9// (at your option) any later version.
10//
11// Spot is distributed in the hope that it will be useful, but WITHOUT
12// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14// License for more details.
15//
16// You should have received a copy of the GNU General Public License
17// along with this program. If not, see <http://www.gnu.org/licenses/>.
18
19#pragma once
20
21#include <spot/misc/common.hh>
22#include <spot/twa/fwd.hh>
23#include <vector>
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
190 SPOT_API twa_graph_ptr
191 reduce_parity(const const_twa_graph_ptr& aut,
192 bool colored = false, bool layered = false);
193
194 SPOT_API twa_graph_ptr
195 reduce_parity_here(twa_graph_ptr aut,
196 bool colored = false, bool layered = false);
197
199
209 struct SPOT_API reduce_parity_data
210 {
213 std::vector<int> piprime1;
214 std::vector<int> piprime2;
215
216 reduce_parity_data(const const_twa_graph_ptr& aut, bool layered = false);
217 };
218
220}
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

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