Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave09.lus
49 49
   rlt__Arrow2: int; 
50 50
   rlt__Arrow1: int; 
51 51
   rlt__Arrow: int; 
52
   chart_microwave_mode_logic_start: int; 
53
   chart_microwave_mode_logic_clear_off: int; 
54
   chart_microwave_mode_logic_door_closed: int; 
55
   chart_microwave_mode_logic____wakeup___: bool; 
56
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 
57
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
58
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
59
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 
60
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 
61
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 
62
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; 
63
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
64
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; 
65
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 
66
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 
67
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 
68
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 
69
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 
70
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 
71
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; 
72
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 
73
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 
74
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 
75
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 
76
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; 
77
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
78
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 
79
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 
80
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
81
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; 
82
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 
83
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
84
   rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 
85
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 
86
   rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 
87
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 
88
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 
89
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; 
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; 
52
   chart_microwave_mode__logic_start: int; 
53
   chart_microwave_mode__logic_clear_off: int; 
54
   chart_microwave_mode__logic_door_closed: int; 
55
   chart_microwave_mode__logic____wakeup___: bool; 
56
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1: bool; 
57
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
58
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
59
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2: bool; 
60
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1: bool; 
61
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root: int; 
62
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_: int; 
63
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
64
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_: int; 
65
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4: bool; 
66
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2: bool; 
67
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root: int; 
68
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining: int; 
69
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root: int; 
70
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5: bool; 
71
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_: int; 
72
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root: int; 
73
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root: int; 
74
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6: bool; 
75
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root: int; 
76
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_: int; 
77
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
78
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0: bool; 
79
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1: bool; 
80
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
81
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_: int; 
82
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2: bool; 
83
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
84
   rlt_eval_microwave_mode__logic_rlt_fired_0: bool; 
85
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining: int; 
86
   rlt_eval_microwave_mode__logic_rlt_fired_1: bool; 
87
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root: int; 
88
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root: int; 
89
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_: int; 
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; 
......
345 345
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
346 346
      (not (pre KP_CLEAR))));
347 347

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

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

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

  
......
427 427
      KP_CLEAR)) or 
428 428
      (RIGHT_DIGIT = 0));
429 429

  
430
   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);
430
   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);
431 431

  
432 432
   p14 = (true -> ((not (enable and 
433 433
      (not KP_CLEAR))) or 
......
481 481
      (RIGHT_DIGIT = 3))));
482 482

  
483 483
   COOKING = 
