Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave04.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; 
......
351 351
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
352 352
      (not (pre KP_CLEAR))));
353 353

  
354
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
354
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
355 355

  
356
   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));
356
   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));
357 357

  
358 358
   SUSPENDED = 
359
      (if (3 = microwave_microwave_mode_logic_mode)
359
      (if (3 = microwave_microwave_mode__logic_mode_)
360 360
         then true
361 361
         else false);
362 362

  
......
449 449
      KP_CLEAR)) or 
450 450
      (RIGHT_DIGIT = 0));
451 451

  
452
   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);
452
   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);
453 453

  
454 454
   p14 = (true -> ((not (enable and 
455 455
      (not KP_CLEAR))) or 
......
503 503
      (RIGHT_DIGIT = 3))));
504 504

  
505 505
   COOKING = 
506
      (if (2 = microwave_microwave_mode_logic_mode)
506
      (if (2 = microwave_microwave_mode__logic_mode_)
507 507
         then true
508 508
         else false);
509 509

  
......
521 521
   START_PRESSED = (KP_START -> (KP_START and 
522 522
      (not (pre KP_START))));
523 523

  
524
   chart_microwave_mode_logic_start = 
524
   chart_microwave_mode__logic_start = 
525 525
      (if (START_PRESSED = false)
526 526
         then 0
527 527
         else 1);
528 528

  
529
   chart_microwave_mode_logic_clear_off = 
529
   chart_microwave_mode__logic_clear_off = 
530 530
      (if (CLEAR_PRESSED = false)
531 531
         then 0
532 532
         else 1);
533 533

  
534
   chart_microwave_mode_logic_door_closed = 
534
   chart_microwave_mode__logic_door_closed = 
535 535
      (if (DOOR_CLOSED = false)
536 536
         then 0
537 537
         else 1);
538 538

  
539
   chart_microwave_mode_logic____wakeup___ = true;
539
   chart_microwave_mode__logic____wakeup___ = true;
540 540

  
541
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
542
      (if (pre chart_microwave_mode_logic____wakeup___)
541
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
542
      (if (pre chart_microwave_mode__logic____wakeup___)
543 543
         then false
544
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
544
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
545 545

  
546
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
546
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
547 547

  
548
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
548
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
549 549

  
550
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
550
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
551 551

  
552
   chart_microwave_mode_logic_final_state_states___root = 
553
      (if chart_microwave_mode_logic____wakeup___
552
   chart_microwave_mode__logic_final_state_states___root = 
553
      (if chart_microwave_mode__logic____wakeup___
554 554
         then 
555
               (if chart_microwave_mode_logic_rlt_evtInitStep
556
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
555
               (if chart_microwave_mode__logic_rlt_evtInitStep
556
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
557 557
                  else 
558
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
558
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
559 559
                  
560 560
                  
561
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
562
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
561
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
562
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
563 563
                  then 
564
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
564
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
565 565
                           then 
566
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
566
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
567 567
                                    then 
568 568
                                          
569 569
                                          3
570
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
571
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
572
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
573
         else chart_microwave_mode_logic_begin_state_states___root);
570
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
571
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
572
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
573
         else chart_microwave_mode__logic_begin_state_states___root);
574 574

  
575
   chart_microwave_mode_logic_mode = 
576
      (if chart_microwave_mode_logic____wakeup___
575
   chart_microwave_mode__logic_mode_ = 
576
      (if chart_microwave_mode__logic____wakeup___
577 577
         then 
578
               (if chart_microwave_mode_logic_rlt_evtInitStep
578
               (if chart_microwave_mode__logic_rlt_evtInitStep
579 579
                  then 
580
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
580
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
581 581
                           then 1
582
                           else chart_microwave_mode_logic_begin_state_outports_mode)
582
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
583 583
                  else 
584
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
584
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
585 585
                  
586 586
                  
587
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
588
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
587
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
588
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
589 589
                  then 
590
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
590
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
591 591
                           then 
592
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
592
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
593 593
                                    then 3
594
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
595
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
596
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
597
         else chart_microwave_mode_logic_begin_state_outports_mode);
594
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
595
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
596
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
597
         else chart_microwave_mode__logic_begin_state_outports_mode_);
598 598

  
599
   chart_microwave_mode_logic_steps_remaining = 
600
      (if chart_microwave_mode_logic____wakeup___
599
   chart_microwave_mode__logic_steps_remaining = 
600
      (if chart_microwave_mode__logic____wakeup___
601 601
         then 
602
               (if chart_microwave_mode_logic_rlt_evtInitStep
603
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
602
               (if chart_microwave_mode__logic_rlt_evtInitStep
603
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
604 604
                  else 
605
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
605
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
606 606
                  
607 607
                  
608
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
609
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
608
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
609
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
610 610
                  then 
611
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
612
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
613
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
614
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
615
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
611
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
612
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
613
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
614
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
615
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
616 616

  
617 617
   
618 618
   
619
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
619
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
620 620

  
621 621
   
622 622
   
623
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
624
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
623
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
624
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
625 625
         then STEPS_TO_COOK
626
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
626
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
627 627

  
628 628
   
629
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
630
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
629
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
630
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
631 631
      (
632
      (if (chart_microwave_mode_logic_start <> 0)
632
      (if (chart_microwave_mode__logic_start <> 0)
633 633
         then true
634 634
         else false) and 
635 635
      
......
642 642

  
643 643
   
644 644
   
645
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
646
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
645
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
646
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
647 647
         then 
648
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
648
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
649 649
                  then 
650 650
                        
651 651
                        0
652
                  else chart_microwave_mode_logic_begin_state_states___root)
653
         else chart_microwave_mode_logic_begin_state_states___root);
652
                  else chart_microwave_mode__logic_begin_state_states___root)
653
         else chart_microwave_mode__logic_begin_state_states___root);
654 654

  
655 655
   
656 656
   
657
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
658
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
659
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
660
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
657
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
658
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
659
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
660
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
661 661
   
662 662
   
663 663

  
664 664
   
665 665
   
666
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
667
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
666
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
667
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
668 668
         then 
669
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
669
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
670 670
                  then 
671
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
671
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
672 672
                           then 3
673
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
674
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
675
         else chart_microwave_mode_logic_begin_state_outports_mode);
673
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
674
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
675
         else chart_microwave_mode__logic_begin_state_outports_mode_);
676 676
   
677 677
   
678 678

  
679 679
   
680
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
681
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
682
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
680
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
681
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
682
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
683 683

  
684 684
   
685 685
   
686
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
687
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
686
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
687
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
688 688
         then 
689 689
               (if 
690 690
                  
691
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
692
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
691
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
692
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
693 693
                  then 
694 694
                        
695 695
                        0
696
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
697
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
696
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
697
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
698 698

  
699 699
   
700 700
   
701
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
702
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
701
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
702
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
703 703
         then 
704
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
704
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
705 705
                  then 
706 706
                        
707 707
                        4
708
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
709
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
708
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
709
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
710 710
   
711 711
   
712 712

  
713 713
   
714 714
   
715
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
715
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
716 716
      ((
717
      (if (chart_microwave_mode_logic_start <> 0)
717
      (if (chart_microwave_mode__logic_start <> 0)
718 718
         then true
719 719
         else false) and 
720 720
      
721
      (if (chart_microwave_mode_logic_door_closed <> 0)
721
      (if (chart_microwave_mode__logic_door_closed <> 0)
722 722
         then true
723 723
         else false)) and 
724
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
724
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
725 725

  
726 726
   
727 727
   
728
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
729
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
728
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
729
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
730 730

  
731 731
   
732 732
   
733
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
734
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
733
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
734
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
735 735
         then 
736
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
736
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
737 737
                  then 
738 738
                        
739 739
                        1
740
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
741
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
740
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
741
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
742 742

  
743 743
   
744 744
   
745
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
746
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
745
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
746
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
747 747
         then 
748
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
748
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
749 749
                  then 1
750
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
751
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
750
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
751
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
752 752

  
753 753
   
754 754
   
755
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
756
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
755
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
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 
760 760
                        
761 761
                        2
762
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
763
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
762
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
763
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
764 764
   
765 765
   
766 766

  
767 767
   
768 768
   
769
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
770
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
769
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
770
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
771 771
         then 
772
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
772
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
773 773
                  then 2
774
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
775
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
774
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
775
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
776 776
   
777 777
   
778 778

  
779 779
   
780
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
780
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
781 781
      (
782
      (if (chart_microwave_mode_logic_clear_off <> 0)
782
      (if (chart_microwave_mode__logic_clear_off <> 0)
783 783
         then true
784 784
         else false) and 
785
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
786
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
787
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
785
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
786
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
787
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
788 788

  
789 789
   
790 790
   
791
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
792
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
791
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
792
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
793 793

  
794 794
   
795 795
   
796
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
797
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
796
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
797
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
798 798
         then 
799 799
               (if 
800 800
                  
801
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
802
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
801
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
802
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
803 803
                  then 
804 804
                        
805 805
                        0
806
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
807
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
806
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
807
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
808 808

  
809 809
   
810 810
   
811
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
812
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
811
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
812
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
813 813
         then 0
814
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
814
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
815 815

  
816 816
   
817 817
   
818
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
819
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
818
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
819
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
820 820
         then 
821
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
821
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
822 822
                  then 
823 823
                        
824 824
                        4
825
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
826
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
825
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
826
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
827 827
   
828 828
   
829 829

  
830 830
   
831 831
   
832
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
833
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
834
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
832
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
833
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
834
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
835 835

  
836 836
   
837 837
   
838
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
839
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
838
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
839
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
840 840
         then 
841
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
841
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
842 842
                  then 1
843
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
844
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
843
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
844
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
845 845

  
846 846
   
847 847
   
848
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
849
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
848
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
849
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
850 850
         then 
851
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
851
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
852 852
                  then 
853 853
                        
854 854
                        1
855
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
856
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
855
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
856
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
857 857

  
858 858
   
859 859
   
860
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
861
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
860
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
861
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
862 862
         then 
863
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
863
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
864 864
                  then 
865 865
                        
866 866
                        2
867
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
868
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
867
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
868
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
869 869
   
870 870
   
871 871

  
872 872
   
873 873
   
874
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
874
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
875 875
      ((
876
      (if (chart_microwave_mode_logic_clear_off <> 0)
876
      (if (chart_microwave_mode__logic_clear_off <> 0)
877 877
         then true
878 878
         else false) or 
879 879
      (not 
880
      (if (chart_microwave_mode_logic_door_closed <> 0)
880
      (if (chart_microwave_mode__logic_door_closed <> 0)
881 881
         then true
882 882
         else false))) and 
883
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
884
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
883
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
884
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
885 885

  
886 886
   
887 887
   
888
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
889
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
888
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
889
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
890 890
         then 
891
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
891
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
892 892
                  then 
893 893
                        
894 894
                        1
895
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
896
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
895
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
896
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
897 897

  
898 898
   
899 899
   
900
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
901
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
900
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
901
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
902 902
         then 
903
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
903
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
904 904
                  then 2
905
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
906
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
905
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
906
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
907 907

  
908
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
908
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
909 909
      (if (not 
910 910
         
911
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
912
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
911
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
912
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
913 913
         then 
914 914
               
915 915
               1
916
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
916
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
917 917

  
918 918
   
919 919
   
920
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
920
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
921 921
      
922
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
923
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
922
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
923
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
924 924
      
925 925
      
926
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
927
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
926
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
927
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
928 928

  
929 929
   
930
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
930
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
931 931
      (
932 932
      
933
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
934
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
933
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
934
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
935 935
      
936
      (if (chart_microwave_mode_logic_door_closed <> 0)
936
      (if (chart_microwave_mode__logic_door_closed <> 0)
937 937
         then true
938 938
         else false)));
939 939

  
940 940
   
941 941
   
942
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
943
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
942
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
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 
947 947
                        
948 948
                        2
949
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
950
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
949
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
950
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
951 951
   
952 952
   
953 953

  
954 954
   
955 955
   
956
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
957
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
956
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
957
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
958 958
         then 
959
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
959
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
960 960
                  then 2
961
                  else chart_microwave_mode_logic_begin_state_outports_mode)
962
         else chart_microwave_mode_logic_begin_state_outports_mode);
961
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
962
         else chart_microwave_mode__logic_begin_state_outports_mode_);
963 963
   
964 964
   
965 965

  
966 966
   
967 967
   
968
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
968
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
969 969
      (
970 970
      
971
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
972
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
973
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
971
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
972
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
973
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
974 974

  
975 975
   
976 976
   
977
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
978
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
977
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
978
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
979 979
         then 
980
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
980
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
981 981
                  then 
982 982
                        
983 983
                        3
984
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
985
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
984
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
985
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
986 986
   
987 987
   
988 988

  
989 989
   
990 990
   
991
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
992
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
991
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
992
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
993 993
         then 
994 994
               
995 995
               4
996
         else chart_microwave_mode_logic_begin_state_states___root);
996
         else chart_microwave_mode__logic_begin_state_states___root);
997 997
   
998 998
   
999 999

  
1000
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
1000
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
1001 1001

  
1002 1002
   p17 = (((not (enable and 
1003 1003
      (not KP_CLEAR))) or 
......
1448 1448
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1449 1449

  
1450 1450
   SETUP = 
1451
      (if (1 = microwave_microwave_mode_logic_mode)
1451
      (if (1 = microwave_microwave_mode__logic_mode_)
1452 1452
         then true
1453 1453
         else false);
1454 1454

  
......
1469 1469
      (RIGHT_DIGIT = 5))));
1470 1470

  
1471 1471
   enable = (true -> 
1472
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1472
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1473 1473
         then true
1474 1474
         else false));
1475 1475

  

Also available in: Unified diff