Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lus

View differences:

regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lus
73 73

  
74 74
-- Entry action for state :RUNNING_COOKING
75 75
node RUNNING_COOKING_en(idMode_logic_RUNNING_1:int;
76
	mode_1:int;
76
	mode__1:int;
77 77
	isInner:bool)
78 78

  
79 79
returns (idMode_logic_RUNNING:int;
80
	mode:int);
80
	mode_:int);
81 81

  
82 82

  
83 83
var 	idMode_logic_RUNNING_2:int;
84
	mode_2:int;
84
	mode__2:int;
85 85

  
86 86

  
87 87
let
......
93 93
	= 1332;
94 94
	
95 95

  
96
	mode_2 
96
	mode__2 
97 97
	= if (not isInner) then 2
98
	 else mode_1;
98
	 else mode__1;
99 99
	
100 100

  
101
	(idMode_logic_RUNNING, mode) 
102
	= (idMode_logic_RUNNING_2, mode_2);
101
	(idMode_logic_RUNNING, mode_) 
102
	= (idMode_logic_RUNNING_2, mode__2);
103 103
	
104 104

  
105 105
tel
......
140 140

  
141 141
-- Entry action for state :RUNNING_SUSPENDED
142 142
node RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1:int;
143
	mode_1:int;
143
	mode__1:int;
144 144
	isInner:bool)
145 145

  
146 146
returns (idMode_logic_RUNNING:int;
147
	mode:int);
147
	mode_:int);
148 148

  
149 149

  
150 150
var 	idMode_logic_RUNNING_2:int;
151
	mode_2:int;
151
	mode__2:int;
152 152

  
153 153

  
154 154
let
......
160 160
	= 1333;
161 161
	
162 162

  
163
	mode_2 
163
	mode__2 
164 164
	= if (not isInner) then 3
165
	 else mode_1;
165
	 else mode__1;
166 166
	
167 167

  
168
	(idMode_logic_RUNNING, mode) 
169
	= (idMode_logic_RUNNING_2, mode_2);
168
	(idMode_logic_RUNNING, mode_) 
169
	= (idMode_logic_RUNNING_2, mode__2);
170 170
	
171 171

  
172 172
tel
......
209 209
node Mode_logic_RUNNING_en(idMode_logic_RUNNING_1:int;
210 210
	idMode_logic_Mode_logic_1:int;
211 211
	door_closed:bool;
212
	mode_1:int;
212
	mode__1:int;
213 213
	isInner:bool)
214 214

  
215 215
returns (idMode_logic_RUNNING:int;
216 216
	idMode_logic_Mode_logic:int;
217
	mode:int);
217
	mode_:int);
218 218

  
219 219

  
220 220
var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3, idMode_logic_RUNNING_4, idMode_logic_RUNNING_5, idMode_logic_RUNNING_6, idMode_logic_RUNNING_7:int;
221 221
	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3, idMode_logic_Mode_logic_4:int;
222
	mode_2, mode_3, mode_4, mode_5, mode_6, mode_7:int;
222
	mode__2, mode__3, mode__4, mode__5, mode__6, mode__7:int;
223 223

  
224 224

  
225 225
let
......
236 236

  
237 237
-- transition trace :
238 238
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1
239
		(idMode_logic_RUNNING_2, mode_2) 
239
		(idMode_logic_RUNNING_2, mode__2) 
240 240
	= 
241 241
		 if (( door_closed )) then 
242
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
243
		 else (idMode_logic_RUNNING_1, mode_1);
242
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
243
		 else (idMode_logic_RUNNING_1, mode__1);
244 244
		
245 245

  
246 246

  
247 247
-- transition trace :
248 248
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2
249
		(idMode_logic_RUNNING_3, mode_3) 
250
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false);
249
		(idMode_logic_RUNNING_3, mode__3) 
250
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);
251 251
		
252 252

  
253
	(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4) 
253
	(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4) 
254 254
	= 
255 255

  
256 256
	if ( idMode_logic_RUNNING_1 = 0) then
257 257

  
258 258
	
259 259
		 if (( door_closed )) then 
260
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode_2)
261
		 else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode_3)
260
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode__2)
261
		 else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode__3)
262 262

  
263
	 else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
263
	 else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
264 264

  
265 265
	
266 266

  
267
	(idMode_logic_RUNNING_5, mode_5) 
267
	(idMode_logic_RUNNING_5, mode__5) 
268 268
	= 
269 269
	if ( idMode_logic_RUNNING_1 = 1332) then
270
	RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
271
	 else (idMode_logic_RUNNING_1, mode_1);
270
	RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
271
	 else (idMode_logic_RUNNING_1, mode__1);
272 272

  
273 273
	
274 274

  
275
	(idMode_logic_RUNNING_6, mode_6) 
