Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Sum16_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (3.77 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:13:31
5
(*
6
Original block name: Sum16_PP
7
*)
8
node  Sum16_PP(In1_1 : real;
9
	In2_1 : real;
10
	In3_1 : real;
11
	In4_1 : real;
12
	In4_2 : real;
13
	In4_3 : real;
14
	In5_1 : real;
15
	In5_2 : real;
16
	In5_3 : real;
17
	In6_1 : real;
18
	In6_2 : real;
19
	In6_3 : real;
20
	In7_1 : real;
21
	In7_2 : real;
22
	In7_3 : real;
23
	In7_4 : real;
24
	In7_5 : real;
25
	In7_6 : real;
26
	In8_1 : real;
27
	In8_2 : real;
28
	In8_3 : real;
29
	In8_4 : real;
30
	In8_5 : real;
31
	In8_6 : real;
32
	In9_1 : real;
33
	In9_2 : real;
34
	In9_3 : real;
35
	In9_4 : real;
36
	In9_5 : real;
37
	In9_6 : real;
38
	In10_1 : real;
39
	In11_1 : real;
40
	In11_2 : real;
41
	In11_3 : real;
42
	In12_1 : real;
43
	In13_1 : real;
44
	In13_2 : real;
45
	In13_3 : real;
46
	In14_1 : real;
47
	In15_1 : real;
48
	In15_2 : real;
49
	In15_3 : real;
50
	In16_1 : real;
51
	In17_1 : real;
52
	In17_2 : real;
53
	In17_3 : real;
54
	In17_4 : real;
55
	In17_5 : real;
56
	In17_6 : real;
57
	In18_1 : real;
58
	In19_1 : real;
59
	In19_2 : real;
60
	In19_3 : real;
61
	In19_4 : real;
62
	In19_5 : real;
63
	In19_6 : real;
64
	In20_1 : real;
65
	In21_1 : real;
66
	In21_2 : real;
67
	In21_3 : real;
68
	In21_4 : real;
69
	In21_5 : real;
70
	In21_6 : real;)
71
returns(Out1_1 : real;
72
	Out2_1 : real;
73
	Out2_2 : real;
74
	Out2_3 : real;
75
	Out3_1 : real;
76
	Out3_2 : real;
77
	Out3_3 : real;
78
	Out3_4 : real;
79
	Out3_5 : real;
80
	Out3_6 : real;
81
	Out4_1 : real;
82
	Out4_2 : real;
83
	Out4_3 : real;
84
	Out5_1 : real;
85
	Out5_2 : real;
86
	Out5_3 : real;
87
	Out6_1 : real;
88
	Out6_2 : real;
89
	Out6_3 : real;
90
	Out6_4 : real;
91
	Out6_5 : real;
92
	Out6_6 : real;
93
	Out7_1 : real;
94
	Out7_2 : real;
95
	Out7_3 : real;
96
	Out7_4 : real;
97
	Out7_5 : real;
98
	Out7_6 : real;);
99
var Sum_1 : real;
100
	Sum1_1 : real;
101
	Sum1_2 : real;
102
	Sum1_3 : real;
103
	Sum2_1 : real;
104
	Sum2_2 : real;
105
	Sum2_3 : real;
106
	Sum2_4 : real;
107
	Sum2_5 : real;
108
	Sum2_6 : real;
109
	Sum3_1 : real;
110
	Sum3_2 : real;
111
	Sum3_3 : real;
112
	Sum4_1 : real;
113
	Sum4_2 : real;
114
	Sum4_3 : real;
115
	Sum5_1 : real;
116
	Sum5_2 : real;
117
	Sum5_3 : real;
118
	Sum5_4 : real;
119
	Sum5_5 : real;
120
	Sum5_6 : real;
121
	Sum6_1 : real;
122
	Sum6_2 : real;
123
	Sum6_3 : real;
124
	Sum6_4 : real;
125
	Sum6_5 : real;
126
	Sum6_6 : real;
127
	__time_step : real;
128
	__nb_step : int;
129
let
130
	Sum_1 = 0.0 + In1_1 - In2_1 + In3_1;
131
	Sum1_1 = 0.0 + In4_1 - In5_1 + In6_1;
132
	Sum1_2 = 0.0 + In4_2 - In5_2 + In6_2;
133
	Sum1_3 = 0.0 + In4_3 - In5_3 + In6_3;
134
	Sum2_1 = 0.0 + In7_1 - In8_1 + In9_1;
135
	Sum2_2 = 0.0 + In7_2 - In8_2 + In9_2;
136
	Sum2_3 = 0.0 + In7_3 - In8_3 + In9_3;
137
	Sum2_4 = 0.0 + In7_4 - In8_4 + In9_4;
138
	Sum2_5 = 0.0 + In7_5 - In8_5 + In9_5;
139
	Sum2_6 = 0.0 + In7_6 - In8_6 + In9_6;
140
	Sum3_1 = 0.0 - In10_1 + In11_1 + In12_1;
141
	Sum3_2 = 0.0 - In10_1 + In11_2 + In12_1;
142
	Sum3_3 = 0.0 - In10_1 + In11_3 + In12_1;
143
	Sum4_1 = 0.0 + In13_1 + In14_1 - In15_1;
144
	Sum4_2 = 0.0 + In13_2 + In14_1 - In15_2;
145
	Sum4_3 = 0.0 + In13_3 + In14_1 - In15_3;
146
	Sum5_1 = 0.0 - In16_1 + In17_1 + In18_1;
147
	Sum5_2 = 0.0 - In16_1 + In17_2 + In18_1;
148
	Sum5_3 = 0.0 - In16_1 + In17_3 + In18_1;
149
	Sum5_4 = 0.0 - In16_1 + In17_4 + In18_1;
150
	Sum5_5 = 0.0 - In16_1 + In17_5 + In18_1;
151
	Sum5_6 = 0.0 - In16_1 + In17_6 + In18_1;
152
	Sum6_1 = 0.0 - In19_1 - In20_1 - In21_1;
153
	Sum6_2 = 0.0 - In19_2 - In20_1 - In21_2;
154
	Sum6_3 = 0.0 - In19_3 - In20_1 - In21_3;
155
	Sum6_4 = 0.0 - In19_4 - In20_1 - In21_4;
156
	Sum6_5 = 0.0 - In19_5 - In20_1 - In21_5;
157
	Sum6_6 = 0.0 - In19_6 - In20_1 - In21_6;
158
	Out1_1 = Sum_1;
159
	Out2_1 = Sum1_1;
160
	Out2_2 = Sum1_2;
161
	Out2_3 = Sum1_3;
162
	Out3_1 = Sum2_1;
163
	Out3_2 = Sum2_2;
164
	Out3_3 = Sum2_3;
165
	Out3_4 = Sum2_4;
166
	Out3_5 = Sum2_5;
167
	Out3_6 = Sum2_6;
168
	Out4_1 = Sum3_1;
169
	Out4_2 = Sum3_2;
170
	Out4_3 = Sum3_3;
171
	Out5_1 = Sum4_1;
172
	Out5_2 = Sum4_2;
173
	Out5_3 = Sum4_3;
174
	Out6_1 = Sum5_1;
175
	Out6_2 = Sum5_2;
176
	Out6_3 = Sum5_3;
177
	Out6_4 = Sum5_4;
178
	Out6_5 = Sum5_5;
179
	Out6_6 = Sum5_6;
180
	Out7_1 = Sum6_1;
181
	Out7_2 = Sum6_2;
182
	Out7_3 = Sum6_3;
183
	Out7_4 = Sum6_4;
184
	Out7_5 = Sum6_5;
185
	Out7_6 = Sum6_6;
186
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
187
	__nb_step = (0 -> ((pre __nb_step) + 1));
188
tel
189