CristalCaveGem » LustreC » Lustrec-Tests

/* C code generated by lustrec

   SVN version number 0.1-405M

   Code is C99 compliant */

#ifndef _TWO_COUNTERS

#define _TWO_COUNTERS

/* Imports standard library */

#include "/home/ploc/Local/include/lustrec/arrow.h"

/* Import dependencies */

/* Types definitions */

/* Global constant (declarations, definitions are in C file) */

/* Struct declarations */

struct top_mem;

struct intloopcounter_mem;

struct greycounter_mem;

/* Nodes declarations */

extern void top_reset (struct top_mem *self);

extern void top_step (_Bool x, 

                      _Bool (*OK),

                      struct top_mem *self);

extern void intloopcounter_reset (struct intloopcounter_mem *self);

extern void intloopcounter_step (_Bool x, 

                                 _Bool (*out),

                                 struct intloopcounter_mem *self);

extern void greycounter_reset (struct greycounter_mem *self);

extern void greycounter_step (_Bool x, 

                              _Bool (*out),

                              struct greycounter_mem *self);

#endif