275
	(idMode_logic_RUNNING_6, mode__6) 
276 276
	= 
277 277
	if ( idMode_logic_RUNNING_1 = 1333) then
278
	RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false)
279
	 else (idMode_logic_RUNNING_1, mode_1);
278
	RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false)
279
	 else (idMode_logic_RUNNING_1, mode__1);
280 280

  
281 281
	
282 282

  
283
	(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7) 
283
	(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7) 
284 284
	= 
285 285
		 if ( idMode_logic_RUNNING_1 = 0) then 
286
		(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4)
286
		(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4)
287 287
		 else
288 288
		 if ( idMode_logic_RUNNING_1 = 1332) then 
289
		(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode_5)
289
		(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode__5)
290 290
		 else
291 291
		 if ( idMode_logic_RUNNING_1 = 1333) then 
292
		(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode_6)
293
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
292
		(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode__6)
293
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
294 294

  
295 295

  
296
	(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode) 
297
	= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7);
296
	(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode_) 
297
	= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7);
298 298
	
299 299

  
300 300
tel
......
368 368

  
369 369
-- Entry action for state :Mode_logic_SETUP
370 370
node Mode_logic_SETUP_en(idMode_logic_Mode_logic_1:int;
371
	mode_1:int;
371
	mode__1:int;
372 372
	steps_to_cook:int;
373 373
	steps_remaining_1:int;
374 374
	isInner:bool)
375 375

  
376 376
returns (idMode_logic_Mode_logic:int;
377
	mode:int;
377
	mode_:int;
378 378
	steps_remaining:int);
379 379

  
380 380

  
381 381
var 	idMode_logic_Mode_logic_2:int;
382
	mode_2:int;
382
	mode__2:int;
383 383
	steps_remaining_2:int;
384 384

  
385 385

  
......
392 392
	= 1331;
393 393
	
394 394

  
395
	mode_2 
395
	mode__2 
396 396
	= if (not isInner) then 1
397
	 else mode_1;
397
	 else mode__1;
398 398
	
399 399

  
400 400
	steps_remaining_2 
......
402 402
	 else steps_remaining_1;
403 403
	
404 404

  
405
	(idMode_logic_Mode_logic, mode, steps_remaining) 
406
	= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2);
405
	(idMode_logic_Mode_logic, mode_, steps_remaining) 
406
	= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);
407 407
	
408 408

  
409 409
tel
......
442 442

  
443 443
node Mode_logic_RUNNING_node(idMode_logic_RUNNING_1:int;
444 444
	door_closed:bool;
445
	mode_1:int;
445
	mode__1:int;
446 446
	steps_remaining_1:int;
447 447
	clear:bool;
448 448
	idMode_logic_Mode_logic_1:int;
......
450 450
	start:bool)
451 451

  
452 452
returns (idMode_logic_RUNNING:int;
453
	mode:int;
453
	mode_:int;
454 454
	steps_remaining:int;
455 455
	idMode_logic_Mode_logic:int);
456 456

  
457 457

  
458 458
let
459 459

  
460
	 automaton mode_logic_running
460
	 automaton mode__logic_running
461 461

  
462 462
	state POINTMode_logic_RUNNING:
463 463
	unless (idMode_logic_RUNNING_1=0) restart POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1
......
486 486

  
487 487
	let
488 488

  
489
		(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
490
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
489
		(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
490
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
491 491
	
492 492

  
493 493
	tel
......
497 497
	state POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1:
498 498

  
499 499
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
500
	mode_2, mode_3:int;
500
	mode__2, mode__3:int;
501 501
	let
502 502

  
503 503
		
504 504

  
505 505
-- transition trace :
506 506
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1
507
		(idMode_logic_RUNNING_2, mode_2) 
507
		(idMode_logic_RUNNING_2, mode__2) 
508 508
	= 
509 509
		 if (( door_closed )) then 
510
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
511
		 else (idMode_logic_RUNNING_1, mode_1);
510
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
511
		 else (idMode_logic_RUNNING_1, mode__1);
512 512
		
513 513

  
514 514

  
515 515
-- transition trace :
516 516
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2
517
		(idMode_logic_RUNNING_3, mode_3) 
518
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false);
517
		(idMode_logic_RUNNING_3, mode__3) 
518
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);
519 519
		
520 520

  
521
	(idMode_logic_RUNNING, mode) 
521
	(idMode_logic_RUNNING, mode_) 
522 522
	= 
523 523
		 if (( door_closed )) then 
524
		(idMode_logic_RUNNING_2, mode_2)
525
		 else (idMode_logic_RUNNING_3, mode_3);
524
		(idMode_logic_RUNNING_2, mode__2)
525
		 else (idMode_logic_RUNNING_3, mode__3);
526 526

  
527 527
	--add unused variables
528 528
	(idMode_logic_Mode_logic, steps_remaining) 
