Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / misc / two_counters.h @ 8aaf9f57

History | View | Annotate | Download (1.04 KB)

1 b8dc00eb bourbouh
/* C code generated by lustrec
2
   SVN version number 0.1-405M
3
   Code is C99 compliant */
4
   
5
#ifndef _TWO_COUNTERS
6
#define _TWO_COUNTERS
7
8
/* Imports standard library */
9
#include "/home/ploc/Local/include/lustrec/arrow.h"
10
11
12
/* Import dependencies */
13
14
/* Types definitions */
15
16
/* Global constant (declarations, definitions are in C file) */
17
18
/* Struct declarations */
19
struct top_mem;
20
struct intloopcounter_mem;
21
struct greycounter_mem;
22
23
/* Nodes declarations */
24
extern void top_reset (struct top_mem *self);
25
26
extern void top_step (_Bool x, 
27
                      _Bool (*OK),
28
                      struct top_mem *self);
29
30
extern void intloopcounter_reset (struct intloopcounter_mem *self);
31
32
extern void intloopcounter_step (_Bool x, 
33
                                 _Bool (*out),
34
                                 struct intloopcounter_mem *self);
35
36
extern void greycounter_reset (struct greycounter_mem *self);
37
38
extern void greycounter_step (_Bool x, 
39
                              _Bool (*out),
40
                              struct greycounter_mem *self);
41
42
43
#endif