Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detection of pair already visited with the same criteria as for the...
[simgrid.git] / examples / msg / mc / example_liveness_without_cycle.h
1 #ifndef _EXAMPLE_LIVENESS_WITHOUT_CYCLE_H
2 #define _EXAMPLE_LIVENESS_WITHOUT_CYCLE_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