Project

General

Profile

Download (1.38 KB) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from Assignment7_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:28 *)
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 Saturation1_30_036 (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
function Saturation_29_039 (In_1: real;
20
__time_step: real;
21
__nb_step: int) returns (Out_1: real);
22

    
23
node Assignment7_PP (In1_1: real;
24
In2_1: real;
25
In2_2: real;
26
In2_3: real;
27
In2_4: real;
28
In2_5: real;
29
In2_6: real;
30
In2_7: real;
31
In2_8: real;
32
In2_9: real;
33
In2_10: real;
34
In2_11: real;
35
In2_12: real;
36
In2_13: real;
37
In2_14: real;
38
In2_15: real;
39
In2_16: real;
40
In2_17: real;
41
In2_18: real;
42
In2_19: real;
43
In2_20: real;
44
In2_21: real;
45
In2_22: real;
46
In2_23: real;
47
In2_24: real;
48
In3_1: real;
49
In3_2: real;
50
In3_3: real;
51
In3_4: real;
52
In3_5: real;
53
In3_6: real;
54
In4_1: real;
55
In4_2: real) returns (Out3_1: real;
56
Out3_2: real;
57
Out3_3: real;
58
Out3_4: real;
59
Out3_5: real;
60
Out3_6: real;
61
Out3_7: real;
62
Out3_8: real;
63
Out3_9: real;
64
Out3_10: real;
65
Out3_11: real;
66
Out3_12: real;
67
Out3_13: real;
68
Out3_14: real;
69
Out3_15: real;
70
Out3_16: real;
71
Out3_17: real;
72
Out3_18: real;
73
Out3_19: real;
74
Out3_20: real;
75
Out3_21: real;
76
Out3_22: real;
77
Out3_23: real;
78
Out3_24: real);
79

    
80

    
(98-98/1153)