examples/msg/mc/example_liveness_with_cycle.h

   1 #ifndef _EXAMPLE_LIVENESS_WITH_CYCLE_H
   2 #define _EXAMPLE_LIVENESS_WITH_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 coordinator(int argc, char *argv[]);
  12 int client(int argc, char *argv[]);
  13
  14 #endif