Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/microwave08.lus

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave08.lus
48 48
   rlt__Arrow2: int; 
49 49
   rlt__Arrow1: int; 
50 50
   rlt__Arrow: int; 
51
   chart_microwave_mode_logic_start: int; 
52
   chart_microwave_mode_logic_clear_off: int; 
53
   chart_microwave_mode_logic_door_closed: int; 
54
   chart_microwave_mode_logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; 
62
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; 
64
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; 
71
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; 
76
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; 
81
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; 
89
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode_logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode_logic_begin_state_states___root: int; 
92
   chart_microwave_mode_logic_begin_state_outports_mode: int; 
93
   chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode_logic_final_state_states___root: int; 
95
   chart_microwave_mode_logic_mode: int; 
96
   chart_microwave_mode_logic_steps_remaining: int; 
51
   chart_microwave_mode__logic_start: int; 
52
   chart_microwave_mode__logic_clear_off: int; 
53
   chart_microwave_mode__logic_door_closed: int; 
54
   chart_microwave_mode__logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_: int; 
62
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_: int; 
64
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_: int; 
71
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_: int; 
76
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_: int; 
81
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode__logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode__logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_: int; 
89
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode__logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode__logic_begin_state_states___root: int; 
92
   chart_microwave_mode__logic_begin_state_outports_mode_: int; 
93
   chart_microwave_mode__logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode__logic_final_state_states___root: int; 
95
   chart_microwave_mode__logic_mode_: int; 
96
   chart_microwave_mode__logic_steps_remaining: int; 
97 97
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98 98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99 99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100
   microwave_microwave_mode_logic_mode: int; 
100
   microwave_microwave_mode__logic_mode_: int; 
101 101
   MWI_FcnMaxI_In16: int; 
102 102
   MWI_FcnMaxI_In15: int; 
103 103
   MWI_FcnMaxI_In13: int; 
......
345 345
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
346 346
      (not (pre KP_CLEAR))));
347 347

  
348
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
348
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
349 349

  
350
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
350
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
351 351

  
352 352
   SUSPENDED = 
353
      (if (3 = microwave_microwave_mode_logic_mode)
353
      (if (3 = microwave_microwave_mode__logic_mode_)
354 354
         then true
355 355
         else false);
356 356

  
......
435 435
      KP_CLEAR)) or 
436 436
      (RIGHT_DIGIT = 0));
437 437

  
438
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
438
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10);
439 439

  
440 440
   p14 = (true -> ((not (enable and 
441 441
      (not KP_CLEAR))) or 
......
489 489
      (RIGHT_DIGIT = 3))));
490 490

  
491 491
   COOKING = 
