Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave01.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_rltCheckEntryStateConsistency_0: bool; 
90
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 
91
   chart_microwave_mode_logic_rlt_evtInitStep: bool; 
92
   chart_microwave_mode_logic_begin_state_states___root: int; 
93
   chart_microwave_mode_logic_begin_state_outports_mode: int; 
94
   chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 
95
   chart_microwave_mode_logic_final_state_states___root: int; 
96
   chart_microwave_mode_logic_mode: int; 
97
   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_rltCheckEntryStateConsistency_0: bool; 
90
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root: int; 
91
   chart_microwave_mode__logic_rlt_evtInitStep: bool; 
92
   chart_microwave_mode__logic_begin_state_states___root: int; 
93
   chart_microwave_mode__logic_begin_state_outports_mode_: int; 
94
   chart_microwave_mode__logic_begin_state_outports_steps_remaining: int; 
95
   chart_microwave_mode__logic_final_state_states___root: int; 
96
   chart_microwave_mode__logic_mode_: int; 
97
   chart_microwave_mode__logic_steps_remaining: int; 
98 98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
99 99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
100 100
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
101
   microwave_microwave_mode_logic_mode: int; 
101
   microwave_microwave_mode__logic_mode_: int; 
102 102
   MWI_FcnMaxI_In16: int; 
103 103
   MWI_FcnMaxI_In15: int; 
104 104
   MWI_FcnMaxI_In13: int; 
......
354 354
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
355 355
      (not (pre KP_CLEAR))));
356 356

  
357
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
357
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
358 358

  
359
   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));
359
   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));
360 360

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

  
......
452 452
      KP_CLEAR)) or 
453 453
      (RIGHT_DIGIT = 0));
454 454

  
455
   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);
455
   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);
456 456

  
457 457
   p14 = (true -> ((not (enable and 
458 458
      (not KP_CLEAR))) or 
......
506 506
      (RIGHT_DIGIT = 3))));
507 507

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

  
......
524 524
   START_PRESSED = (KP_START -> (KP_START and 
525 525
      (not (pre KP_START))));
526 526

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

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

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

  
542
   chart_microwave_mode_logic____wakeup___ = true;
542
   chart_microwave_mode__logic____wakeup___ = true;
543 543

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

  
549
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
549
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
550 550

  
551
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
551
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
552 552

  
553
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
553
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
554 554

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

  
577
   chart_microwave_mode_logic_mode = 
578
      (if chart_microwave_mode_logic____wakeup___
577
   chart_microwave_mode__logic_mode_ = 
578
      (if chart_microwave_mode__logic____wakeup___
579 579
         then 
580
               (if chart_microwave_mode_logic_rlt_evtInitStep
580
               (if chart_microwave_mode__logic_rlt_evtInitStep
581 581
                  then 
582
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
582
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
583 583
                           then 1
584
                           else chart_microwave_mode_logic_begin_state_outports_mode)
584
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
585 585
                  else 
586
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
586
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
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
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
609
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
608
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
609
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
610 610
                  then 
611
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
612
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
613
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
614
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
615
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
611
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
612
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
613
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
614
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
615
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
616 616

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
988
   OK = ((rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 2) or 
989
      (rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 3));
988
   OK = ((rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 2) or 
989
      (rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 3));
990 990

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

  
1002
   rlt_enter_microwave_mode_logic_rltCheckEntryStateConsistency_0 = (
1002
   rlt_enter_microwave_mode__logic_rltCheckEntryStateConsistency_0 = (
1003 1003
      
1004
      ((rlt_enter_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
1005
      (rlt_enter_microwave_mode_logic_rlt_state_2_states___root <= 3)) or 
1006
      (rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 4));
1004
      ((rlt_enter_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
1005
      (rlt_enter_microwave_mode__logic_rlt_state_2_states___root <= 3)) or 
1006
      (rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 4));
1007 1007

  
1008
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
1008
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
1009 1009

  
1010 1010
   p17 = (((not (enable and 
1011 1011
      (not KP_CLEAR))) or 
......
1456 1456
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1457 1457

  
1458 1458
   SETUP = 
1459
      (if (1 = microwave_microwave_mode_logic_mode)
1459
      (if (1 = microwave_microwave_mode__logic_mode_)
1460 1460
         then true
1461 1461
         else false);
1462 1462

  
......
1477 1477
      (RIGHT_DIGIT = 5))));
1478 1478

  
1479 1479
   enable = (true -> 
1480
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1480
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1481 1481
         then true
1482 1482
         else false));
1483 1483

  

Also available in: Unified diff