gfsmStateSort.h
Go to the documentation of this file.
1 
2 /*=============================================================================*\
3  * File: gfsmStateSort.h
4  * Author: Bryan Jurish <moocow.bovine@gmail.com>
5  * Description: finite state machine library
6  *
7  * Copyright (c) 2004-2012 Bryan Jurish.
8  *
9  * This library is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * This library is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with this library; if not, write to the Free Software
21  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22  *=============================================================================*/
23 
28 #ifndef _GFSM_STATESORT_H
29 #define _GFSM_STATESORT_H
30 
31 #include <gfsmAutomaton.h>
32 
37 typedef GArray gfsmStateIdMap;
38 
39 /*======================================================================*/
41 
42 
51 void gfsm_statesort_aff(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
52 
53 
62 void gfsm_statesort_dfs(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
63 
72 void gfsm_statesort_bfs(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
73 
75 
76 /*======================================================================*/
78 
79 
85 void gfsm_statemap_apply(gfsmAutomaton *fsm, gfsmStateIdMap *old2new, gfsmStateId n_new_states);
86 
88 
89 /*======================================================================*/
91 
92 
101 gfsmStateIdMap* gfsm_statemap_aff(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
102 
103 
109 gfsmStateIdMap* gfsm_statemap_dfs(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
110 
116 gfsmStateIdMap* gfsm_statemap_bfs(gfsmAutomaton *fsm, gfsmStateIdMap *old2new);
117 
123 gfsmStateIdMap* gfsm_statemap_depths(gfsmAutomaton *fsm, gfsmStateIdMap *depths);
124 
126 
127 /*======================================================================*/
129 
130 
138 gfsmStateIdMap *gfsm_statemap_init(gfsmStateIdMap *smap, gfsmStateId sz);
139 
141 
142 
143 #endif /* _GFSM_STATESORT_H */
Generated on Tue Oct 21 2014 09:44:47 for libgfsm by   doxygen 1.8.1.2