Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / all files / microwave39.h @ b8dc00eb

History | View | Annotate | Download (928 Bytes)

1
/* C code generated by lustrec
2
   Version number 1.3-458
3
   Code is C99 compliant
4
   Using (double) floating-point numbers */
5
   
6
#ifndef _MICROWAVE39
7
#define _MICROWAVE39
8

    
9
/* Imports standard library */
10
#include "/usr/local/include/lustrec/arrow.h"
11

    
12

    
13
/* Import dependencies */
14

    
15
/* Types definitions */
16

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

    
19
/* Structs declarations */
20
struct top_mem;
21

    
22
/* Nodes declarations */
23
extern void top_reset (struct top_mem *self);
24

    
25
extern void top_init (struct top_mem *self);
26

    
27
extern void top_clear (struct top_mem *self);
28

    
29
extern void top_step (_Bool KP_START, _Bool KP_CLEAR, _Bool KP_0, _Bool KP_1,
30
                      _Bool KP_2, _Bool KP_3, _Bool KP_4, _Bool KP_5,
31
                      _Bool KP_6, _Bool KP_7, _Bool KP_8, _Bool KP_9,
32
                      _Bool DOOR_CLOSED, 
33
                      _Bool (*OK),
34
                      struct top_mem *self);
35

    
36

    
37
#endif
38