examples/msg/mc/bugged2_liveness.h

   1 #ifndef _BUGGED2_LIVENESS_H
   2 #define _BUGGED2_LIVENESS_H
   3
   4 int yyparse(void);
   5 int yywrap(void);
   6 int yylex(void);
   7
   8 int predPready(void);
   9 int predCready(void);
  10 int predConsume(void);
  11 int predProduce(void);
  12
  13 int coordinator(int argc, char *argv[]);
  14 int producer(int argc, char *argv[]);
  15 int consumer(int argc, char *argv[]);
  16
  17 #endif