Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.87 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:26:10
5
(*
6
Original block name: Constant1_PP
7
*)
8
node  Constant1_PP(_virtual : bool;)
9
returns(Out0_1 : real;
10
	Out0_2 : real;
11
	Out0_3 : real;
12
	Out0_4 : real;
13
	Out0_5 : real;
14
	Out0_6 : real;
15
	Out1_1 : real;
16
	Out1_2 : real;
17
	Out1_3 : real;
18
	Out1_4 : real;
19
	Out1_5 : real;
20
	Out1_6 : real;
21
	Out1_7 : real;
22
	Out1_8 : real;
23
	Out1_9 : real;
24
	Out1_10 : real;
25
	Out1_11 : real;
26
	Out1_12 : real;
27
	Out1_13 : real;
28
	Out1_14 : real;
29
	Out1_15 : real;
30
	Out1_16 : real;
31
	Out1_17 : real;
32
	Out1_18 : real;
33
	Out1_19 : real;
34
	Out1_20 : real;
35
	Out1_21 : real;
36
	Out1_22 : real;
37
	Out1_23 : real;
38
	Out1_24 : real;
39
	Out1_25 : real;
40
	Out1_26 : real;
41
	Out1_27 : real;
42
	Out1_28 : real;
43
	Out1_29 : real;
44
	Out1_30 : real;
45
	Out1_31 : real;
46
	Out1_32 : real;
47
	Out1_33 : real;
48
	Out1_34 : real;
49
	Out1_35 : real;
50
	Out1_36 : real;
51
	Out1_37 : real;
52
	Out1_38 : real;
53
	Out1_39 : real;
54
	Out1_40 : real;
55
	Out1_41 : real;
56
	Out1_42 : real;
57
	Out1_43 : real;
58
	Out1_44 : real;
59
	Out1_45 : real;
60
	Out1_46 : real;
61
	Out1_47 : real;
62
	Out1_48 : real;
63
	Out2_1 : real;
64
	Out2_2 : real;
65
	Out2_3 : real;
66
	Out3_1 : real;);
67
var Constant0_1 : real;
68
	Constant0_2 : real;
69
	Constant0_3 : real;
70
	Constant0_4 : real;
71
	Constant0_5 : real;
72
	Constant0_6 : real;
73
	Constant1_1 : real;
74
	Constant1_2 : real;
75
	Constant1_3 : real;
76
	Constant1_4 : real;
77
	Constant1_5 : real;
78
	Constant1_6 : real;
79
	Constant1_7 : real;
80
	Constant1_8 : real;
81
	Constant1_9 : real;
82
	Constant1_10 : real;
83
	Constant1_11 : real;
84
	Constant1_12 : real;
85
	Constant1_13 : real;
86
	Constant1_14 : real;
87
	Constant1_15 : real;
88
	Constant1_16 : real;
89
	Constant1_17 : real;
90
	Constant1_18 : real;
91
	Constant1_19 : real;
92
	Constant1_20 : real;
93
	Constant1_21 : real;
94
	Constant1_22 : real;
95
	Constant1_23 : real;
96
	Constant1_24 : real;
97
	Constant1_25 : real;
98
	Constant1_26 : real;
99
	Constant1_27 : real;
100
	Constant1_28 : real;
101
	Constant1_29 : real;
102
	Constant1_30 : real;
103
	Constant1_31 : real;
104
	Constant1_32 : real;
105
	Constant1_33 : real;
106
	Constant1_34 : real;
107
	Constant1_35 : real;
108
	Constant1_36 : real;
109
	Constant1_37 : real;
110
	Constant1_38 : real;
111
	Constant1_39 : real;
112
	Constant1_40 : real;
113
	Constant1_41 : real;
114
	Constant1_42 : real;
115
	Constant1_43 : real;
116
	Constant1_44 : real;
117
	Constant1_45 : real;
118
	Constant1_46 : real;
119
	Constant1_47 : real;
120
	Constant1_48 : real;
121
	Constant2_1 : real;
122
	Constant2_2 : real;
123
	Constant2_3 : real;
124
	Constant3_1 : real;
125
	__time_step : real;
126
	__nb_step : int;
127
let
128
	Constant0_1 = 1.000000000000000;
129
	Constant0_2 = 4.000000000000000;
130
	Constant0_3 = 2.000000000000000;
131
	Constant0_4 = 5.000000000000000;
132
	Constant0_5 = 3.000000000000000;
133
	Constant0_6 = 6.000000000000000;
134
	Constant1_1 = 0.616044676146639;
135
	Constant1_2 = 0.473288848902729;
136
	Constant1_3 = 0.351659507062997;
137
	Constant1_4 = 0.830828627896291;
138
	Constant1_5 = 0.585264091152724;
139
	Constant1_6 = 0.549723608291140;
140
	Constant1_7 = 0.917193663829810;
141
	Constant1_8 = 0.285839018820374;
142
	Constant1_9 = 0.757200229110721;
