Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave06.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; 
......
347 347
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
348 348
      (not (pre KP_CLEAR))));
349 349

  
350
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
350
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
351 351

  
352
   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));
352
   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));
353 353

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

  
......
445 445
      KP_CLEAR)) or 
446 446
      (RIGHT_DIGIT = 0));
447 447

  
448
   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);
448
   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);
449 449

  
450 450
   p14 = (true -> ((not (enable and 
451 451
      (not KP_CLEAR))) or 
......
499 499
      (RIGHT_DIGIT = 3))));
500 500

  
501 501
   COOKING = 
502
      (if (2 = microwave_microwave_mode_logic_mode)
502
      (if (2 = microwave_microwave_mode__logic_mode_)
503 503
         then true
504 504
         else false);
505 505

  
......
517 517
   START_PRESSED = (KP_START -> (KP_START and 
518 518
      (not (pre KP_START))));
519 519

  
520
   chart_microwave_mode_logic_start = 
520
   chart_microwave_mode__logic_start = 
521 521
      (if (START_PRESSED = false)
522 522
         then 0
523 523
         else 1);
524 524

  
525
   chart_microwave_mode_logic_clear_off = 
525
   chart_microwave_mode__logic_clear_off = 
526 526
      (if (CLEAR_PRESSED = false)
527 527
         then 0
528 528
         else 1);
529 529

  
530
   chart_microwave_mode_logic_door_closed = 
530
   chart_microwave_mode__logic_door_closed = 
531 531
      (if (DOOR_CLOSED = false)
532 532
         then 0
533 533
         else 1);
534 534

  
535
   chart_microwave_mode_logic____wakeup___ = true;
535
   chart_microwave_mode__logic____wakeup___ = true;
536 536

  
537
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
538
      (if (pre chart_microwave_mode_logic____wakeup___)
537
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
538
      (if (pre chart_microwave_mode__logic____wakeup___)
539 539
         then false
540
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
540
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
541 541

  
542
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
542
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
543 543

  
544
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
544
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
545 545

  
546
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
546
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
547 547

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

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

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

  
613 613
   
614 614
   
615
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
615
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
616 616

  
617 617
   
618 618
   
619
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
620
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
619
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
620
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
621 621
         then STEPS_TO_COOK
622
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
622
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
623 623

  
624 624
   
625
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
626
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
625
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
626
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
627 627
      (
628
      (if (chart_microwave_mode_logic_start <> 0)
628
      (if (chart_microwave_mode__logic_start <> 0)
629 629
         then true
630 630
         else false) and 
631 631
      
......
638 638

  
639 639
   
640 640
   
641
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
642
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
641
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
642
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
643 643
         then 
644
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
644
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
645 645
                  then 
646 646
                        
647 647
                        0
648
                  else chart_microwave_mode_logic_begin_state_states___root)
649
         else chart_microwave_mode_logic_begin_state_states___root);
648
                  else chart_microwave_mode__logic_begin_state_states___root)
649
         else chart_microwave_mode__logic_begin_state_states___root);
650 650

  
651 651
   
652 652
   
653
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
654
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
655
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
656
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
653
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
654
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
655
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
656
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
657 657
   
658 658
   
659 659

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

  
675 675
   
676
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
677
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
678
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
676
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
677
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
678
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
679 679

  
680 680
   
681 681
   
682
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
683
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
682
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
683
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
684 684
         then 
685 685
               (if 
686 686
                  
687
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
688
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
687
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
688
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
689 689
                  then 
690 690
                        
691 691
                        0
692
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
693
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
692
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
693
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
694 694

  
695 695
   
696 696
   
697
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
698
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
697
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
698
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
699 699
         then 
700
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
700
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
701 701
                  then 
702 702
                        
703 703
                        4
704
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
705
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
704
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
705
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
706 706
   
707 707
   
708 708

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

  
722 722
   
723 723
   
724
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
725
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
724
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
725
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
726 726

  
727 727
   
728 728
   
729
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
730
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
729
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
730
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
731 731
         then 
732
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
732
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
733 733
                  then 
734 734
                        
735 735
                        1
736
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
737
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
736
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
737
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
738 738

  
739 739
   
740 740
   
741
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
742
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
741
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
742
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
743 743
         then 
744
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
744
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
745 745
                  then 1
746
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
747
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
746
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
747
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
748 748

  
749 749
   
750 750
   
751
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
752
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
751
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
752
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
753 753
         then 
754
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
754
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
755 755
                  then 
756 756
                        
757 757
                        2
758
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
759
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
758
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
759
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
760 760
   
761 761
   
762 762

  
763 763
   
764 764
   
765
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
766
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
765
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
766
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
767 767
         then 
768
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
768
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
769 769
                  then 2
770
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
771
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
770
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
771
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
772 772
   
773 773
   
774 774

  
775 775
   
776
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
776
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
777 777
      (
778
      (if (chart_microwave_mode_logic_clear_off <> 0)
778
      (if (chart_microwave_mode__logic_clear_off <> 0)
779 779
         then true
780 780
         else false) and 
781
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
782
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
783
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
781
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
782
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
783
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
784 784

  
785 785
   
786 786
   
787
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
788
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
787
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
788
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
789 789

  
790 790
   
791 791
   
792
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
793
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
792
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
793
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
794 794
         then 
795 795
               (if 
796 796
                  
797
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
798
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
797
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
798
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
799 799
                  then 
800 800
                        
801 801
                        0
802
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
803
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
802
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
803
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
804 804

  
805 805
   
806 806
   
807
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
808
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
807
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
808
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
809 809
         then 0
810
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
810
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
811 811

  
812 812
   
813 813
   
814
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
815
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
814
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
815
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
816 816
         then 
817
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
817
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
818 818
                  then 
819 819
                        
820 820
                        4
821
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
822
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
821
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
822
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
823 823
   
824 824
   
825 825

  
826 826
   
827 827
   
828
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
829
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
830
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
828
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
829
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
830
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
831 831

  
832 832
   
833 833
   
834
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
835
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
834
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
835
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
836 836
         then 
837
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
837
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
838 838
                  then 1
839
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
840
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
839
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
840
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
841 841

  
842 842
   
843 843
   
844
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
845
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
844
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
845
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
846 846
         then 
847
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
847
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
848 848
                  then 
849 849
                        
850 850
                        1
851
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
852
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
851
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
852
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
853 853

  
854 854
   
855 855
   
856
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
857
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
856
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
857
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
858 858
         then 
859
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
859
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
860 860
                  then 
861 861
                        
862 862
                        2
863
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
864
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
863
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
864
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
865 865
   
866 866
   
867 867

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

  
882 882
   
883 883
   
884
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
885
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
884
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
885
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
886 886
         then 
887
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
887
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
888 888
                  then 
889 889
                        
890 890
                        1
891
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
892
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
891
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
892
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
893 893

  
894 894
   
895 895
   
896
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
897
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
896
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
897
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
898 898
         then 
899
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
899
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
900 900
                  then 2
901
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
902
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
901
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
902
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
903 903

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

  
914 914
   
915 915
   
916
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
916
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
917 917
      
918
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
919
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
918
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
919
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
920 920
      
921 921
      
922
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
923
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
922
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
923
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
924 924

  
925 925
   
926
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
926
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
927 927
      (
928 928
      
929
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
930
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
929
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
930
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
931 931
      
932
      (if (chart_microwave_mode_logic_door_closed <> 0)
932
      (if (chart_microwave_mode__logic_door_closed <> 0)
933 933
         then true
934 934
         else false)));
935 935

  
936 936
   
937 937
   
938
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
939
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
938
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
939
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
940 940
         then 
941
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
941
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
942 942
                  then 
943 943
                        
944 944
                        2
945
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
946
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
945
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
946
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
947 947
   
948 948
   
949 949

  
950 950
   
951 951
   
952
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
953
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
952
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
953
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
954 954
         then 
955
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
955
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
956 956
                  then 2
957
                  else chart_microwave_mode_logic_begin_state_outports_mode)
958
         else chart_microwave_mode_logic_begin_state_outports_mode);
957
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
958
         else chart_microwave_mode__logic_begin_state_outports_mode_);
959 959
   
960 960
   
961 961

  
962 962
   
963 963
   
964
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
964
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
965 965
      (
966 966
      
967
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
968
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
969
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
967
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
968
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
969
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
970 970

  
971 971
   
972 972
   
973
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
974
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
973
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
974
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
975 975
         then 
976
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
976
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
977 977
                  then 
978 978
                        
979 979
                        3
980
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
981
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
980
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
981
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
982 982
   
983 983
   
984 984

  
985 985
   
986 986
   
987
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
988
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
987
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
988
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
989 989
         then 
990 990
               
991 991
               4
992
         else chart_microwave_mode_logic_begin_state_states___root);
992
         else chart_microwave_mode__logic_begin_state_states___root);
993 993
   
994 994
   
995 995

  
996
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
996
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
997 997

  
998 998
   p17 = (((not (enable and 
999 999
      (not KP_CLEAR))) or 
......
1444 1444
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1445 1445

  
1446 1446
   SETUP = 
1447
      (if (1 = microwave_microwave_mode_logic_mode)
1447
      (if (1 = microwave_microwave_mode__logic_mode_)
1448 1448
         then true
1449 1449
         else false);
1450 1450

  
......
1465 1465
      (RIGHT_DIGIT = 5))));
1466 1466

  
1467 1467
   enable = (true -> 
1468
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1468
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1469 1469
         then true
1470 1470
         else false));
1471 1471

  

Also available in: Unified diff