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 
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 
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  {
211  bool parity_max;
212  bool parity_odd;
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.1