Project

General

Profile

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

View differences:

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

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

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

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

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

  
453
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
453
   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);
454 454

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

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

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

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

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

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

  
540
   chart_microwave_mode_logic____wakeup___ = true;
540
   chart_microwave_mode__logic____wakeup___ = true;
541 541

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
754 754
   
755 755
   
756
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
757
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
756
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
757
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
758 758
         then 
759
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
759
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
760 760
                  then 
761 761
                        
762 762
                        2
763
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
764
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
763
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
764
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
765 765
   
766 766
   
767 767

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
941 941
   
942 942
   
943
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
944
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
943
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
944
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
945 945
         then 
946
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
946
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
947 947
                  then 
948 948
                        
949 949
                        2
950
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
951
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
950
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
951
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
952 952
   
953 953
   
954 954

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

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

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

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

  
1001
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
1001
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
1002 1002

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

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

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

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

  

Also available in: Unified diff