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