Project

General

Profile

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

View differences:

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

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

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

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

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

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

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

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

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

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

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

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

  
536
   chart_microwave_mode_logic____wakeup___ = true;
536
   chart_microwave_mode__logic____wakeup___ = true;
537 537

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
997
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
997
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
998 998

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

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

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

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

  

Also available in: Unified diff