Project

General

Profile

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

View differences:

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

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

  
351
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
351
   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 352

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

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

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

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

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

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

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

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

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

  
534
   chart_microwave_mode_logic____wakeup___ = true;
534
   chart_microwave_mode__logic____wakeup___ = true;
535 535

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
694 694
   
695 695
   
696
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
697
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
696
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
697
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
698 698
         then 
699
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
699
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
700 700
                  then 
701 701
                        
702 702
                        4
703
                  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);
703
                  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 705
   
706 706
   
707 707

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

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

  
726 726
   
727 727
   
728
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
729
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
728
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
729
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
730 730
         then 
731
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
731
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
732 732
                  then 
733 733
                        
734 734
                        1
735
                  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);
735
                  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 737

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

  
748 748
   
749 749
   
750
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
751
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
750
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
751
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
752 752
         then 
753
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
753
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
754 754
                  then 
755 755
                        
756 756
                        2
757
                  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);
757
                  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 759
   
760 760
   
761 761

  
762 762
   
763 763
   
764
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
765
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
764
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
765
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
766 766
         then 
767
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
767
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
768 768
                  then 2
769
                  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);
769
                  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 771
   
772 772
   
773 773

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

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

  
789 789
   
790 790
   
791
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
792
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
791
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
792
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
793 793
         then 
794 794
               (if 
795 795
                  
796
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
797
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
796
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
797
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
798 798
                  then 
799 799
                        
800 800
                        0
801
                  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);
801
                  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 803

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

  
811 811
   
812 812
   
813
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
814
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
813
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
814
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
815 815
         then 
816
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
816
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
817 817
                  then 
818 818
                        
819 819
                        4
820
                  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);
820
                  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 822
   
823 823
   
824 824

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

  
831 831
   
832 832
   
833
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
834
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
833
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
834
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
835 835
         then 
836
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
836
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
837 837
                  then 1
838
                  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);
838
                  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 840

  
841 841
   
842 842
   
843
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
844
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
843
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
844
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
845 845
         then 
846
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
846
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
847 847
                  then 
848 848
                        
849 849
                        1
850
                  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);
850
                  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 852

  
853 853
   
854 854
   
855
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
856
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
855
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
856
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
857 857
         then 
858
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
858
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
859 859
                  then 
860 860
                        
861 861
                        2
862
                  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);
862
                  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 864
   
865 865
   
866 866

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

  
881 881
   
882 882
   
883
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
884
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
883
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
884
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
885 885
         then 
886
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
886
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
887 887
                  then 
888 888
                        
889 889
                        1
890
                  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);
890
                  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 892

  
893 893
   
894 894
   
895
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
896
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
895
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
896
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
897 897
         then 
898
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
898
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
899 899
                  then 2
900
                  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);
900
                  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 902

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

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

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

  
935 935
   
936 936
   
937
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
938
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
937
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
938
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
939 939
         then 
940
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
940
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
941 941
                  then 
942 942
                        
943 943
                        2
944
                  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);
944
                  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 946
   
947 947
   
948 948

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

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

  
970 970
   
971 971
   
972
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
973
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
972
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
973
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
974 974
         then 
975
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
975
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
976 976
                  then 
977 977
                        
978 978
                        3
979
                  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);
979
                  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 981
   
982 982
   
983 983

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

  
995
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
995
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
996 996

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

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

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

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

  

Also available in: Unified diff