143
	Constant1_10 = 0.753729094278495;
144
	Constant1_11 = 0.380445846975357;
145
	Constant1_12 = 0.567821640725221;
146
	Constant1_13 = 0.075854289563064;
147
	Constant1_14 = 0.053950118666607;
148
	Constant1_15 = 0.530797553008973;
149
	Constant1_16 = 0.779167230102011;
150
	Constant1_17 = 0.934010684229183;
151
	Constant1_18 = 0.129906208473730;
152
	Constant1_19 = 0.568823660872193;
153
	Constant1_20 = 0.469390641058206;
154
	Constant1_21 = 0.011902069501241;
155
	Constant1_22 = 0.337122644398882;
156
	Constant1_23 = 0.162182308193243;
157
	Constant1_24 = 0.794284540683907;
158
	Constant1_25 = 0.311215042044805;
159
	Constant1_26 = 0.528533135506213;
160
	Constant1_27 = 0.165648729499781;
161
	Constant1_28 = 0.601981941401637;
162
	Constant1_29 = 0.262971284540144;
163
	Constant1_30 = 0.654079098476782;
164
	Constant1_31 = 0.689214503140008;
165
	Constant1_32 = 0.748151592823709;
166
	Constant1_33 = 0.450541598502498;
167
	Constant1_34 = 0.083821377996933;
168
	Constant1_35 = 0.228976968716819;
169
	Constant1_36 = 0.913337361501670;
170
	Constant1_37 = 0.152378018969223;
171
	Constant1_38 = 0.825816977489547;
172
	Constant1_39 = 0.538342435260057;
173
	Constant1_40 = 0.996134716626885;
174
	Constant1_41 = 0.078175528753184;
175
	Constant1_42 = 0.442678269775446;
176
	Constant1_43 = 0.106652770180584;
177
	Constant1_44 = 0.961898080855054;
178
	Constant1_45 = 0.004634224134067;
179
	Constant1_46 = 0.774910464711502;
180
	Constant1_47 = 0.817303220653433;
181
	Constant1_48 = 0.868694705363510;
182
	Constant2_1 = 1.000000000000000;
183
	Constant2_2 = 2.000000000000000;
184
	Constant2_3 = 3.000000000000000;
185
	Constant3_1 = 100.000000000000000;
186
	Out0_1 = Constant0_1;
187
	Out0_2 = Constant0_2;
188
	Out0_3 = Constant0_3;
189
	Out0_4 = Constant0_4;
190
	Out0_5 = Constant0_5;
191
	Out0_6 = Constant0_6;
192
	Out1_1 = Constant1_1;
193
	Out1_2 = Constant1_2;
194
	Out1_3 = Constant1_3;
195
	Out1_4 = Constant1_4;
196
	Out1_5 = Constant1_5;
197
	Out1_6 = Constant1_6;
198
	Out1_7 = Constant1_7;
199
	Out1_8 = Constant1_8;
200
	Out1_9 = Constant1_9;
201
	Out1_10 = Constant1_10;
202
	Out1_11 = Constant1_11;
203
	Out1_12 = Constant1_12;
204
	Out1_13 = Constant1_13;
205
	Out1_14 = Constant1_14;
206
	Out1_15 = Constant1_15;
207
	Out1_16 = Constant1_16;
208
	Out1_17 = Constant1_17;
209
	Out1_18 = Constant1_18;
210
	Out1_19 = Constant1_19;
211
	Out1_20 = Constant1_20;
212
	Out1_21 = Constant1_21;
213
	Out1_22 = Constant1_22;
214
	Out1_23 = Constant1_23;
215
	Out1_24 = Constant1_24;
216
	Out1_25 = Constant1_25;
217
	Out1_26 = Constant1_26;
218
	Out1_27 = Constant1_27;
219
	Out1_28 = Constant1_28;
220
	Out1_29 = Constant1_29;
221
	Out1_30 = Constant1_30;
222
	Out1_31 = Constant1_31;
223
	Out1_32 = Constant1_32;
224
	Out1_33 = Constant1_33;
225
	Out1_34 = Constant1_34;
226
	Out1_35 = Constant1_35;
227
	Out1_36 = Constant1_36;
228
	Out1_37 = Constant1_37;
229
	Out1_38 = Constant1_38;
230
	Out1_39 = Constant1_39;
231
	Out1_40 = Constant1_40;
232
	Out1_41 = Constant1_41;
233
	Out1_42 = Constant1_42;
234
	Out1_43 = Constant1_43;
235
	Out1_44 = Constant1_44;
236
	Out1_45 = Constant1_45;
237
	Out1_46 = Constant1_46;
238
	Out1_47 = Constant1_47;
239
	Out1_48 = Constant1_48;
240
	Out2_1 = Constant2_1;
241
	Out2_2 = Constant2_2;
242
	Out2_3 = Constant2_3;
243
	Out3_1 = Constant3_1;
244
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
245
	__nb_step = (0 -> ((pre __nb_step) + 1));
246
tel