492
      (if (2 = microwave_microwave_mode_logic_mode)
492
      (if (2 = microwave_microwave_mode__logic_mode_)
493 493
         then true
494 494
         else false);
495 495

  
......
507 507
   START_PRESSED = (KP_START -> (KP_START and 
508 508
      (not (pre KP_START))));
509 509

  
510
   chart_microwave_mode_logic_start = 
510
   chart_microwave_mode__logic_start = 
511 511
      (if (START_PRESSED = false)
512 512
         then 0
513 513
         else 1);
514 514

  
515
   chart_microwave_mode_logic_clear_off = 
515
   chart_microwave_mode__logic_clear_off = 
516 516
      (if (CLEAR_PRESSED = false)
517 517
         then 0
518 518
         else 1);
519 519

  
520
   chart_microwave_mode_logic_door_closed = 
520
   chart_microwave_mode__logic_door_closed = 
521 521
      (if (DOOR_CLOSED = false)
522 522
         then 0
523 523
         else 1);
524 524

  
525
   chart_microwave_mode_logic____wakeup___ = true;
525
   chart_microwave_mode__logic____wakeup___ = true;
526 526

  
527
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
528
      (if (pre chart_microwave_mode_logic____wakeup___)
527
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
528
      (if (pre chart_microwave_mode__logic____wakeup___)
529 529
         then false
530
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
530
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
531 531

  
532
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
532
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
533 533

  
534
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
534
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
535 535

  
536
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
536
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
537 537

  
538
   chart_microwave_mode_logic_final_state_states___root = 
539
      (if chart_microwave_mode_logic____wakeup___
538
   chart_microwave_mode__logic_final_state_states___root = 
539
      (if chart_microwave_mode__logic____wakeup___
540 540
         then 
541
               (if chart_microwave_mode_logic_rlt_evtInitStep
542
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
541
               (if chart_microwave_mode__logic_rlt_evtInitStep
542
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
543 543
                  else 
544
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
544
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
545 545
                  
546 546
                  
547
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
548
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
547
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
548
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
549 549
                  then 
550
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
550
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
551 551
                           then 
552
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
552
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
553 553
                                    then 
554 554
                                          
555 555
                                          3
556
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
557
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
558
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
559
         else chart_microwave_mode_logic_begin_state_states___root);
556
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
557
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
558
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
559
         else chart_microwave_mode__logic_begin_state_states___root);
560 560

  
561
   chart_microwave_mode_logic_mode = 
562
      (if chart_microwave_mode_logic____wakeup___
561
   chart_microwave_mode__logic_mode_ = 
562
      (if chart_microwave_mode__logic____wakeup___
563 563
         then 
564
               (if chart_microwave_mode_logic_rlt_evtInitStep
564
               (if chart_microwave_mode__logic_rlt_evtInitStep
565 565
                  then 
566
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
566
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
567 567
                           then 1
568
                           else chart_microwave_mode_logic_begin_state_outports_mode)
568
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
569 569
                  else 
570
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
570
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
571 571
                  
572 572
                  
573
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
574
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
573
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
574
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
575 575
                  then 
576
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
576
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
577 577
                           then 
578
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
578
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
579 579
                                    then 3
580
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
581
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
582
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
583
         else chart_microwave_mode_logic_begin_state_outports_mode);
580
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
581
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
582
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
583
         else chart_microwave_mode__logic_begin_state_outports_mode_);
584 584

  
585
   chart_microwave_mode_logic_steps_remaining = 
586
      (if chart_microwave_mode_logic____wakeup___
585
   chart_microwave_mode__logic_steps_remaining = 
586
      (if chart_microwave_mode__logic____wakeup___
587 587
         then 
588
               (if chart_microwave_mode_logic_rlt_evtInitStep
589
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
588
               (if chart_microwave_mode__logic_rlt_evtInitStep
589
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
590 590
                  else 
591
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
591
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
592 592
                  
593 593
                  
594
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
595
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
594
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
595
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
596 596
                  then 
597
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
598
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
599
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
600
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
601
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
597
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
598
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
599
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
600
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
601
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
602 602

  
603 603
   
604 604
   
605
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
605
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
606 606

  
607 607
   
608 608
   
609
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
610
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
609
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
610
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
611 611
         then STEPS_TO_COOK
612
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
612
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
613 613

  
614 614
   
615
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
616
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
615
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
616
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
617 617
      (
618
      (if (chart_microwave_mode_logic_start <> 0)
618
      (if (chart_microwave_mode__logic_start <> 0)
619 619
         then true
620 620
         else false) and 
621 621
      
......
628 628

  
629 629
   
630 630
   
631
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
632
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
631
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
632
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
633 633
         then 
634
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
634
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
635 635
                  then 
636 636
                        
637 637
                        0
638
                  else chart_microwave_mode_logic_begin_state_states___root)
639
         else chart_microwave_mode_logic_begin_state_states___root);
638
                  else chart_microwave_mode__logic_begin_state_states___root)
639
         else chart_microwave_mode__logic_begin_state_states___root);
640 640

  
641 641
   
642 642
   
643
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
644
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
645
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
646
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
643
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
644
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
645
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
646
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
647 647
   
648 648
   
649 649

  
650 650
   
651 651
   
652
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
653
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
652
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
653
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
654 654
         then 
655
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
655
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
656 656
                  then 
657
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
657
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
658 658
                           then 3
659
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
660
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
661
         else chart_microwave_mode_logic_begin_state_outports_mode);
659
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
660
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
661
         else chart_microwave_mode__logic_begin_state_outports_mode_);
662 662
   
663 663
   
664 664

  
665 665
   
666
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
667
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
668
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
666
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
667
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
668
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
669 669

  
670 670
   
671 671
   
672
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
673
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
672
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
673
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
674 674
         then 
675 675
               (if 
676 676
                  
677
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
678
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
677
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
678
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
679 679
                  then 
680 680
                        
681 681
                        0
682
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
683
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
682
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
683
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
684 684

  
685 685
   
686 686
   
687
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
688
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
687
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
688
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
689 689
         then 
690
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
690
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
691 691
                  then 
692 692
                        
693 693
                        4
694
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
695
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
694
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
695
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
696 696
   
697 697
   
698 698

  
699 699
   
700 700
   
701
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
701
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
702 702
      ((
703
      (if (chart_microwave_mode_logic_start <> 0)
703
      (if (chart_microwave_mode__logic_start <> 0)
704 704
         then true
705 705
         else false) and 
706 706
      
707
      (if (chart_microwave_mode_logic_door_closed <> 0)
707
      (if (chart_microwave_mode__logic_door_closed <> 0)
708 708
         then true
709 709
         else false)) and 
710
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
710
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
711 711

  
712 712
   
713 713
   
714
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
715
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
714
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
715
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
716 716

  
717 717
   
718 718
   
719
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
720
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
719
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
720
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
721 721
         then 
722
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
722
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
723 723
                  then 
724 724
                        
725 725
                        1
726
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
727
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
726
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
727
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
728 728

  
729 729
   
730 730
   
731
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
732
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
731
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
732
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
733 733
         then 
734
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
734
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
735 735
                  then 1
736
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
737
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
736
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
737
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
738 738

  
739 739
   
740 740
   
741
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
742
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
741
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
742
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
743 743
         then 
744
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
744
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
745 745
                  then 
746 746
                        
747 747
                        2
748
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
749
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
748
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
749
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
750 750
   
751 751
   
752 752

  
753 753
   
754 754
   
755
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
756
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
755
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
756
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
757 757
         then 
758
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
758
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
759 759
                  then 2
760
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
761
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
760
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
761
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
762 762
   
763 763
   
764 764

  
765 765
   
766
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
766
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
767 767
      (
768
      (if (chart_microwave_mode_logic_clear_off <> 0)
768
      (if (chart_microwave_mode__logic_clear_off <> 0)
769 769
         then true
770 770
         else false) and 
771
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
772
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
773
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
771
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
772
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
773
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
774 774

  
775 775
   
776 776
   
777
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
778
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
777
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
778
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
779 779

  
780 780
   
781 781
   
782
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
783
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
782
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
783
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
784 784
         then 
785 785
               (if 
786 786
                  
787
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
788
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
787
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
788
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
789 789
                  then 
790 790
                        
791 791
                        0
792
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
793
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
792
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
793
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
794 794

  
795 795
   
796 796
   
797
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
798
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
797
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
798
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
799 799
         then 0
800
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
800
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
801 801

  
802 802
   
803 803
   
804
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
805
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
804
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
805
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
806 806
         then 
807
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
807
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
808 808
                  then 
809 809
                        
810 810
                        4
811
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
812
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
811
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
812
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
813 813
   
814 814
   
815 815

  
816 816
   
817 817
   
818
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
819
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
820
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
818
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
819
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
820
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
821 821

  
822 822
   
823 823
   
824
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
825
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
824
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
825
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
826 826
         then 
827
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
827
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
828 828
                  then 1
829
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
830
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
829
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
830
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
831 831

  
832 832
   
833 833
   
834
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
835
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
834
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
835
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
836 836
         then 
837
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
837
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
838 838
                  then 
839 839
                        
840 840
                        1
841
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
842
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
841
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
842
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
843 843

  
844 844
   
845 845
   
846
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
847
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
846
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
847
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
848 848
         then 
849
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
849
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
850 850
                  then 
851 851
                        
852 852
                        2
853
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
854
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
853
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
854
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
855 855
   
856 856
   
857 857

  
858 858
   
859 859
   
860
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
860
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
861 861
      ((
862
      (if (chart_microwave_mode_logic_clear_off <> 0)
862
      (if (chart_microwave_mode__logic_clear_off <> 0)
863 863
         then true
864 864
         else false) or 
865 865
      (not 
866
      (if (chart_microwave_mode_logic_door_closed <> 0)
866
      (if (chart_microwave_mode__logic_door_closed <> 0)
867 867
         then true
868 868
         else false))) and 
869
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
870
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
869
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
870
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
871 871

  
872 872
   
873 873
   
874
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
875
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
874
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
875
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
876 876
         then 
877
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
877
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
878 878
                  then 
879 879
                        
880 880
                        1
881
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
882
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
881
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
882
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
883 883

  
884 884
   
885 885
   
886
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
887
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
886
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
887
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
888 888
         then 
889
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
889
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
890 890
                  then 2
891
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
892
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
891
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
892
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
893 893

  
894
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
894
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
895 895
      (if (not 
896 896
         
897
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
898
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
897
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
898
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
899 899
         then 
900 900
               
901 901
               1
902
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
902
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
903 903

  
904 904
   
905 905
   
906
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
906
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
907 907
      
908
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
909
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
908
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
909
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
910 910
      
911 911
      
912
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
913
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
912
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
913
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
914 914

  
915 915
   
916
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
916
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
917 917
      (
918 918
      
919
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
920
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
919
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
920
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
921 921
      
922
      (if (chart_microwave_mode_logic_door_closed <> 0)
922
      (if (chart_microwave_mode__logic_door_closed <> 0)
923 923
         then true
924 924
         else false)));
925 925

  
926 926
   
927 927
   
928
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
929
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
928
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
929
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
930 930
         then 
931
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
931
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
932 932
                  then 
933 933
                        
934 934
                        2
935
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
936
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
935
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
936
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
937 937
   
938 938
   
939 939

  
940 940
   
941 941
   
942
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
943
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
942
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
943
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
944 944
         then 
945
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
945
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
946 946
                  then 2
947
                  else chart_microwave_mode_logic_begin_state_outports_mode)
948
         else chart_microwave_mode_logic_begin_state_outports_mode);
947
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
948
         else chart_microwave_mode__logic_begin_state_outports_mode_);
949 949
   
950 950
   
951 951

  
952 952
   
953 953
   
954
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
954
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
955 955
      (
956 956
      
957
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
958
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
959
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
957
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
958
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
959
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
960 960

  
961 961
   
962 962
   
963
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
964
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
963
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
964
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
965 965
         then 
966
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
966
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
967 967
                  then 
968 968
                        
969 969
                        3
970
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
971
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
970
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
971
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
972 972
   
973 973
   
974 974

  
975 975
   
976 976
   
977
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
978
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
977
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
978
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
979 979
         then 
980 980
               
981 981
               4
982
         else chart_microwave_mode_logic_begin_state_states___root);
982
         else chart_microwave_mode__logic_begin_state_states___root);
983 983
   
984 984
   
985 985

  
986
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
986
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
987 987

  
988 988
   p17 = (((not (enable and 
989 989
      (not KP_CLEAR))) or 
......
1434 1434
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1435 1435

  
1436 1436
   SETUP = 
1437
      (if (1 = microwave_microwave_mode_logic_mode)
1437
      (if (1 = microwave_microwave_mode__logic_mode_)
1438 1438
         then true
1439 1439
         else false);
1440 1440

  
......
1455 1455
      (RIGHT_DIGIT = 5))));
1456 1456

  
1457 1457
   enable = (true -> 
1458
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1458
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1459 1459
         then true
1460 1460
         else false));
1461 1461

  

Also available in: Unified diff