Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / src / SAFE / ccp09.h @ fa9e78e5

History | View | Annotate | Download (852 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 _CCP09
7
#define _CCP09
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 onOff, _Bool decelSet, _Bool accelResume,
30
                      _Bool cancel, _Bool brakePedal, int carGear,
31
                      double carSpeed, _Bool validInputs, 
32
                      _Bool (*OK),
33
                      struct top_mem *self);
34

    
35

    
36
#endif
37