Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Arrays3_1 / Arrays3_1.lus @ eb639349

History | View | Annotate | Download (11.3 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5

    
6

    
7

    
8

    
9

    
10

    
11

    
12

    
13
-- Entry action for state :Arrays2_B
14
node Arrays2_B_en(idArrays2_Arrays2_1:int;
15
	x_2_1_1_1:int;
16
	x_2_1_2_1:int;
17
	x_2_2_1_1:int;
18
	x_2_2_2_1:int;
19
	s_1:int;
20
	isInner:bool)
21

    
22
returns (idArrays2_Arrays2:int;
23
	x_2_1_1:int;
24
	x_2_1_2:int;
25
	x_2_2_1:int;
26
	x_2_2_2:int;
27
	s:int);
28

    
29

    
30
var 	idArrays2_Arrays2_2:int;
31
	x_2_1_1_2:int;
32
	x_2_1_2_2:int;
33
	x_2_2_1_2:int;
34
	x_2_2_2_2:int;
35
	s_2:int;
36

    
37

    
38
let
39

    
40

    
41

    
42
	-- set state as active 
43
	idArrays2_Arrays2_2 
44
	= 552;
45
	
46

    
47
	x_2_1_1_2 
48
	= if (not isInner) then  x_2_1_1_1  + 1
49
	 else x_2_1_1_1;
50
	
51

    
52
	x_2_1_2_2 
53
	= if (not isInner) then  x_2_1_2_1 +2
54
	 else x_2_1_2_1;
55
	
56

    
57
	x_2_2_1_2 
58
	= if (not isInner) then  x_2_2_1_1 +3
59
	 else x_2_2_1_1;
60
	
61

    
62
	x_2_2_2_2 
63
	= if (not isInner) then  x_2_2_2_1 +4
64
	 else x_2_2_2_1;
65
	
66

    
67
	s_2 
68
	= if (not isInner) then 2
69
	 else s_1;
70
	
71

    
72
	(idArrays2_Arrays2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, s) 
73
	= (idArrays2_Arrays2_2, x_2_1_1_2, x_2_1_2_2, x_2_2_1_2, x_2_2_2_2, s_2);
74
	
75

    
76
tel
77

    
78

    
79

    
80

    
81

    
82
-- Exit action for state :Arrays2_B
83
node Arrays2_B_ex(idArrays2_Arrays2_1:int;
84
	isInner:bool)
85

    
86
returns (idArrays2_Arrays2:int);
87

    
88

    
89
var 	idArrays2_Arrays2_2:int;
90

    
91

    
92
let
93

    
94

    
95

    
96
	-- set state as inactive 
97
	idArrays2_Arrays2_2
98
	 = if (not isInner) then 0 else idArrays2_Arrays2_1;
99

    
100

    
101
	(idArrays2_Arrays2) 
102
	= (idArrays2_Arrays2_1);
103
	
104

    
105
tel
106

    
107

    
108

    
109

    
110

    
111

    
112
-- Entry action for state :Arrays2_A
113
node Arrays2_A_en(idArrays2_Arrays2_1:int;
114
	x_1_1_1_1:int;
115
	x_1_1_2_1:int;
116
	x_1_2_1_1:int;
117
	x_1_2_2_1:int;
118
	s_1:int;
119
	isInner:bool)
120

    
121
returns (idArrays2_Arrays2:int;
122
	x_1_1_1:int;
123
	x_1_1_2:int;
124
	x_1_2_1:int;
125
	x_1_2_2:int;
126
	s:int);
127

    
128

    
129
var 	idArrays2_Arrays2_2:int;
130
	x_1_1_1_2:int;
131
	x_1_1_2_2:int;
132
	x_1_2_1_2:int;
133
	x_1_2_2_2:int;
134
	s_2:int;
135

    
136

    
137
let
138

    
139

    
140

    
141
	-- set state as active 
142
	idArrays2_Arrays2_2 
143
	= 551;
144
	
145

    
146
	x_1_1_1_2 
147
	= if (not isInner) then  x_1_1_1_1  + 1
148
	 else x_1_1_1_1;
149
	
150

    
151
	x_1_1_2_2 
152
	= if (not isInner) then  x_1_1_2_1 +2
153
	 else x_1_1_2_1;
154
	
155

    
156
	x_1_2_1_2 
157
	= if (not isInner) then  x_1_2_1_1 +3
158
	 else x_1_2_1_1;
159
	
160

    
161
	x_1_2_2_2 
162
	= if (not isInner) then  x_1_2_2_1 +4
163
	 else x_1_2_2_1;
164
	
165

    
166
	s_2 
167
	= if (not isInner) then 1
168
	 else s_1;
169
	
170

    
171
	(idArrays2_Arrays2, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, s) 
172
	= (idArrays2_Arrays2_2, x_1_1_1_2, x_1_1_2_2, x_1_2_1_2, x_1_2_2_2, s_2);
173
	
174

    
175
tel
176

    
177

    
178

    
179

    
180

    
181
-- Exit action for state :Arrays2_A
182
node Arrays2_A_ex(idArrays2_Arrays2_1:int;
183
	isInner:bool)
184

    
185
returns (idArrays2_Arrays2:int);
186

    
187

    
188
var 	idArrays2_Arrays2_2:int;
189

    
190

    
191
let
192

    
193

    
194

    
195
	-- set state as inactive 
196
	idArrays2_Arrays2_2
197
	 = if (not isInner) then 0 else idArrays2_Arrays2_1;
198

    
199

    
200
	(idArrays2_Arrays2) 
201
	= (idArrays2_Arrays2_1);
202
	
203

    
204
tel
205

    
206

    
207

    
208

    
209

    
210

    
211
-- Entry action for state :Arrays2_C
212
node Arrays2_C_en(idArrays2_Arrays2_1:int;
213
	x_3_1_1_1:int;
214
	x_3_1_2_1:int;
215
	x_3_2_1_1:int;
216
	x_3_2_2_1:int;
217
	s_1:int;
218
	isInner:bool)
219

    
220
returns (idArrays2_Arrays2:int;
221
	x_3_1_1:int;
222
	x_3_1_2:int;
223
	x_3_2_1:int;
224
	x_3_2_2:int;
225
	s:int);
226

    
227

    
228
var 	idArrays2_Arrays2_2:int;
229
	x_3_1_1_2:int;
230
	x_3_1_2_2:int;
231
	x_3_2_1_2:int;
232
	x_3_2_2_2:int;
233
	s_2:int;
234

    
235

    
236
let
237

    
238

    
239

    
240
	-- set state as active 
241
	idArrays2_Arrays2_2 
242
	= 553;
243
	
244

    
245
	x_3_1_1_2 
246
	= if (not isInner) then  x_3_1_1_1  + 1
247
	 else x_3_1_1_1;
248
	
249

    
250
	x_3_1_2_2 
251
	= if (not isInner) then  x_3_1_2_1 +2
252
	 else x_3_1_2_1;
253
	
254

    
255
	x_3_2_1_2 
256
	= if (not isInner) then  x_3_2_1_1 +3
257
	 else x_3_2_1_1;
258
	
259

    
260
	x_3_2_2_2 
261
	= if (not isInner) then  x_3_2_2_1 +4
262
	 else x_3_2_2_1;
263
	
264

    
265
	s_2 
266
	= if (not isInner) then 3
267
	 else s_1;
268
	
269

    
270
	(idArrays2_Arrays2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2, s) 
271
	= (idArrays2_Arrays2_2, x_3_1_1_2, x_3_1_2_2, x_3_2_1_2, x_3_2_2_2, s_2);
272
	
273

    
274
tel
275

    
276

    
277

    
278

    
279

    
280
-- Exit action for state :Arrays2_C
281
node Arrays2_C_ex(idArrays2_Arrays2_1:int;
282
	isInner:bool)
283

    
284
returns (idArrays2_Arrays2:int);
285

    
286

    
287
var 	idArrays2_Arrays2_2:int;
288

    
289

    
290
let
291

    
292

    
293

    
294
	-- set state as inactive 
295
	idArrays2_Arrays2_2
296
	 = if (not isInner) then 0 else idArrays2_Arrays2_1;
297

    
298

    
299
	(idArrays2_Arrays2) 
300
	= (idArrays2_Arrays2_1);
301
	
302

    
303
tel
304

    
305

    
306
--***************************************************State :Arrays2_Arrays2 Automaton***************************************************
307

    
308
node Arrays2_Arrays2_node(idArrays2_Arrays2_1:int;
309
	s_1:int;
310
	x_1_1_1_1:int;
311
	x_1_1_2_1:int;
312
	x_1_2_1_1:int;
313
	x_1_2_2_1:int;
314
	E:bool;
315
	x_2_1_1_1:int;
316
	x_2_1_2_1:int;
317
	x_2_2_1_1:int;
318
	x_2_2_2_1:int;
319
	x_3_1_1_1:int;
320
	x_3_1_2_1:int;
321
	x_3_2_1_1:int;
322
	x_3_2_2_1:int)
323

    
324
returns (idArrays2_Arrays2:int;
325
	s:int;
326
	x_1_1_1:int;
327
	x_1_1_2:int;
328
	x_1_2_1:int;
329
	x_1_2_2:int;
330
	x_2_1_1:int;
331
	x_2_1_2:int;
332
	x_2_2_1:int;
333
	x_2_2_2:int;
334
	x_3_1_1:int;
335
	x_3_1_2:int;
336
	x_3_2_1:int;
337
	x_3_2_2:int);
338

    
339

    
340
let
341

    
342
	 automaton arrays2_arrays2
343

    
344
	state POINTArrays2_Arrays2:
345
	unless (idArrays2_Arrays2_1=0) restart POINT__TO__ARRAYS2_A_1
346

    
347

    
348

    
349
	unless (idArrays2_Arrays2_1=551) and E restart ARRAYS2_A__TO__ARRAYS2_B_1
350

    
351

    
352

    
353
	unless (idArrays2_Arrays2_1=552) and E restart ARRAYS2_B__TO__ARRAYS2_C_1
354

    
355

    
356

    
357
	unless (idArrays2_Arrays2_1=553) and E restart ARRAYS2_C__TO__ARRAYS2_A_1
358

    
359

    
360

    
361
	unless (idArrays2_Arrays2_1=551) restart ARRAYS2_A_IDL
362

    
363
	unless (idArrays2_Arrays2_1=552) restart ARRAYS2_B_IDL
364

    
365
	unless (idArrays2_Arrays2_1=553) restart ARRAYS2_C_IDL
366

    
367
	let
368

    
369
		(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
370
	= (idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
371
	
372

    
373
	tel
374

    
375

    
376

    
377
	state POINT__TO__ARRAYS2_A_1:
378

    
379
	 var 	idArrays2_Arrays2_2:int;
380
	s_2:int;
381
	x_1_1_1_2:int;
382
	x_1_1_2_2:int;
383
	x_1_2_1_2:int;
384
	x_1_2_2_2:int;
385
	let
386

    
387
		-- transition trace :
388
	--POINT__To__Arrays2_A_1
389
		(idArrays2_Arrays2_2, x_1_1_1_2, x_1_1_2_2, x_1_2_1_2, x_1_2_2_2, s_2) 
390
	= Arrays2_A_en(idArrays2_Arrays2_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, s_1, false);
391
		
392

    
393
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2) 
394
	=  (idArrays2_Arrays2_2, s_2, x_1_1_1_2, x_1_1_2_2, x_1_2_1_2, x_1_2_2_2);
395

    
396
	--add unused variables
397
	(x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
398
	= (x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
399
	
400

    
401
	tel
402

    
403
	until true restart POINTArrays2_Arrays2
404

    
405

    
406

    
407
	state ARRAYS2_A__TO__ARRAYS2_B_1:
408

    
409
	 var 	idArrays2_Arrays2_2, idArrays2_Arrays2_3:int;
410
	s_2:int;
411
	x_2_1_1_2:int;
412
	x_2_1_2_2:int;
413
	x_2_2_1_2:int;
414
	x_2_2_2_2:int;
415
	let
416

    
417
		-- transition trace :
418
	--Arrays2_A__To__Arrays2_B_1
419
		(idArrays2_Arrays2_2) 
420
	= Arrays2_A_ex(idArrays2_Arrays2_1, false);
421
		
422

    
423
		(idArrays2_Arrays2_3, x_2_1_1_2, x_2_1_2_2, x_2_2_1_2, x_2_2_2_2, s_2) 
424
	= Arrays2_B_en(idArrays2_Arrays2_2, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, s_1, false);
425
		
426

    
427
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2) 
428
	=  (idArrays2_Arrays2_3, s_2, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_2, x_2_1_2_2, x_2_2_1_2, x_2_2_2_2);
429

    
430
	--add unused variables
431
	(x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
432
	= (x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
433
	
434

    
435
	tel
436

    
437
	until true restart POINTArrays2_Arrays2
438

    
439

    
440

    
441
	state ARRAYS2_B__TO__ARRAYS2_C_1:
442

    
443
	 var 	idArrays2_Arrays2_2, idArrays2_Arrays2_3:int;
444
	s_2:int;
445
	x_3_1_1_2:int;
446
	x_3_1_2_2:int;
447
	x_3_2_1_2:int;
448
	x_3_2_2_2:int;
449
	let
450

    
451
		-- transition trace :
452
	--Arrays2_B__To__Arrays2_C_1
453
		(idArrays2_Arrays2_2) 
454
	= Arrays2_B_ex(idArrays2_Arrays2_1, false);
455
		
456

    
457
		(idArrays2_Arrays2_3, x_3_1_1_2, x_3_1_2_2, x_3_2_1_2, x_3_2_2_2, s_2) 
458
	= Arrays2_C_en(idArrays2_Arrays2_2, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1, s_1, false);
459
		
460

    
461
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
462
	=  (idArrays2_Arrays2_3, s_2, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_2, x_3_1_2_2, x_3_2_1_2, x_3_2_2_2);
463

    
464

    
465
	tel
466

    
467
	until true restart POINTArrays2_Arrays2
468

    
469

    
470

    
471
	state ARRAYS2_C__TO__ARRAYS2_A_1:
472

    
473
	 var 	idArrays2_Arrays2_2, idArrays2_Arrays2_3:int;
474
	s_2:int;
475
	x_1_1_1_2:int;
476
	x_1_1_2_2:int;
477
	x_1_2_1_2:int;
478
	x_1_2_2_2:int;
479
	let
480

    
481
		-- transition trace :
482
	--Arrays2_C__To__Arrays2_A_1
483
		(idArrays2_Arrays2_2) 
484
	= Arrays2_C_ex(idArrays2_Arrays2_1, false);
485
		
486

    
487
		(idArrays2_Arrays2_3, x_1_1_1_2, x_1_1_2_2, x_1_2_1_2, x_1_2_2_2, s_2) 
488
	= Arrays2_A_en(idArrays2_Arrays2_2, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, s_1, false);
489
		
490

    
491
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
492
	=  (idArrays2_Arrays2_3, s_2, x_1_1_1_2, x_1_1_2_2, x_1_2_1_2, x_1_2_2_2, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
493

    
494

    
495
	tel
496

    
497
	until true restart POINTArrays2_Arrays2
498

    
499

    
500

    
501
	state ARRAYS2_A_IDL:
502

    
503
	 	let
504

    
505
		
506

    
507
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
508
	= (idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
509
	
510

    
511
	tel
512

    
513
	until true restart POINTArrays2_Arrays2
514

    
515

    
516

    
517
	state ARRAYS2_B_IDL:
518

    
519
	 	let
520

    
521
		
522

    
523
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
524
	= (idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
525
	
526

    
527
	tel
528

    
529
	until true restart POINTArrays2_Arrays2
530

    
531

    
532

    
533
	state ARRAYS2_C_IDL:
534

    
535
	 	let
536

    
537
		
538

    
539
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2) 
540
	= (idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
541
	
542

    
543
	tel
544

    
545
	until true restart POINTArrays2_Arrays2
546

    
547

    
548

    
549
tel
550

    
551

    
552
--***************************************************State :Arrays2_Arrays2 Automaton***************************************************
553

    
554
node Arrays3_1_Arrays2(E:bool)
555

    
556
returns (s:int);
557

    
558

    
559
var s_1: int;
560

    
561
	x_1_1_1, x_1_1_1_1: int;
562

    
563
	x_1_1_2, x_1_1_2_1: int;
564

    
565
	x_1_2_1, x_1_2_1_1: int;
566

    
567
	x_1_2_2, x_1_2_2_1: int;
568

    
569
	x_2_1_1, x_2_1_1_1: int;
570

    
571
	x_2_1_2, x_2_1_2_1: int;
572

    
573
	x_2_2_1, x_2_2_1_1: int;
574

    
575
	x_2_2_2, x_2_2_2_1: int;
576

    
577
	x_3_1_1, x_3_1_1_1: int;
578

    
579
	x_3_1_2, x_3_1_2_1: int;
580

    
581
	x_3_2_1, x_3_2_1_1: int;
582

    
583
	x_3_2_2, x_3_2_2_1: int;
584

    
585
	idArrays2_Arrays2, idArrays2_Arrays2_1: int;
586

    
587
	let
588

    
589
	s_1 = 0 -> pre s;
590

    
591
	x_1_1_1_1 = 0 -> pre x_1_1_1;
592

    
593
	x_1_1_2_1 = 0 -> pre x_1_1_2;
594

    
595
	x_1_2_1_1 = 0 -> pre x_1_2_1;
596

    
597
	x_1_2_2_1 = 0 -> pre x_1_2_2;
598

    
599
	x_2_1_1_1 = 0 -> pre x_2_1_1;
600

    
601
	x_2_1_2_1 = 0 -> pre x_2_1_2;
602

    
603
	x_2_2_1_1 = 0 -> pre x_2_2_1;
604

    
605
	x_2_2_2_1 = 0 -> pre x_2_2_2;
606

    
607
	x_3_1_1_1 = 0 -> pre x_3_1_1;
608

    
609
	x_3_1_2_1 = 0 -> pre x_3_1_2;
610

    
611
	x_3_2_1_1 = 0 -> pre x_3_2_1;
612

    
613
	x_3_2_2_1 = 0 -> pre x_3_2_2;
614

    
615
	idArrays2_Arrays2_1 = 0 -> pre idArrays2_Arrays2;
616

    
617
	
618

    
619

    
620

    
621
	(idArrays2_Arrays2, s, x_1_1_1, x_1_1_2, x_1_2_1, x_1_2_2, x_2_1_1, x_2_1_2, x_2_2_1, x_2_2_2, x_3_1_1, x_3_1_2, x_3_2_1, x_3_2_2)
622
	 = 
623

    
624
	 if E then Arrays2_Arrays2_node(idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, E, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1)
625

    
626
	 else (idArrays2_Arrays2_1, s_1, x_1_1_1_1, x_1_1_2_1, x_1_2_1_1, x_1_2_2_1, x_2_1_1_1, x_2_1_2_1, x_2_2_1_1, x_2_2_2_1, x_3_1_1_1, x_3_1_2_1, x_3_2_1_1, x_3_2_2_1);
627

    
628
	
629

    
630

    
631
--unused outputs
632
	
633

    
634
tel
635

    
636

    
637

    
638
node Arrays3_1 (E_1_1 : real)
639
returns (s_1_1 : int); 
640
var
641
	Arrays2_1_1 : int;
642
	i_virtual_local : real;
643
	Arrays2E_1_1_event: bool;
644
let 
645
	Arrays2E_1_1_event = false -> (pre(E_1_1) <= 0.0 and E_1_1 > 0.0);
646
	Arrays2_1_1 =  Arrays3_1_Arrays2(Arrays2E_1_1_event);
647
	s_1_1 = Arrays2_1_1;
648
	i_virtual_local= 0.0 -> 1.0;
649
tel
650