spot  2.10.1
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 
25 namespace 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.1