Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model check : acceptance cycle detection with automaton (depth first search without...
[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 predD(void);
9 int predR(void);
10 int predE(void);
11
12 int server(int argc, char *argv[]);
13 int client(int argc, char *argv[]);
14
15 #endif