Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add or remove debug information
[simgrid.git] / examples / msg / mc / example2_liveness_without_cycle.h
1 #ifndef _EXAMPLE2_LIVENESS_WITHOUT_CYCLE_H
2 #define _EXAMPLE2_LIVENESS_WITHOUT_CYCLE_H
3
4 int yyparse(void);
5 int yywrap(void);
6 int yylex(void);
7
8 int predP(void);
9 int predQ(void);
10
11 int server(int argc, char **argv);
12 int client(int argc, char **argv);
13
14 #endif