Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stateless model checking for liveness properties
[simgrid.git] / examples / msg / mc / example_automaton.h
1 #ifndef _EXAMPLE_AUTOMATON_H
2 #define _EXAMPLE_AUTOMATON_H
3
4 int yyparse(void);
5 int yywrap(void);
6 int yylex(void);
7
8 int predP(void);
9 int predR(void);
10 int predQ(void);
11 int predD(void);
12 int predE(void);
13
14
15
16
17 int server(int argc, char *argv[]);
18 int client(int argc, char *argv[]);
19
20 #endif