1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#include <gfsm.h>
#include <stdio.h>
#include <stdlib.h>
const char *progname = "test-stateset";
const char *infilename = "statetest.tfst";
gfsmAutomaton *fsm;
gfsmError *err = NULL;
gboolean stateset_print_func(gfsmStateId id, gpointer data)
{
printf(" %u", id);
return FALSE;
}
void stateset_print(const char *label, gfsmStateSet *sset)
{
gfsmStateSetIter ssi;
gfsmStateId ssid;
printf("%s: {", label);
//gfsm_stateset_foreach(sset, stateset_print_func, NULL);
for (ssi = gfsm_stateset_iter_begin(sset);
(ssid=gfsm_stateset_iter_id(ssi)) != gfsmNoState;
ssi = gfsm_stateset_iter_next(sset,ssi))
{
printf(" %u", ssid);
}
printf(" }\n");
}
int main (int argc, char **argv) {
int i;
gfsmStateId id;
gfsmStateSet *sset;
fsm = gfsm_automaton_new();
sset = gfsm_stateset_new();
if (!gfsm_automaton_compile_filename(fsm,infilename,&err)) {
g_printerr("%s: compile failed for '%s': %s\n", progname, infilename, err->message);
exit(255);
}
printf("%s: compiled test automaton from '%s'\n", *argv, infilename);
for (i=0; i < argc; i++) {
id = strtol(argv[i],NULL,10);
gfsm_stateset_clear(sset);
gfsm_stateset_populate(sset,fsm,id, gfsmEpsilon, gfsmEpsilon);
printf("--\nseed=%u\n", id);
stateset_print("equiv", sset);
}
gfsm_stateset_free(sset);
gfsm_automaton_free(fsm);
return 0;
}
|
