Project

General

Profile

Download (11.5 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:07:05
5
node  int_to_bool(x : int;)
6
returns(y : bool;);
7
let
8
	y = (x <> 0);
9
tel
10

    
11
node  real_to_bool(x : real;)
12
returns(y : bool;);
13
let
14
	y = (x <> 0.0);
15
tel
16

    
17
(*
18
Original block name: logic_test_PP
19
*)
20
node  logic_test_PP(In1_1 : bool;
21
	In4_1 : real;
22
	In5_1 : int;
23
	In6_1 : real;
24
	In6_2 : real;
25
	In7_1 : int;
26
	In7_2 : int;
27
	In7_3 : int;
28
	In7_4 : int;
29
	In7_5 : int;
30
	In7_6 : int;
31
	In8_1 : real;
32
	In8_2 : real;
33
	In9_1 : real;
34
	In9_2 : real;
35
	In10_1 : int;
36
	In10_2 : int;
37
	In10_3 : int;
38
	In10_4 : int;
39
	In10_5 : int;
40
	In10_6 : int;
41
	In11_1 : int;
42
	In11_2 : int;
43
	In11_3 : int;
44
	In11_4 : int;
45
	In11_5 : int;
46
	In11_6 : int;
47
	In12_1 : real;
48
	In12_2 : real;
49
	In13_1 : real;
50
	In13_2 : real;
51
	In14_1 : int;
52
	In14_2 : int;
53
	In14_3 : int;
54
	In14_4 : int;
55
	In14_5 : int;
56
	In14_6 : int;
57
	In15_1 : int;
58
	In15_2 : int;
59
	In15_3 : int;
60
	In15_4 : int;
61
	In15_5 : int;
62
	In15_6 : int;
63
	In16_1 : real;
64
	In16_2 : real;
65
	In17_1 : real;
66
	In17_2 : real;
67
	In18_1 : int;
68
	In18_2 : int;
69
	In18_3 : int;
70
	In18_4 : int;
71
	In18_5 : int;
72
	In18_6 : int;
73
	In19_1 : int;
74
	In19_2 : int;
75
	In19_3 : int;
76
	In19_4 : int;
77
	In19_5 : int;
78
	In19_6 : int;
79
	In20_1 : real;
80
	In20_2 : real;
81
	In21_1 : real;
82
	In21_2 : real;
83
	In22_1 : int;
84
	In22_2 : int;
85
	In22_3 : int;
86
	In22_4 : int;
87
	In22_5 : int;
88
	In22_6 : int;
89
	In23_1 : int;
90
	In23_2 : int;
91
	In23_3 : int;
92
	In23_4 : int;
93
	In23_5 : int;
94
	In23_6 : int;
95
	In24_1 : real;
96
	In24_2 : real;
97
	In25_1 : real;
98
	In25_2 : real;
99
	In26_1 : int;
100
	In26_2 : int;
101
	In26_3 : int;
102
	In26_4 : int;
103
	In26_5 : int;
104
	In26_6 : int;
105
	In27_1 : int;
106
	In27_2 : int;
107
	In27_3 : int;
108
	In27_4 : int;
109
	In27_5 : int;
110
	In27_6 : int;
111
	In2_1 : bool;
112
	In2_2 : bool;
113
	In3_1 : bool;
114
	In3_2 : bool;
115
	In3_3 : bool;
116
	In3_4 : bool;)
117
returns(Out1_1 : bool;
118
	Out7_1 : bool;
119
	Out8_1 : bool;
120
	Out9_1 : bool;
121
	Out9_2 : bool;
122
	Out10_1 : bool;
123
	Out10_2 : bool;
124
	Out10_3 : bool;
125
	Out10_4 : bool;
126
	Out10_5 : bool;
127
	Out10_6 : bool;
128
	Out11_1 : bool;
129
	Out11_2 : bool;
130
	Out12_1 : bool;
131
	Out12_2 : bool;
132
	Out12_3 : bool;
133
	Out12_4 : bool;
134
	Out12_5 : bool;
135
	Out12_6 : bool;
136
	Out13_1 : bool;
137
	Out13_2 : bool;
138
	Out14_1 : bool;
139
	Out14_2 : bool;
140
	Out14_3 : bool;
141
	Out14_4 : bool;
142
	Out14_5 : bool;
143
	Out14_6 : bool;
144
	Out15_1 : bool;
145
	Out15_2 : bool;
146
	Out16_1 : bool;
147
	Out16_2 : bool;
148
	Out16_3 : bool;
149
	Out16_4 : bool;
150
	Out16_5 : bool;
151
	Out16_6 : bool;
152
	Out17_1 : bool;
153
	Out17_2 : bool;
154
	Out18_1 : bool;
155
	Out18_2 : bool;
156
	Out18_3 : bool;
157
	Out18_4 : bool;
158
	Out18_5 : bool;
159
	Out18_6 : bool;
160
	Out19_1 : bool;
161
	Out19_2 : bool;
162
	Out20_1 : bool;
163
	Out20_2 : bool;
164
	Out20_3 : bool;
165
	Out20_4 : bool;
166
	Out20_5 : bool;
167
	Out20_6 : bool;
168
	Out2_1 : bool;
169
	Out2_2 : bool;
170
	Out3_1 : bool;
171
	Out3_2 : bool;
172
	Out4_1 : bool;
173
	Out4_2 : bool;
174
	Out4_3 : bool;
175
	Out4_4 : bool;
176
	Out5_1 : bool;
177
	Out5_2 : bool;
178
	Out6_1 : bool;
179
	Out6_2 : bool;
180
	Out6_3 : bool;
181
	Out6_4 : bool;
182
	Out21_1 : bool;
183
	Out21_2 : bool;
184
	Out21_3 : bool;
185
	Out21_4 : bool;);
186
var LogicalOperator_1 : bool;
187
	LogicalOperator1_1 : bool;
188
	LogicalOperator1_2 : bool;
189
	LogicalOperator10_1 : bool;
190
	LogicalOperator10_2 : bool;
191
	LogicalOperator11_1 : bool;
192
	LogicalOperator11_2 : bool;
193
	LogicalOperator11_3 : bool;
194
	LogicalOperator11_4 : bool;
195
	LogicalOperator11_5 : bool;
196
	LogicalOperator11_6 : bool;
197
	LogicalOperator12_1 : bool;
198
	LogicalOperator12_2 : bool;
199
	LogicalOperator13_1 : bool;
200
	LogicalOperator13_2 : bool;
201
	LogicalOperator13_3 : bool;
202
	LogicalOperator13_4 : bool;
203
	LogicalOperator13_5 : bool;
204
	LogicalOperator13_6 : bool;
205
	LogicalOperator14_1 : bool;
206
	LogicalOperator14_2 : bool;
207
	LogicalOperator15_1 : bool;
208
	LogicalOperator15_2 : bool;
209
	LogicalOperator15_3 : bool;
210
	LogicalOperator15_4 : bool;
211
	LogicalOperator15_5 : bool;
212
	LogicalOperator15_6 : bool;
213
	LogicalOperator16_1 : bool;
214
	LogicalOperator16_2 : bool;
215
	LogicalOperator17_1 : bool;
216
	LogicalOperator17_2 : bool;
217
	LogicalOperator17_3 : bool;
218
	LogicalOperator17_4 : bool;
219
	LogicalOperator17_5 : bool;
220
	LogicalOperator17_6 : bool;
221
	LogicalOperator18_1 : bool;
222
	LogicalOperator18_2 : bool;
223
	LogicalOperator19_1 : bool;
224
	LogicalOperator19_2 : bool;
225
	LogicalOperator19_3 : bool;
226
	LogicalOperator19_4 : bool;
227
	LogicalOperator19_5 : bool;
228
	LogicalOperator19_6 : bool;
229
	LogicalOperator2_1 : bool;
230
	LogicalOperator2_2 : bool;
231
	LogicalOperator20_1 : bool;
232
	LogicalOperator20_2 : bool;
233
	LogicalOperator20_3 : bool;
234
	LogicalOperator20_4 : bool;
235
	LogicalOperator3_1 : bool;
236
	LogicalOperator3_2 : bool;
237
	LogicalOperator3_3 : bool;
238
	LogicalOperator3_4 : bool;
239
	LogicalOperator4_1 : bool;
240
	LogicalOperator4_2 : bool;
241
	LogicalOperator5_1 : bool;
242
	LogicalOperator5_2 : bool;
243
	LogicalOperator5_3 : bool;
244
	LogicalOperator5_4 : bool;
245
	LogicalOperator6_1 : bool;
246
	LogicalOperator7_1 : bool;
247
	LogicalOperator8_1 : bool;
248
	LogicalOperator8_2 : bool;
249
	LogicalOperator9_1 : bool;
250
	LogicalOperator9_2 : bool;
251
	LogicalOperator9_3 : bool;
252
	LogicalOperator9_4 : bool;
253
	LogicalOperator9_5 : bool;
254
	LogicalOperator9_6 : bool;
255
	__time_step : real;
256
	__nb_step : int;
257
let
258
	LogicalOperator_1 = (not In1_1);
259
	LogicalOperator1_1 = ( In2_1 and In2_1 and In2_1 );
260
	LogicalOperator1_2 = ( In2_2 and In2_2 and In2_2 );
261
	LogicalOperator10_1 = ( real_to_bool(In8_1) and real_to_bool(In9_1) );
262
	LogicalOperator10_2 = ( real_to_bool(In8_2) and real_to_bool(In9_2) );
263
	LogicalOperator11_1 = ( int_to_bool(In10_1) and int_to_bool(In11_1) );
264
	LogicalOperator11_2 = ( int_to_bool(In10_2) and int_to_bool(In11_2) );
265
	LogicalOperator11_3 = ( int_to_bool(In10_3) and int_to_bool(In11_3) );
266
	LogicalOperator11_4 = ( int_to_bool(In10_4) and int_to_bool(In11_4) );
267
	LogicalOperator11_5 = ( int_to_bool(In10_5) and int_to_bool(In11_5) );
268
	LogicalOperator11_6 = ( int_to_bool(In10_6) and int_to_bool(In11_6) );
269
	LogicalOperator12_1 = ( real_to_bool(In12_1) or real_to_bool(In13_1) );
270
	LogicalOperator12_2 = ( real_to_bool(In12_2) or real_to_bool(In13_2) );
271
	LogicalOperator13_1 = ( int_to_bool(In14_1) or int_to_bool(In15_1) );
272
	LogicalOperator13_2 = ( int_to_bool(In14_2) or int_to_bool(In15_2) );
273
	LogicalOperator13_3 = ( int_to_bool(In14_3) or int_to_bool(In15_3) );
274
	LogicalOperator13_4 = ( int_to_bool(In14_4) or int_to_bool(In15_4) );
275
	LogicalOperator13_5 = ( int_to_bool(In14_5) or int_to_bool(In15_5) );
276
	LogicalOperator13_6 = ( int_to_bool(In14_6) or int_to_bool(In15_6) );
277
	LogicalOperator14_1 = (not ( real_to_bool(In16_1) and real_to_bool(In17_1) ));
278
	LogicalOperator14_2 = (not ( real_to_bool(In16_2) and real_to_bool(In17_2) ));
279
	LogicalOperator15_1 = (not ( int_to_bool(In18_1) and int_to_bool(In19_1) ));
280
	LogicalOperator15_2 = (not ( int_to_bool(In18_2) and int_to_bool(In19_2) ));
281
	LogicalOperator15_3 = (not ( int_to_bool(In18_3) and int_to_bool(In19_3) ));
282
	LogicalOperator15_4 = (not ( int_to_bool(In18_4) and int_to_bool(In19_4) ));
283
	LogicalOperator15_5 = (not ( int_to_bool(In18_5) and int_to_bool(In19_5) ));
284
	LogicalOperator15_6 = (not ( int_to_bool(In18_6) and int_to_bool(In19_6) ));
285
	LogicalOperator16_1 = (not ( real_to_bool(In20_1) or real_to_bool(In21_1) ));
286
	LogicalOperator16_2 = (not ( real_to_bool(In20_2) or real_to_bool(In21_2) ));
287
	LogicalOperator17_1 = (not ( int_to_bool(In22_1) or int_to_bool(In23_1) ));
288
	LogicalOperator17_2 = (not ( int_to_bool(In22_2) or int_to_bool(In23_2) ));
289
	LogicalOperator17_3 = (not ( int_to_bool(In22_3) or int_to_bool(In23_3) ));
290
	LogicalOperator17_4 = (not ( int_to_bool(In22_4) or int_to_bool(In23_4) ));
291
	LogicalOperator17_5 = (not ( int_to_bool(In22_5) or int_to_bool(In23_5) ));
292
	LogicalOperator17_6 = (not ( int_to_bool(In22_6) or int_to_bool(In23_6) ));
293
	LogicalOperator18_1 = ( real_to_bool(In24_1) xor real_to_bool(In25_1) );
294
	LogicalOperator18_2 = ( real_to_bool(In24_2) xor real_to_bool(In25_2) );
295
	LogicalOperator19_1 = ( int_to_bool(In26_1) xor int_to_bool(In27_1) );
296
	LogicalOperator19_2 = ( int_to_bool(In26_2) xor int_to_bool(In27_2) );
297
	LogicalOperator19_3 = ( int_to_bool(In26_3) xor int_to_bool(In27_3) );
298
	LogicalOperator19_4 = ( int_to_bool(In26_4) xor int_to_bool(In27_4) );
299
	LogicalOperator19_5 = ( int_to_bool(In26_5) xor int_to_bool(In27_5) );
300
	LogicalOperator19_6 = ( int_to_bool(In26_6) xor int_to_bool(In27_6) );
301
	LogicalOperator2_1 = ( In2_1 or In2_1 or In2_1 );
302
	LogicalOperator2_2 = ( In2_2 or In2_2 or In2_2 );
303
	LogicalOperator20_1 = (not ( In3_1 xor In3_1 xor In3_1 ));
304
	LogicalOperator20_2 = (not ( In3_2 xor In3_2 xor In3_2 ));
305
	LogicalOperator20_3 = (not ( In3_3 xor In3_3 xor In3_3 ));
306
	LogicalOperator20_4 = (not ( In3_4 xor In3_4 xor In3_4 ));
307
	LogicalOperator3_1 = ( In3_1 xor In3_1 xor In3_1 );
308
	LogicalOperator3_2 = ( In3_2 xor In3_2 xor In3_2 );
309
	LogicalOperator3_3 = ( In3_3 xor In3_3 xor In3_3 );
310
	LogicalOperator3_4 = ( In3_4 xor In3_4 xor In3_4 );
311
	LogicalOperator4_1 = (not ( In2_1 and In2_1 and In2_1 ));
312
	LogicalOperator4_2 = (not ( In2_2 and In2_2 and In2_2 ));
313
	LogicalOperator5_1 = (not ( In3_1 or In3_1 or In3_1 ));
314
	LogicalOperator5_2 = (not ( In3_2 or In3_2 or In3_2 ));
315
	LogicalOperator5_3 = (not ( In3_3 or In3_3 or In3_3 ));
316
	LogicalOperator5_4 = (not ( In3_4 or In3_4 or In3_4 ));
317
	LogicalOperator6_1 = (not real_to_bool(In4_1));
318
	LogicalOperator7_1 = (not int_to_bool(In5_1));
319
	LogicalOperator8_1 = (not real_to_bool(In6_1));
320
	LogicalOperator8_2 = (not real_to_bool(In6_2));
321
	LogicalOperator9_1 = (not int_to_bool(In7_1));
322
	LogicalOperator9_2 = (not int_to_bool(In7_2));
323
	LogicalOperator9_3 = (not int_to_bool(In7_3));
324
	LogicalOperator9_4 = (not int_to_bool(In7_4));
325
	LogicalOperator9_5 = (not int_to_bool(In7_5));
326
	LogicalOperator9_6 = (not int_to_bool(In7_6));
327
	Out1_1 = LogicalOperator_1;
328
	Out7_1 = LogicalOperator6_1;
329
	Out8_1 = LogicalOperator7_1;
330
	Out9_1 = LogicalOperator8_1;
331
	Out9_2 = LogicalOperator8_2;
332
	Out10_1 = LogicalOperator9_1;
333
	Out10_2 = LogicalOperator9_2;
334
	Out10_3 = LogicalOperator9_3;
335
	Out10_4 = LogicalOperator9_4;
336
	Out10_5 = LogicalOperator9_5;
337
	Out10_6 = LogicalOperator9_6;
338
	Out11_1 = LogicalOperator10_1;
339
	Out11_2 = LogicalOperator10_2;
340
	Out12_1 = LogicalOperator11_1;
341
	Out12_2 = LogicalOperator11_2;
342
	Out12_3 = LogicalOperator11_3;
343
	Out12_4 = LogicalOperator11_4;
344
	Out12_5 = LogicalOperator11_5;
345
	Out12_6 = LogicalOperator11_6;
346
	Out13_1 = LogicalOperator12_1;
347
	Out13_2 = LogicalOperator12_2;
348
	Out14_1 = LogicalOperator13_1;
349
	Out14_2 = LogicalOperator13_2;
350
	Out14_3 = LogicalOperator13_3;
351
	Out14_4 = LogicalOperator13_4;
352
	Out14_5 = LogicalOperator13_5;
353
	Out14_6 = LogicalOperator13_6;
354
	Out15_1 = LogicalOperator14_1;
355
	Out15_2 = LogicalOperator14_2;
356
	Out16_1 = LogicalOperator15_1;
357
	Out16_2 = LogicalOperator15_2;
358
	Out16_3 = LogicalOperator15_3;
359
	Out16_4 = LogicalOperator15_4;
360
	Out16_5 = LogicalOperator15_5;
361
	Out16_6 = LogicalOperator15_6;
362
	Out17_1 = LogicalOperator16_1;
363
	Out17_2 = LogicalOperator16_2;
364
	Out18_1 = LogicalOperator17_1;
365
	Out18_2 = LogicalOperator17_2;
366
	Out18_3 = LogicalOperator17_3;
367
	Out18_4 = LogicalOperator17_4;
368
	Out18_5 = LogicalOperator17_5;
369
	Out18_6 = LogicalOperator17_6;
370
	Out19_1 = LogicalOperator18_1;
371
	Out19_2 = LogicalOperator18_2;
372
	Out20_1 = LogicalOperator19_1;
373
	Out20_2 = LogicalOperator19_2;
374
	Out20_3 = LogicalOperator19_3;
375
	Out20_4 = LogicalOperator19_4;
376
	Out20_5 = LogicalOperator19_5;
377
	Out20_6 = LogicalOperator19_6;
378
	Out2_1 = LogicalOperator1_1;
379
	Out2_2 = LogicalOperator1_2;
380
	Out3_1 = LogicalOperator2_1;
381
	Out3_2 = LogicalOperator2_2;
382
	Out4_1 = LogicalOperator3_1;
383
	Out4_2 = LogicalOperator3_2;
384
	Out4_3 = LogicalOperator3_3;
385
	Out4_4 = LogicalOperator3_4;
386
	Out5_1 = LogicalOperator4_1;
387
	Out5_2 = LogicalOperator4_2;
388
	Out6_1 = LogicalOperator5_1;
389
	Out6_2 = LogicalOperator5_2;
390
	Out6_3 = LogicalOperator5_3;
391
	Out6_4 = LogicalOperator5_4;
392
	Out21_1 = LogicalOperator20_1;
393
	Out21_2 = LogicalOperator20_2;
394
	Out21_3 = LogicalOperator20_3;
395
	Out21_4 = LogicalOperator20_4;
396
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
397
	__nb_step = (0 -> ((pre __nb_step) + 1));
398
tel
399

    
(1084-1084/1153)