Project

General

Profile

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

    
5
#open <conv>
6

    
7
function _max_real (x: real;
8
y: real) returns (z: real);
9

    
10
function _min_real (x: real;
11
y: real) returns (z: real);
12

    
13
function Saturation_36_044 (In_1: real;
14
In_2: real;
15
__time_step: real;
16
__nb_step: int) returns (Out_1: real;
17
Out_2: real);
18

    
19
node Assignment2_PP (In1_1: real;
20
In1_2: real;
21
In2_1: real;
22
In2_2: real;
23
In2_3: real;
24
In2_4: real;
25
In2_5: real;
26
In2_6: real;
27
In2_7: real;
28
In2_8: real;
29
In2_9: real;
30
In2_10: real;
31
In2_11: real;
32
In2_12: real;
33
In3_1: real;
34
In3_2: real;
35
In3_3: real;
36
In3_4: real;
37
In3_5: real;
38
In3_6: real) returns (Out3_1: real;
39
Out3_2: real;
40
Out3_3: real;
41
Out3_4: real;
42
Out3_5: real;
43
Out3_6: real;
44
Out3_7: real;
45
Out3_8: real;
46
Out3_9: real;
47
Out3_10: real;
48
Out3_11: real;
49
Out3_12: real);
50

    
51

    
(68-68/1153)