484
      (if (2 = microwave_microwave_mode_logic_mode)
484
      (if (2 = microwave_microwave_mode__logic_mode_)
485 485
         then true
486 486
         else false);
487 487

  
......
499 499
   START_PRESSED = (KP_START -> (KP_START and 
500 500
      (not (pre KP_START))));
501 501

  
502
   chart_microwave_mode_logic_start = 
502
   chart_microwave_mode__logic_start = 
503 503
      (if (START_PRESSED = false)
504 504
         then 0
505 505
         else 1);
506 506

  
507
   chart_microwave_mode_logic_clear_off = 
507
   chart_microwave_mode__logic_clear_off = 
508 508
      (if (CLEAR_PRESSED = false)
509 509
         then 0
510 510
         else 1);
511 511

  
512
   chart_microwave_mode_logic_door_closed = 
512
   chart_microwave_mode__logic_door_closed = 
513 513
      (if (DOOR_CLOSED = false)
514 514
         then 0
515 515
         else 1);
516 516

  
517
   chart_microwave_mode_logic____wakeup___ = true;
517
   chart_microwave_mode__logic____wakeup___ = true;
518 518

  
519
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
520
      (if (pre chart_microwave_mode_logic____wakeup___)
519
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
520
      (if (pre chart_microwave_mode__logic____wakeup___)
521 521
         then false
522
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
522
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
523 523

  
524
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
524
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
525 525

  
526
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
526
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
527 527

  
528
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
528
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
529 529

  
530
   chart_microwave_mode_logic_final_state_states___root = 
531
      (if chart_microwave_mode_logic____wakeup___
530
   chart_microwave_mode__logic_final_state_states___root = 
531
      (if chart_microwave_mode__logic____wakeup___
532 532
         then 
533
               (if chart_microwave_mode_logic_rlt_evtInitStep
534
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
533
               (if chart_microwave_mode__logic_rlt_evtInitStep
534
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
535 535
                  else 
536
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
536
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
537 537
                  
538 538
                  
539
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
540
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
539
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
540
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
541 541
                  then 
542
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
542
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
543 543
                           then 
544
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
544
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
545 545
                                    then 
546 546
                                          
547 547
                                          3
548
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
549
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
550
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
551
         else chart_microwave_mode_logic_begin_state_states___root);
548
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
549
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
550
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
551
         else chart_microwave_mode__logic_begin_state_states___root);
552 552

  
553
   chart_microwave_mode_logic_mode = 
554
      (if chart_microwave_mode_logic____wakeup___
553
   chart_microwave_mode__logic_mode_ = 
554
      (if chart_microwave_mode__logic____wakeup___
555 555
         then 
556
               (if chart_microwave_mode_logic_rlt_evtInitStep
556
               (if chart_microwave_mode__logic_rlt_evtInitStep
557 557
                  then 
558
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
558
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
559 559
                           then 1
560
                           else chart_microwave_mode_logic_begin_state_outports_mode)
560
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
561 561
                  else 
562
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
562
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
563 563
                  
564 564
                  
565
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
566
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
565
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
566
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
567 567
                  then 
568
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
568
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
569 569
                           then 
570
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
570
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
571 571
                                    then 3
572
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
573
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
574
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
575
         else chart_microwave_mode_logic_begin_state_outports_mode);
572
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
573
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
574
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
575
         else chart_microwave_mode__logic_begin_state_outports_mode_);
576 576

  
577
   chart_microwave_mode_logic_steps_remaining = 
578
      (if chart_microwave_mode_logic____wakeup___
577
   chart_microwave_mode__logic_steps_remaining = 
578
      (if chart_microwave_mode__logic____wakeup___
579 579
         then 
580
               (if chart_microwave_mode_logic_rlt_evtInitStep
581
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
580
               (if chart_microwave_mode__logic_rlt_evtInitStep
581
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
582 582
                  else 
583
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
583
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
584 584
                  
585 585
                  
586
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
587
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
586
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
587
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
588 588
                  then 
589
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
590
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
591
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
592
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
593
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
589
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
590
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
591
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
592
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
593
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
594 594

  
595 595
   
596 596
   
597
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
597
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
598 598

  
599 599
   
600 600
   
601
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
602
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
601
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
602
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
603 603
         then STEPS_TO_COOK
604
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
604
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
605 605

  
606 606
   
607 607
   
608
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
609
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
608
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
609
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
610 610
      (
611
      (if (chart_microwave_mode_logic_start <> 0)
611
      (if (chart_microwave_mode__logic_start <> 0)
612 612
         then true
613 613
         else false) and 
614 614
      
......
621 621

  
622 622
   
623 623
   
624
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
625
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
624
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
625
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
626 626
         then 
627
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
627
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
628 628
                  then 
629 629
                        
630 630
                        0
631
                  else chart_microwave_mode_logic_begin_state_states___root)
632
         else chart_microwave_mode_logic_begin_state_states___root);
631
                  else chart_microwave_mode__logic_begin_state_states___root)
632
         else chart_microwave_mode__logic_begin_state_states___root);
633 633

  
634 634
   
635 635
   
636
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
637
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
638
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
639
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
636
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
637
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
638
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
639
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
640 640
   
641 641
   
642 642

  
643 643
   
644 644
   
645
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
646
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
645
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
646
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
647 647
         then 
648
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
648
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
649 649
                  then 
650
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
650
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
651 651
                           then 3
652
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
653
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
654
         else chart_microwave_mode_logic_begin_state_outports_mode);
652
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
653
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
654
         else chart_microwave_mode__logic_begin_state_outports_mode_);
655 655
   
656 656
   
657 657

  
658 658
   
659 659
   
660
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
661
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
662
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
660
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
661
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
662
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
663 663

  
664 664
   
665 665
   
666
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
667
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
666
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
667
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
668 668
         then 
669 669
               (if 
670 670
                  
671
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
672
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
671
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
672
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
673 673
                  then 
674 674
                        
675 675
                        0
676
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
677
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
676
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
677
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
678 678

  
679 679
   
680 680
   
681
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
682
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
681
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
682
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
683 683
         then 
684
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
684
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
685 685
                  then 
686 686
                        
687 687
                        4
688
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
689
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
688
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
689
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
690 690
   
691 691
   
692 692

  
693 693
   
694 694
   
695
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
695
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
696 696
      ((
697
      (if (chart_microwave_mode_logic_start <> 0)
697
      (if (chart_microwave_mode__logic_start <> 0)
698 698
         then true
699 699
         else false) and 
700 700
      
701
      (if (chart_microwave_mode_logic_door_closed <> 0)
701
      (if (chart_microwave_mode__logic_door_closed <> 0)
702 702
         then true
703 703
         else false)) and 
704
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
704
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
705 705

  
706 706
   
707 707
   
708
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
709
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
708
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
709
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
710 710

  
711 711
   
712 712
   
713
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
714
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
713
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
714
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
715 715
         then 
716
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
716
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
717 717
                  then 
718 718
                        
719 719
                        1
720
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
721
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
720
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
721
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
722 722

  
723 723
   
724 724
   
725
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
726
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
725
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
726
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
727 727
         then 
728
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
728
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
729 729
                  then 1
730
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
731
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
730
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
731
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
732 732

  
733 733
   
734 734
   
735
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
736
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
735
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
736
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
737 737
         then 
738
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
738
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
739 739
                  then 
740 740
                        
741 741
                        2
742
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
743
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
742
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
743
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
744 744
   
745 745
   
746 746

  
747 747
   
748 748
   
749
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
750
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
749
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
750
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
751 751
         then 
752
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
752
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
753 753
                  then 2
754
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
755
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
754
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
755
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
756 756
   
757 757
   
758 758

  
759 759
   
760 760
   
761
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
761
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
762 762
      (
763
      (if (chart_microwave_mode_logic_clear_off <> 0)
763
      (if (chart_microwave_mode__logic_clear_off <> 0)
764 764
         then true
765 765
         else false) and 
766
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
767
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
768
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
766
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
767
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
768
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
769 769

  
770 770
   
771 771
   
772
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
773
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
772
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
773
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
774 774

  
775 775
   
776 776
   
777
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
778
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
777
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
778
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
779 779
         then 
780 780
               (if 
781 781
                  
782
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
783
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
782
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
783
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
784 784
                  then 
785 785
                        
786 786
                        0
787
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
788
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
787
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
788
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
789 789

  
790 790
   
791 791
   
792
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
793
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
792
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
793
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
794 794
         then 0
795
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
795
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
796 796

  
797 797
   
798 798
   
799
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
800
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
799
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
800
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
801 801
         then 
802
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
802
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
803 803
                  then 
804 804
                        
805 805
                        4
806
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
807
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
806
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
807
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
808 808
   
809 809
   
810 810

  
811 811
   
812 812
   
813
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
814
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
815
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
813
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
814
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
815
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
816 816

  
817 817
   
818 818
   
819
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
820
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
819
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
820
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
821 821
         then 
822
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
822
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
823 823
                  then 1
824
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
825
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
824
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
825
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
826 826

  
827 827
   
828 828
   
829
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
830
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
829
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
830
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
831 831
         then 
832
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
832
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
833 833
                  then 
834 834
                        
835 835
                        1
836
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
837
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
836
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
837
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
838 838

  
839 839
   
840 840
   
841
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
842
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
841
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
842
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
843 843
         then 
844
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
844
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
845 845
                  then 
846 846
                        
847 847
                        2
848
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
849
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
848
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
849
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
850 850
   
851 851
   
852 852

  
853 853
   
854 854
   
855
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
855
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
856 856
      ((
857
      (if (chart_microwave_mode_logic_clear_off <> 0)
857
      (if (chart_microwave_mode__logic_clear_off <> 0)
858 858
         then true
859 859
         else false) or 
860 860
      (not 
861
      (if (chart_microwave_mode_logic_door_closed <> 0)
861
      (if (chart_microwave_mode__logic_door_closed <> 0)
862 862
         then true
863 863
         else false))) and 
864
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
865
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
864
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
865
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
866 866

  
867 867
   
868 868
   
869
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
870
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
869
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
870
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
871 871
         then 
872
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
872
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
873 873
                  then 
874 874
                        
875 875
                        1
876
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
877
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
876
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
877
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
878 878

  
879 879
   
880 880
   
881
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
882
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
881
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
882
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
883 883
         then 
884
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
884
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
885 885
                  then 2
886
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
887
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
886
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
887
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
888 888

  
889
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
889
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
890 890
      (if (not 
891 891
         
892
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
893
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
892
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
893
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
894 894
         then 
895 895
               
896 896
               1
897
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
897
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
898 898

  
899 899
   
900 900
   
901
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
901
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
902 902
      
903
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
904
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
903
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
904
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
905 905
      
906 906
      
907
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
908
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
907
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
908
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
909 909

  
910 910
   
911 911
   
912
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
912
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
913 913
      (
914 914
      
915
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
916
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
915
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
916
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
917 917
      
918
      (if (chart_microwave_mode_logic_door_closed <> 0)
918
      (if (chart_microwave_mode__logic_door_closed <> 0)
919 919
         then true
920 920
         else false)));
921 921

  
922 922
   
923 923
   
924
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
925
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
924
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
925
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
926 926
         then 
927
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
927
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
928 928
                  then 
929 929
                        
930 930
                        2
931
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
932
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
931
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
932
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
933 933
   
934 934
   
935 935

  
936 936
   
937 937
   
938
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
939
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
938
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
939
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
940 940
         then 
941
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
941
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
942 942
                  then 2
943
                  else chart_microwave_mode_logic_begin_state_outports_mode)
944
         else chart_microwave_mode_logic_begin_state_outports_mode);
943
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
944
         else chart_microwave_mode__logic_begin_state_outports_mode_);
945 945
   
946 946
   
947 947

  
948 948
   
949 949
   
950
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
950
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
951 951
      (
952 952
      
953
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
954
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
955
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
953
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
954
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
955
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
956 956

  
957 957
   
958 958
   
959
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
960
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
959
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
960
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
961 961
         then 
962
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
962
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
963 963
                  then 
964 964
                        
965 965
                        3
966
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
967
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
966
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
967
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
968 968
   
969 969
   
970 970

  
971 971
   
972 972
   
973
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
974
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
973
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
974
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
975 975
         then 
976 976
               
977 977
               4
978
         else chart_microwave_mode_logic_begin_state_states___root);
978
         else chart_microwave_mode__logic_begin_state_states___root);
979 979
   
980 980
   
981 981

  
982
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
982
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
983 983

  
984 984
   p17 = (((not (enable and 
985 985
      (not KP_CLEAR))) or 
......
1430 1430
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1431 1431

  
1432 1432
   SETUP = 
1433
      (if (1 = microwave_microwave_mode_logic_mode)
1433
      (if (1 = microwave_microwave_mode__logic_mode_)
1434 1434
         then true
1435 1435
         else false);
1436 1436

  
......
1451 1451
      (RIGHT_DIGIT = 5))));
1452 1452

  
1453 1453
   enable = (true -> 
1454
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1454
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1455 1455
         then true
1456 1456
         else false));
1457 1457

  

Also available in: Unified diff