......
538 538
	state RUNNING_COOKING__TO__RUNNING_COOKING_1:
539 539

  
540 540
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
541
	mode_2:int;
541
	mode__2:int;
542 542
	steps_remaining_2:int;
543 543
	let
544 544

  
......
552 552
	= RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action(steps_remaining_1);
553 553
		
554 554

  
555
		(idMode_logic_RUNNING_3, mode_2) 
556
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false);
555
		(idMode_logic_RUNNING_3, mode__2) 
556
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);
557 557
		
558 558

  
559
	(idMode_logic_RUNNING, mode, steps_remaining) 
560
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_2);
559
	(idMode_logic_RUNNING, mode_, steps_remaining) 
560
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_2);
561 561

  
562 562
	--add unused variables
563 563
	(idMode_logic_Mode_logic) 
......
573 573
	state RUNNING_COOKING__TO__RUNNING_SUSPENDED_2:
574 574

  
575 575
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
576
	mode_2:int;
576
	mode__2:int;
577 577
	let
578 578

  
579 579
		-- transition trace :
......
582 582
	= RUNNING_COOKING_ex(idMode_logic_RUNNING_1, false);
583 583
		
584 584

  
585
		(idMode_logic_RUNNING_3, mode_2) 
586
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode_1, false);
585
		(idMode_logic_RUNNING_3, mode__2) 
586
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode__1, false);
587 587
		
588 588

  
589
	(idMode_logic_RUNNING, mode, steps_remaining) 
590
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_1);
589
	(idMode_logic_RUNNING, mode_, steps_remaining) 
590
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_1);
591 591

  
592 592
	--add unused variables
593 593
	(idMode_logic_Mode_logic) 
......
603 603
	state RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1:
604 604

  
605 605
	 var 	idMode_logic_RUNNING_2:int;
606
	mode_2:int;
606
	mode__2:int;
607 607
	steps_remaining_2:int;
608 608
	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
609 609
	let
......
616 616
	= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false);
617 617
		
618 618

  
619
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 
620
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false);
619
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2) 
620
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);
621 621
		
622 622

  
623
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
624
	=  (idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_3);
623
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
624
	=  (idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_3);
625 625

  
626 626

  
627 627
	tel
......
633 633
	state RUNNING_SUSPENDED__TO__RUNNING_COOKING_2:
634 634

  
635 635
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
636
	mode_2:int;
636
	mode__2:int;
637 637
	let
638 638

  
639 639
		-- transition trace :
......
642 642
	= RUNNING_SUSPENDED_ex(idMode_logic_RUNNING_1, false);
643 643
		
644 644

  
645
		(idMode_logic_RUNNING_3, mode_2) 
646
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false);
645
		(idMode_logic_RUNNING_3, mode__2) 
646
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);
647 647
		
648 648

  
649
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
650
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_1, idMode_logic_Mode_logic_1);
649
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
650
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_1, idMode_logic_Mode_logic_1);
651 651

  
652 652

  
653 653
	tel
......
662 662

  
663 663
		
664 664

  
665
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
666
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
665
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
666
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
667 667
	
668 668

  
669 669
	tel
......
678 678

  
679 679
		
680 680

  
681
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
682
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
681
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
682
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
683 683
	
684 684

  
685 685
	tel
......
694 694
--***************************************************State :Mode_logic_Mode_logic Automaton***************************************************
695 695

  
696 696
node Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1:int;
697
	mode_1:int;
697
	mode__1:int;
698 698
	steps_remaining_1:int;
699 699
	steps_to_cook:int;
700 700
	start:bool;
......
703 703
	clear:bool)
704 704

  
705 705
returns (idMode_logic_Mode_logic:int;
706
	mode:int;
706
	mode_:int;
707 707
	steps_remaining:int;
708 708
	idMode_logic_RUNNING:int);
709 709

  
710 710

  
711 711
let
712 712

  
713
	 automaton mode_logic_mode_logic
713
	 automaton mode__logic_mode__logic
714 714

  
715 715
	state POINTMode_logic_Mode_logic:
716 716
	unless (idMode_logic_Mode_logic_1=0) restart POINT__TO__MODE_LOGIC_SETUP_1
......
731 731

  
732 732
	let
733 733

  
734
		(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
735
	= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1);
734
		(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
735
	= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);
736 736
	
737 737

  
738 738
	tel
......
742 742
	state POINT__TO__MODE_LOGIC_SETUP_1:
743 743

  
744 744
	 var 	idMode_logic_Mode_logic_2:int;
745
	mode_2:int;
745
	mode__2:int;
746 746
	steps_remaining_2:int;
747 747
	let
748 748

  
749 749
		-- transition trace :
750 750
	--POINT__To__Mode_logic_SETUP_1
