Project

General

Profile

Download (743 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from Fcn1_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:13 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
#open <lustrec_math>
6

    
7
function bool_to_real (x: bool) returns (y: real);
8

    
9
node Fcn1_PP (In1_1: real;
10
In1_2: real;
11
In1_3: real;
12
In1_4: real;
13
In2_1: real;
14
In2_2: real;
15
In2_3: real;
16
In2_4: real;
17
In2_5: real;
18
In2_6: real;
19
In3_1: real;
20
In3_2: real;
21
In3_3: real;
22
In3_4: real;
23
In4_1: real;
24
In4_2: real;
25
In4_3: real;
26
In5_1: real;
27
In5_2: real;
28
In5_3: real;
29
In6_1: real;
30
In6_2: real;
31
In6_3: real;
32
In6_4: real;
33
In6_5: real;
34
In6_6: real) returns (Out1_1: real;
35
Out2_1: real;
36
Out3_1: real;
37
Out4_1: real;
38
Out5_1: real;
39
Out6_1: real);
40

    
41

    
(608-608/1153)