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