751
		(idMode_logic_Mode_logic_2, mode_2, steps_remaining_2) 
752
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode_1, steps_to_cook, steps_remaining_1, false);
751
		(idMode_logic_Mode_logic_2, mode__2, steps_remaining_2) 
752
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode__1, steps_to_cook, steps_remaining_1, false);
753 753
		
754 754

  
755
	(idMode_logic_Mode_logic, mode, steps_remaining) 
756
	=  (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2);
755
	(idMode_logic_Mode_logic, mode_, steps_remaining) 
756
	=  (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);
757 757

  
758 758
	--add unused variables
759 759
	(idMode_logic_RUNNING) 
......
769 769
	state MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1:
770 770

  
771 771
	 var 	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
772
	mode_2:int;
772
	mode__2:int;
773 773
	steps_remaining_2:int;
774 774
	idMode_logic_RUNNING_2:int;
775 775
	let
......
791 791
		 else (idMode_logic_Mode_logic_1);
792 792
		
793 793

  
794
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode_2) 
794
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode__2) 
795 795
	= 
796 796
		 if (( start and  steps_remaining_2 >0 )) then 
797
		Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode_1, false)
798
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
797
		Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode__1, false)
798
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
799 799
		
800 800

  
801
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
801
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
802 802
	= 
803 803
		 if (( start and  steps_remaining_2 >0 )) then 
804
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2)
805
		 else (idMode_logic_Mode_logic_1, mode_1, steps_remaining_2, idMode_logic_RUNNING_1);
804
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2)
805
		 else (idMode_logic_Mode_logic_1, mode__1, steps_remaining_2, idMode_logic_RUNNING_1);
806 806

  
807 807

  
808 808
	tel
......
814 814
	state MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1:
815 815

  
816 816
	 var 	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
817
	mode_2:int;
817
	mode__2:int;
818 818
	steps_remaining_2:int;
819 819
	idMode_logic_RUNNING_2:int;
820 820
	let
......
827 827
	= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false);
828 828
		
829 829

  
830
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 
831
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false);
830
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2) 
831
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);
832 832
		
833 833

  
834
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
835
	=  (idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2);
834
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
835
	=  (idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);
836 836

  
837 837

  
838 838
	tel
......
847 847

  
848 848
		
849 849

  
850
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
851
	= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1);
850
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
851
	= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);
852 852
	
853 853

  
854 854
	tel
......
860 860
	state MODE_LOGIC_RUNNING_IDL:
861 861

  
862 862
	 var 	idMode_logic_Mode_logic_2:int;
863
	mode_2:int;
863
	mode__2:int;
864 864
	steps_remaining_2:int;
865 865
	idMode_logic_RUNNING_2:int;
866 866
	let
867 867

  
868 868
		
869
	(idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_2) 
870
	= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode_1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start);
869
	(idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_2) 
870
	= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode__1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start);
871 871

  
872 872
		
873 873

  
874 874

  
875
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
876
	= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2, idMode_logic_RUNNING_2);
875
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
876
	= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);
877 877
	
878 878

  
879 879
	tel
......
892 892
	steps_to_cook:int;
893 893
	door_closed:bool)
894 894

  
895
returns (mode:int;
895
returns (mode_:int;
896 896
	steps_remaining:int);
897 897

  
898 898

  
899
var mode_1: int;
899
var mode__1: int;
900 900

  
901 901
	steps_remaining_1: int;
902 902

  
......
906 906

  
907 907
	let
908 908

  
909
	mode_1 = 0 -> pre mode;
909
	mode__1 = 0 -> pre mode_;
910 910

  
911 911
	steps_remaining_1 = 0 -> pre steps_remaining;
912 912

  
......
918 918

  
919 919

  
920 920

  
921
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING)
922
	 = Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear);
921
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)
922
	 = Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear);
923 923

  
924 924

  
925 925
--unused outputs
......
930 930

  
931 931

  
932 932
node Microwave (start_1_1 : bool; clear_1_1 : bool; steps_to_cook_1_1 : int; door_closed_1_1 : bool)
933
returns (mode_1_1 : int;
933
returns (mode__1_1 : int;
934 934
	steps_remaining_2_1 : int); 
935 935
var
936 936
	Mode_logic_1_1 : int; Mode_logic_2_1 : int;
937 937
	i_virtual_local : real;
938 938
let 
939 939
	(Mode_logic_1_1, Mode_logic_2_1) =  Microwave_Mode_logic(start_1_1, clear_1_1, steps_to_cook_1_1, door_closed_1_1);
940
	mode_1_1 = Mode_logic_1_1;
940
	mode__1_1 = Mode_logic_1_1;
941 941
	steps_remaining_2_1 = Mode_logic_2_1;
942 942
	i_virtual_local= 0.0 -> 1.0;
943 943
tel

Also available in: Unified diff