Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Inner2 / Inner2.lus @ eb639349

History | View | Annotate | Download (12.1 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5

    
6

    
7

    
8

    
9
node A_A1__To__Inner2_A_1_Condition_Action(z_1:int)
10

    
11
returns (z:int);
12

    
13

    
14
var 	z_2:int;
15

    
16

    
17
let
18

    
19

    
20

    
21
	z_2 
22
	=  z_1  + 1;
23
	
24

    
25
	(z) 
26
	= (z_2);
27
	
28

    
29
tel
30

    
31

    
32

    
33

    
34

    
35

    
36
node POINT__To__A_A2_1_Condition_Action(v_1:int)
37

    
38
returns (v:int);
39

    
40

    
41
var 	v_2:int;
42

    
43

    
44
let
45

    
46

    
47

    
48
	v_2 
49
	=  v_1 +1000000;
50
	
51

    
52
	(v) 
53
	= (v_2);
54
	
55

    
56
tel
57

    
58

    
59

    
60

    
61

    
62

    
63
node Inner2_A__To__Inner2_A_1_Condition_Action(w_1:int)
64

    
65
returns (w:int);
66

    
67

    
68
var 	w_2:int;
69

    
70

    
71
let
72

    
73

    
74

    
75
	w_2 
76
	=  w_1  + 1;
77
	
78

    
79
	(w) 
80
	= (w_2);
81
	
82

    
83
tel
84

    
85

    
86

    
87

    
88

    
89

    
90
node Inner2_A__To__A_A1_2_Condition_Action(x_1:int)
91

    
92
returns (x:int);
93

    
94

    
95
var 	x_2:int;
96

    
97

    
98
let
99

    
100

    
101

    
102
	x_2 
103
	=  x_1 +1000000;
104
	
105

    
106
	(x) 
107
	= (x_2);
108
	
109

    
110
tel
111

    
112

    
113

    
114

    
115

    
116

    
117

    
118
-- Entry action for state :A_A2
119
node A_A2_en(idInner2_A_1:int;
120
	v_1:int;
121
	isInner:bool)
122

    
123
returns (idInner2_A:int;
124
	v:int);
125

    
126

    
127
var 	idInner2_A_2:int;
128
	v_2:int;
129

    
130

    
131
let
132

    
133

    
134

    
135
	-- set state as active 
136
	idInner2_A_2 
137
	= 43;
138
	
139

    
140
	v_2 
141
	= if (not isInner) then  v_1 +10000
142
	 else v_1;
143
	
144

    
145
	(idInner2_A, v) 
146
	= (idInner2_A_2, v_2);
147
	
148

    
149
tel
150

    
151

    
152

    
153

    
154

    
155
-- Exit action for state :A_A2
156
node A_A2_ex(v_1:int;
157
	idInner2_A_1:int;
158
	isInner:bool)
159

    
160
returns (v:int;
161
	idInner2_A:int);
162

    
163

    
164
var 	v_2:int;
165
	idInner2_A_2:int;
166

    
167

    
168
let
169

    
170

    
171

    
172
	v_2 
173
	= if (not isInner) then  v_1 +100
174
	 else v_1;
175
	
176

    
177
	-- set state as inactive 
178
	idInner2_A_2
179
	 = if (not isInner) then 0 else idInner2_A_1;
180

    
181

    
182
	(v, idInner2_A) 
183
	= (v_2, idInner2_A_1);
184
	
185

    
186
tel
187

    
188

    
189

    
190

    
191

    
192
--During action for state :A_A2
193
node A_A2_du(v_1:int)
194

    
195
returns (v:int);
196

    
197

    
198
var 	v_2:int;
199

    
200

    
201
let
202

    
203

    
204

    
205
	v_2 
206
	=  v_1 +1;
207
	
208

    
209
	(v) 
210
	= (v_2);
211
	
212

    
213
tel
214

    
215

    
216

    
217

    
218

    
219

    
220
-- Entry action for state :A_A1
221
node A_A1_en(idInner2_A_1:int;
222
	x_1:int;
223
	isInner:bool)
224

    
225
returns (idInner2_A:int;
226
	x:int);
227

    
228

    
229
var 	idInner2_A_2:int;
230
	x_2:int;
231

    
232

    
233
let
234

    
235

    
236

    
237
	-- set state as active 
238
	idInner2_A_2 
239
	= 42;
240
	
241

    
242
	x_2 
243
	= if (not isInner) then  x_1 +10000
244
	 else x_1;
245
	
246

    
247
	(idInner2_A, x) 
248
	= (idInner2_A_2, x_2);
249
	
250

    
251
tel
252

    
253

    
254

    
255

    
256

    
257
-- Exit action for state :A_A1
258
node A_A1_ex(x_1:int;
259
	idInner2_A_1:int;
260
	isInner:bool)
261

    
262
returns (x:int;
263
	idInner2_A:int);
264

    
265

    
266
var 	x_2:int;
267
	idInner2_A_2:int;
268

    
269

    
270
let
271

    
272

    
273

    
274
	x_2 
275
	= if (not isInner) then  x_1 +100
276
	 else x_1;
277
	
278

    
279
	-- set state as inactive 
280
	idInner2_A_2
281
	 = if (not isInner) then 0 else idInner2_A_1;
282

    
283

    
284
	(x, idInner2_A) 
285
	= (x_2, idInner2_A_1);
286
	
287

    
288
tel
289

    
290

    
291

    
292

    
293

    
294
--During action for state :A_A1
295
node A_A1_du(x_1:int)
296

    
297
returns (x:int);
298

    
299

    
300
var 	x_2:int;
301

    
302

    
303
let
304

    
305

    
306

    
307
	x_2 
308
	=  x_1 +1;
309
	
310

    
311
	(x) 
312
	= (x_2);
313
	
314

    
315
tel
316

    
317

    
318

    
319

    
320

    
321

    
322
-- Entry action for state :Inner2_A
323
node Inner2_A_en(idInner2_A_1:int;
324
	idInner2_Inner2_1:int;
325
	u_1:int;
326
	v_1:int;
327
	x_1:int;
328
	isInner:bool)
329

    
330
returns (idInner2_A:int;
331
	idInner2_Inner2:int;
332
	u:int;
333
	v:int;
334
	x:int);
335

    
336

    
337
var 	idInner2_A_2, idInner2_A_3, idInner2_A_4, idInner2_A_5, idInner2_A_6:int;
338
	idInner2_Inner2_2, idInner2_Inner2_3, idInner2_Inner2_4:int;
339
	u_2, u_3, u_4:int;
340
	v_2, v_3, v_4, v_5, v_6:int;
341
	x_2, x_3:int;
342

    
343

    
344
let
345

    
346

    
347

    
348
	-- set state as active 
349
	idInner2_Inner2_2 
350
	= 41;
351
	
352

    
353
	u_2 
354
	= if (not isInner) then  u_1 +10000
355
	 else u_1;
356
	
357

    
358
	
359
-- transition trace :
360
	--POINT__To__A_A2_1
361
		-- condition Action : v+=1000000;
362
		
363
		(v_2) 
364
	= POINT__To__A_A2_1_Condition_Action(v_1);
365
		
366

    
367
		(idInner2_A_2, v_3) 
368
	= A_A2_en(idInner2_A_1, v_2, false);
369
		
370

    
371
	(idInner2_A_3, idInner2_Inner2_3, u_3, v_4) 
372
	= 
373

    
374
	if ( idInner2_A_1 = 0) then
375

    
376
	 (idInner2_A_2, idInner2_Inner2_2, u_2, v_3)
377

    
378
	 else(idInner2_A_1, idInner2_Inner2_2, u_2, v_1);
379

    
380
	
381

    
382
	(idInner2_A_4, x_2) 
383
	= 
384
	if ( idInner2_A_1 = 42) then
385
	A_A1_en(idInner2_A_1, x_1, false)
386
	 else (idInner2_A_1, x_1);
387

    
388
	
389

    
390
	(idInner2_A_5, v_5) 
391
	= 
392
	if ( idInner2_A_1 = 43) then
393
	A_A2_en(idInner2_A_1, v_1, false)
394
	 else (idInner2_A_1, v_1);
395

    
396
	
397

    
398
	(idInner2_A_6, idInner2_Inner2_4, u_4, v_6, x_3) 
399
	= 
400
		 if ( idInner2_A_1 = 0) then 
401
		(idInner2_A_3, idInner2_Inner2_3, u_3, v_4, x_1)
402
		 else
403
		 if ( idInner2_A_1 = 42) then 
404
		(idInner2_A_4, idInner2_Inner2_3, u_3, v_1, x_2)
405
		 else
406
		 if ( idInner2_A_1 = 43) then 
407
		(idInner2_A_5, idInner2_Inner2_3, u_3, v_5, x_1)
408
		 else (idInner2_A_1, idInner2_Inner2_2, u_2, v_1, x_1);
409

    
410

    
411
	(idInner2_A, idInner2_Inner2, u, v, x) 
412
	= (idInner2_A_6, idInner2_Inner2_4, u_4, v_6, x_3);
413
	
414

    
415
tel
416

    
417

    
418

    
419

    
420

    
421
-- Exit action for state :Inner2_A
422
node Inner2_A_ex(x_1:int;
423
	idInner2_A_1:int;
424
	v_1:int;
425
	u_1:int;
426
	idInner2_Inner2_1:int;
427
	isInner:bool)
428

    
429
returns (x:int;
430
	idInner2_A:int;
431
	v:int;
432
	u:int;
433
	idInner2_Inner2:int);
434

    
435

    
436
var 	x_2, x_3:int;
437
	idInner2_A_2, idInner2_A_3, idInner2_A_4, idInner2_A_5:int;
438
	v_2, v_3:int;
439
	u_2:int;
440
	idInner2_Inner2_2:int;
441

    
442

    
443
let
444

    
445

    
446

    
447
	
448
	(x_2, idInner2_A_2) 
449
	= 
450
	if ( idInner2_A_1 = 42) then
451
	A_A1_ex(x_1, idInner2_A_1, false)
452
	 else (x_1, idInner2_A_1);
453

    
454
	
455

    
456
	(v_2, idInner2_A_3) 
457
	= 
458
	if ( idInner2_A_1 = 43) then
459
	A_A2_ex(v_1, idInner2_A_1, false)
460
	 else (v_1, idInner2_A_1);
461

    
462
	
463

    
464
	(x_3, idInner2_A_4, v_3) 
465
	= 
466
		 if ( idInner2_A_1 = 42) then 
467
		(x_2, idInner2_A_2, v_1)
468
		 else
469
		 if ( idInner2_A_1 = 43) then 
470
		(x_1, idInner2_A_3, v_2)
471
		 else (x_1, idInner2_A_1, v_1);
472

    
473

    
474
	u_2 
475
	= if (not isInner) then  u_1 +100
476
	 else u_1;
477
	
478

    
479
	-- set state as inactive 
480
	idInner2_Inner2_2
481
	 = if (not isInner) then 0 else idInner2_Inner2_1;
482

    
483
	idInner2_A_5 
484
	= 0;
485
	
486

    
487
	(x, idInner2_A, v, u, idInner2_Inner2) 
488
	= (x_3, idInner2_A_5, v_3, u_2, idInner2_Inner2_1);
489
	
490

    
491
tel
492

    
493

    
494

    
495

    
496

    
497
--During action for state :Inner2_A
498
node Inner2_A_du(u_1:int)
499

    
500
returns (u:int);
501

    
502

    
503
var 	u_2:int;
504

    
505

    
506
let
507

    
508

    
509

    
510
	u_2 
511
	=  u_1 +1;
512
	
513

    
514
	(u) 
515
	= (u_2);
516
	
517

    
518
tel
519

    
520

    
521
--***************************************************State :Inner2_A Automaton***************************************************
522

    
523
node Inner2_A_node(idInner2_A_1:int;
524
	v_1:int;
525
	E:bool;
526
	u_1:int;
527
	w_1:int;
528
	idInner2_Inner2_1:int;
529
	x_1:int;
530
	z_1:int)
531

    
532
returns (idInner2_A:int;
533
	v:int;
534
	w:int;
535
	idInner2_Inner2:int;
536
	u:int;
537
	x:int;
538
	z:int);
539

    
540

    
541
let
542

    
543
	 automaton inner2_a
544

    
545
	state POINTInner2_A:
546
	unless (idInner2_A_1=0) restart POINT__TO__A_A2_1
547

    
548

    
549

    
550
	unless true and E and (  u_1  mod 3=0 ) restart INNER2_A__TO__INNER2_A_1
551

    
552

    
553

    
554
	unless true and E and (  u_1  mod 3=1 ) restart INNER2_A__TO__A_A1_2
555

    
556

    
557

    
558
	unless (idInner2_A_1=42) and E and (  u_1  mod 3=2 ) restart A_A1__TO__INNER2_A_1
559

    
560

    
561

    
562
	unless (idInner2_A_1=42) restart A_A1_IDL
563

    
564
	unless (idInner2_A_1=43) restart A_A2_IDL
565

    
566
	let
567

    
568
		(idInner2_A, v, w, idInner2_Inner2, u, x, z) 
569
	= (idInner2_A_1, v_1, w_1, idInner2_Inner2_1, u_1, x_1, z_1);
570
	
571

    
572
	tel
573

    
574

    
575

    
576
	state POINT__TO__A_A2_1:
577

    
578
	 var 	idInner2_A_2:int;
579
	v_2, v_3:int;
580
	let
581

    
582
		-- transition trace :
583
	--POINT__To__A_A2_1
584
		-- condition Action : v+=1000000;
585
		
586
		(v_2) 
587
	= POINT__To__A_A2_1_Condition_Action(v_1);
588
		
589

    
590
		(idInner2_A_2, v_3) 
591
	= A_A2_en(idInner2_A_1, v_2, false);
592
		
593

    
594
	(idInner2_A, v) 
595
	=  (idInner2_A_2, v_3);
596

    
597
	--add unused variables
598
	(idInner2_Inner2, u, w, x, z) 
599
	= (idInner2_Inner2_1, u_1, w_1, x_1, z_1);
600
	
601

    
602
	tel
603

    
604
	until true restart POINTInner2_A
605

    
606

    
607

    
608
	state INNER2_A__TO__INNER2_A_1:
609

    
610
	 var 	idInner2_A_2, idInner2_A_3, idInner2_A_4:int;
611
	v_2, v_3:int;
612
	w_2:int;
613
	idInner2_Inner2_2, idInner2_Inner2_3:int;
614
	u_2, u_3:int;
615
	x_2, x_3:int;
616
	let
617

    
618
		-- transition trace :
619
	--Inner2_A__To__Inner2_A_1
620
		-- condition Action : w++;
621
		
622
		(w_2) 
623
	= Inner2_A__To__Inner2_A_1_Condition_Action(w_1);
624
		
625

    
626
		(x_2, idInner2_A_2, v_2, u_2, idInner2_Inner2_2) 
627
	= Inner2_A_ex(x_1, idInner2_A_1, v_1, u_1, idInner2_Inner2_1, true);
628
		
629

    
630
		idInner2_A_3 
631
	= 0;
632
	
633
		(idInner2_A_4, idInner2_Inner2_3, u_3, v_3, x_3) 
634
	= Inner2_A_en(idInner2_A_3, idInner2_Inner2_2, u_2, v_2, x_2, true);
635
		
636

    
637
	(idInner2_A, v, w, idInner2_Inner2, u, x) 
638
	=  (idInner2_A_4, v_3, w_2, idInner2_Inner2_3, u_3, x_3);
639

    
640
	--add unused variables
641
	(z) 
642
	= (z_1);
643
	
644

    
645
	tel
646

    
647
	until true restart POINTInner2_A
648

    
649

    
650

    
651
	state INNER2_A__TO__A_A1_2:
652

    
653
	 var 	idInner2_A_2, idInner2_A_3:int;
654
	v_2:int;
655
	idInner2_Inner2_2:int;
656
	u_2:int;
657
	x_2, x_3, x_4:int;
658
	let
659

    
660
		-- transition trace :
661
	--Inner2_A__To__A_A1_2
662
		-- condition Action : x+=1000000;
663
		
664
		(x_2) 
665
	= Inner2_A__To__A_A1_2_Condition_Action(x_1);
666
		
667

    
668
		(x_3, idInner2_A_2, v_2, u_2, idInner2_Inner2_2) 
669
	= Inner2_A_ex(x_2, idInner2_A_1, v_1, u_1, idInner2_Inner2_1, true);
670
		
671

    
672
		(idInner2_A_3, x_4) 
673
	= A_A1_en(idInner2_A_2, x_3, false);
674
		
675

    
676
	(idInner2_A, v, w, idInner2_Inner2, u, x) 
677
	=  (idInner2_A_3, v_2, w_1, idInner2_Inner2_2, u_2, x_4);
678

    
679
	--add unused variables
680
	(z) 
681
	= (z_1);
682
	
683

    
684
	tel
685

    
686
	until true restart POINTInner2_A
687

    
688

    
689

    
690
	state A_A1__TO__INNER2_A_1:
691

    
692
	 var 	idInner2_A_2, idInner2_A_3, idInner2_A_4:int;
693
	v_2:int;
694
	idInner2_Inner2_2:int;
695
	u_2:int;
696
	x_2, x_3:int;
697
	z_2:int;
698
	let
699

    
700
		-- transition trace :
701
	--A_A1__To__Inner2_A_1
702
		-- condition Action : z++;
703
		
704
		(z_2) 
705
	= A_A1__To__Inner2_A_1_Condition_Action(z_1);
706
		
707

    
708
		(x_2, idInner2_A_2) 
709
	= A_A1_ex(x_1, idInner2_A_1, false);
710
		
711

    
712
		idInner2_A_3 
713
	= 0;
714
	
715
		(idInner2_A_4, idInner2_Inner2_2, u_2, v_2, x_3) 
716
	= Inner2_A_en(idInner2_A_3, idInner2_Inner2_1, u_1, v_1, x_2, true);
717
		
718

    
719
	(idInner2_A, v, w, idInner2_Inner2, u, x, z) 
720
	=  (idInner2_A_4, v_2, w_1, idInner2_Inner2_2, u_2, x_3, z_2);
721

    
722

    
723
	tel
724

    
725
	until true restart POINTInner2_A
726

    
727

    
728

    
729
	state A_A1_IDL:
730

    
731
	 var 	x_2:int;
732
	let
733

    
734
		
735
	(x_2) 
736
	= A_A1_du(x_1);
737

    
738
		
739

    
740

    
741
	(idInner2_A, v, w, idInner2_Inner2, u, x, z) 
742
	= (idInner2_A_1, v_1, w_1, idInner2_Inner2_1, u_1, x_2, z_1);
743
	
744

    
745
	tel
746

    
747
	until true restart POINTInner2_A
748

    
749

    
750

    
751
	state A_A2_IDL:
752

    
753
	 var 	v_2:int;
754
	let
755

    
756
		
757
	(v_2) 
758
	= A_A2_du(v_1);
759

    
760
		
761

    
762

    
763
	(idInner2_A, v, w, idInner2_Inner2, u, x, z) 
764
	= (idInner2_A_1, v_2, w_1, idInner2_Inner2_1, u_1, x_1, z_1);
765
	
766

    
767
	tel
768

    
769
	until true restart POINTInner2_A
770

    
771

    
772

    
773
tel
774

    
775

    
776
--***************************************************State :Inner2_Inner2 Automaton***************************************************
777

    
778
node Inner2_Inner2_node(idInner2_Inner2_1:int;
779
	idInner2_A_1:int;
780
	u_1:int;
781
	v_1:int;
782
	x_1:int;
783
	E:bool;
784
	w_1:int;
785
	z_1:int)
786

    
787
returns (idInner2_Inner2:int;
788
	idInner2_A:int;
789
	u:int;
790
	v:int;
791
	x:int;
792
	w:int;
793
	z:int);
794

    
795

    
796
let
797

    
798
	 automaton inner2_inner2
799

    
800
	state POINTInner2_Inner2:
801
	unless (idInner2_Inner2_1=0) restart POINT__TO__INNER2_A_1
802

    
803

    
804

    
805
	unless (idInner2_Inner2_1=41) restart INNER2_A_IDL
806

    
807
	let
808

    
809
		(idInner2_Inner2, idInner2_A, u, v, x, w, z) 
810
	= (idInner2_Inner2_1, idInner2_A_1, u_1, v_1, x_1, w_1, z_1);
811
	
812

    
813
	tel
814

    
815

    
816

    
817
	state POINT__TO__INNER2_A_1:
818

    
819
	 var 	idInner2_Inner2_2:int;
820
	idInner2_A_2:int;
821
	u_2:int;
822
	v_2:int;
823
	x_2:int;
824
	let
825

    
826
		-- transition trace :
827
	--POINT__To__Inner2_A_1
828
		(idInner2_A_2, idInner2_Inner2_2, u_2, v_2, x_2) 
829
	= Inner2_A_en(idInner2_A_1, idInner2_Inner2_1, u_1, v_1, x_1, false);
830
		
831

    
832
	(idInner2_Inner2, idInner2_A, u, v, x) 
833
	=  (idInner2_Inner2_2, idInner2_A_2, u_2, v_2, x_2);
834

    
835
	--add unused variables
836
	(w, z) 
837
	= (w_1, z_1);
838
	
839

    
840
	tel
841

    
842
	until true restart POINTInner2_Inner2
843

    
844

    
845

    
846
	state INNER2_A_IDL:
847

    
848
	 var 	idInner2_Inner2_2:int;
849
	idInner2_A_2:int;
850
	u_2, u_3:int;
851
	v_2:int;
852
	x_2:int;
853
	w_2:int;
854
	z_2:int;
855
	let
856

    
857
		
858
	(u_2) 
859
	= Inner2_A_du(u_1);
860

    
861
		
862

    
863
	(idInner2_A_2, v_2, w_2, idInner2_Inner2_2, u_3, x_2, z_2) 
864
	= Inner2_A_node(idInner2_A_1, v_1, E, u_2, w_1, idInner2_Inner2_1, x_1, z_1);
865

    
866
		
867

    
868

    
869
	(idInner2_Inner2, idInner2_A, u, v, x, w, z) 
870
	= (idInner2_Inner2_2, idInner2_A_2, u_3, v_2, x_2, w_2, z_2);
871
	
872

    
873
	tel
874

    
875
	until true restart POINTInner2_Inner2
876

    
877

    
878

    
879
tel
880

    
881

    
882
--***************************************************State :Inner2_Inner2 Automaton***************************************************
883

    
884
node Inner2_Inner2(E:bool)
885

    
886
returns (u:int;
887
	v:int;
888
	w:int;
889
	z:int;
890
	x:int);
891

    
892

    
893
var u_1: int;
894

    
895
	v_1: int;
896

    
897
	w_1: int;
898

    
899
	z_1: int;
900

    
901
	x_1: int;
902

    
903
	idInner2_Inner2, idInner2_Inner2_1: int;
904

    
905
	idInner2_A, idInner2_A_1: int;
906

    
907
	let
908

    
909
	u_1 = 0 -> pre u;
910

    
911
	v_1 = 0 -> pre v;
912

    
913
	w_1 = 0 -> pre w;
914

    
915
	z_1 = 0 -> pre z;
916

    
917
	x_1 = 0 -> pre x;
918

    
919
	idInner2_Inner2_1 = 0 -> pre idInner2_Inner2;
920

    
921
	idInner2_A_1 = 0 -> pre idInner2_A;
922

    
923
	
924

    
925

    
926

    
927
	(idInner2_Inner2, idInner2_A, u, v, x, w, z)
928
	 = 
929

    
930
	 if E then Inner2_Inner2_node(idInner2_Inner2_1, idInner2_A_1, u_1, v_1, x_1, E, w_1, z_1)
931

    
932
	 else (idInner2_Inner2_1, idInner2_A_1, u_1, v_1, x_1, w_1, z_1);
933

    
934
	
935

    
936

    
937
--unused outputs
938
	
939

    
940
tel
941

    
942

    
943

    
944
node Inner2 (E_1_1 : real)
945
returns (u_1_1 : int;
946
	v_2_1 : int;
947
	w_3_1 : int;
948
	z_4_1 : int;
949
	x_5_1 : int); 
950
var
951
	Inner2_1_1 : int; Inner2_2_1 : int; Inner2_3_1 : int; Inner2_4_1 : int; Inner2_5_1 : int;
952
	Mux_1_1 : int; Mux_1_2 : int; Mux_1_3 : int; Mux_1_4 : int; Mux_1_5 : int;
953
	i_virtual_local : real;
954
	Inner2E_1_1_event: bool;
955
let 
956
	Inner2E_1_1_event = false -> ((pre(E_1_1) > 0.0 and E_1_1 <= 0.0) or (pre(E_1_1) <= 0.0 and E_1_1 > 0.0));
957
	(Inner2_1_1, Inner2_2_1, Inner2_3_1, Inner2_4_1, Inner2_5_1) =  Inner2_Inner2(Inner2E_1_1_event);
958
	Mux_1_1 = Inner2_1_1 ;
959
	Mux_1_2 = Inner2_2_1 ;
960
	Mux_1_3 = Inner2_3_1 ;
961
	Mux_1_4 = Inner2_4_1 ;
962
	Mux_1_5 = Inner2_5_1 ;
963
	u_1_1 = Inner2_1_1;
964
	v_2_1 = Inner2_2_1;
965
	w_3_1 = Inner2_3_1;
966
	z_4_1 = Inner2_4_1;
967
	x_5_1 = Inner2_5_1;
968
	i_virtual_local= 0.0 -> 1.0;
969
tel
970