Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave10.lus
48 48
   rlt__Arrow2: int; 
49 49
   rlt__Arrow1: int; 
50 50
   rlt__Arrow: int; 
51
   chart_microwave_mode_logic_start: int; 
52
   chart_microwave_mode_logic_clear_off: int; 
53
   chart_microwave_mode_logic_door_closed: int; 
54
   chart_microwave_mode_logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; 
62
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; 
64
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; 
71
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; 
76
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; 
81
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; 
89
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode_logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode_logic_begin_state_states___root: int; 
92
   chart_microwave_mode_logic_begin_state_outports_mode: int; 
93
   chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode_logic_final_state_states___root: int; 
95
   chart_microwave_mode_logic_mode: int; 
96
   chart_microwave_mode_logic_steps_remaining: int; 
51
   chart_microwave_mode__logic_start: int; 
52
   chart_microwave_mode__logic_clear_off: int; 
53
   chart_microwave_mode__logic_door_closed: int; 
54
   chart_microwave_mode__logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_: int; 
62
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_: int; 
64
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_: int; 
71
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_: int; 
76
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_: int; 
81
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode__logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode__logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_: int; 
89
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode__logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode__logic_begin_state_states___root: int; 
92
   chart_microwave_mode__logic_begin_state_outports_mode_: int; 
93
   chart_microwave_mode__logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode__logic_final_state_states___root: int; 
95
   chart_microwave_mode__logic_mode_: int; 
96
   chart_microwave_mode__logic_steps_remaining: int; 
97 97
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98 98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99 99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100
   microwave_microwave_mode_logic_mode: int; 
100
   microwave_microwave_mode__logic_mode_: int; 
101 101
   MWI_FcnMaxI_In16: int; 
102 102
   MWI_FcnMaxI_In15: int; 
103 103
   MWI_FcnMaxI_In13: int; 
......
343 343
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
344 344
      (not (pre KP_CLEAR))));
345 345

  
346
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
346
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
347 347

  
348
   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));
348
   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));
349 349

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

  
......
425 425
      KP_CLEAR)) or 
426 426
      (RIGHT_DIGIT = 0));
427 427

  
428
   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);
428
   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);
429 429

  
430 430
   p14 = (true -> ((not (enable and 
431 431
      (not KP_CLEAR))) or 
......
471 471
      (RIGHT_DIGIT = 3))));
472 472

  
473 473
   COOKING = 
474
      (if (2 = microwave_microwave_mode_logic_mode)
474
      (if (2 = microwave_microwave_mode__logic_mode_)
475 475
         then true
476 476
         else false);
477 477

  
......
489 489
   START_PRESSED = (KP_START -> (KP_START and 
490 490
      (not (pre KP_START))));
491 491

  
492
   chart_microwave_mode_logic_start = 
492
   chart_microwave_mode__logic_start = 
493 493
      (if (START_PRESSED = false)
494 494
         then 0
495 495
         else 1);
496 496

  
497
   chart_microwave_mode_logic_clear_off = 
497
   chart_microwave_mode__logic_clear_off = 
498 498
      (if (CLEAR_PRESSED = false)
499 499
         then 0
500 500
         else 1);
501 501

  
502
   chart_microwave_mode_logic_door_closed = 
502
   chart_microwave_mode__logic_door_closed = 
503 503
      (if (DOOR_CLOSED = false)
504 504
         then 0
505 505
         else 1);
506 506

  
507
   chart_microwave_mode_logic____wakeup___ = true;
507
   chart_microwave_mode__logic____wakeup___ = true;
508 508

  
509
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
510
      (if (pre chart_microwave_mode_logic____wakeup___)
509
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
510
      (if (pre chart_microwave_mode__logic____wakeup___)
511 511
         then false
512
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
512
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
513 513

  
514
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
514
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
515 515

  
516
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
516
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
517 517

  
518
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
518
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
519 519

  
520
   chart_microwave_mode_logic_final_state_states___root = 
521
      (if chart_microwave_mode_logic____wakeup___
520
   chart_microwave_mode__logic_final_state_states___root = 
521
      (if chart_microwave_mode__logic____wakeup___
522 522
         then 
523
               (if chart_microwave_mode_logic_rlt_evtInitStep
524
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
523
               (if chart_microwave_mode__logic_rlt_evtInitStep
524
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
525 525
                  else 
526
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
526
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
527 527
                  
528 528
                  
529
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
530
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
529
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
530
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
531 531
                  then 
532
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
532
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
533 533
                           then 
534
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
534
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
535 535
                                    then 
536 536
                                          
537 537
                                          3
538
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
539
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
540
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
541
         else chart_microwave_mode_logic_begin_state_states___root);
538
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
539
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
540
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
541
         else chart_microwave_mode__logic_begin_state_states___root);
542 542

  
543
   chart_microwave_mode_logic_mode = 
544
      (if chart_microwave_mode_logic____wakeup___
543
   chart_microwave_mode__logic_mode_ = 
544
      (if chart_microwave_mode__logic____wakeup___
545 545
         then 
546
               (if chart_microwave_mode_logic_rlt_evtInitStep
546
               (if chart_microwave_mode__logic_rlt_evtInitStep
547 547
                  then 
548
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
548
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
549 549
                           then 1
550
                           else chart_microwave_mode_logic_begin_state_outports_mode)
550
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
551 551
                  else 
552
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
552
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
553 553
                  
554 554
                  
555
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
556
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
555
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
556
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
557 557
                  then 
558
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
558
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
559 559
                           then 
560
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
560
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
561 561
                                    then 3
562
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
563
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
564
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
565
         else chart_microwave_mode_logic_begin_state_outports_mode);
562
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
563
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
564
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
565
         else chart_microwave_mode__logic_begin_state_outports_mode_);
566 566

  
567
   chart_microwave_mode_logic_steps_remaining = 
568
      (if chart_microwave_mode_logic____wakeup___
567
   chart_microwave_mode__logic_steps_remaining = 
568
      (if chart_microwave_mode__logic____wakeup___
569 569
         then 
570
               (if chart_microwave_mode_logic_rlt_evtInitStep
571
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
570
               (if chart_microwave_mode__logic_rlt_evtInitStep
571
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
572 572
                  else 
573
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
573
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
574 574
                  
575 575
                  
576
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
577
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
576
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
577
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
578 578
                  then 
579
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
580
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
581
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
582
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
583
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
579
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
580
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
581
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
582
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
583
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
584 584

  
585 585
   
586 586
   
587
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
587
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
588 588

  
589 589
   
590 590
   
591
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
592
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
591
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
592
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
593 593
         then STEPS_TO_COOK
594
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
594
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
595 595

  
596 596
   
597 597
   
598
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
599
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
598
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
599
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
600 600
      (
601
      (if (chart_microwave_mode_logic_start <> 0)
601
      (if (chart_microwave_mode__logic_start <> 0)
602 602
         then true
603 603
         else false) and 
604 604
      
......
611 611

  
612 612
   
613 613
   
614
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
615
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
614
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
615
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
616 616
         then 
617
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
617
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
618 618
                  then 
619 619
                        
620 620
                        0
621
                  else chart_microwave_mode_logic_begin_state_states___root)
622
         else chart_microwave_mode_logic_begin_state_states___root);
621
                  else chart_microwave_mode__logic_begin_state_states___root)
622
         else chart_microwave_mode__logic_begin_state_states___root);
623 623

  
624 624
   
625 625
   
626
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
627
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
628
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
629
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
626
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
627
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
628
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
629
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
630 630
   
631 631
   
632 632

  
633 633
   
634 634
   
635
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
636
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
635
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
636
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
637 637
         then 
638
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
638
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
639 639
                  then 
640
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
640
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
641 641
                           then 3
642
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
643
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
644
         else chart_microwave_mode_logic_begin_state_outports_mode);
642
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
643
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
644
         else chart_microwave_mode__logic_begin_state_outports_mode_);
645 645
   
646 646
   
647 647

  
648 648
   
649 649
   
650
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
651
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
652
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
650
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
651
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
652
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
653 653

  
654 654
   
655 655
   
656
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
657
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
656
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
657
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
658 658
         then 
659 659
               (if 
660 660
                  
661
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
662
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
661
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
662
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
663 663
                  then 
664 664
                        
665 665
                        0
666
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
667
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
666
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
667
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
668 668

  
669 669
   
670 670
   
671
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
672
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
671
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
672
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
673 673
         then 
674
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
674
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
675 675
                  then 
676 676
                        
677 677
                        4
678
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
679
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
678
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
679
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
680 680
   
681 681
   
682 682

  
683 683
   
684 684
   
685
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
685
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
686 686
      ((
687
      (if (chart_microwave_mode_logic_start <> 0)
687
      (if (chart_microwave_mode__logic_start <> 0)
688 688
         then true
689 689
         else false) and 
690 690
      
691
      (if (chart_microwave_mode_logic_door_closed <> 0)
691
      (if (chart_microwave_mode__logic_door_closed <> 0)
692 692
         then true
693 693
         else false)) and 
694
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
694
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
695 695

  
696 696
   
697 697
   
698
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
699
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
698
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
699
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
700 700

  
701 701
   
702 702
   
703
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
704
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
703
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
704
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
705 705
         then 
706
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
706
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
707 707
                  then 
708 708
                        
709 709
                        1
710
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
711
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
710
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
711
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
712 712

  
713 713
   
714 714
   
715
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
716
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
715
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
716
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
717 717
         then 
718
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
718
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
719 719
                  then 1
720
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
721
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
720
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
721
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
722 722

  
723 723
   
724 724
   
725
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
726
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
725
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
726
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
727 727
         then 
728
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
728
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
729 729
                  then 
730 730
                        
731 731
                        2
732
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
733
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
732
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
733
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
734 734
   
735 735
   
736 736

  
737 737
   
738 738
   
739
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
740
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
739
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
740
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
741 741
         then 
742
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
742
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
743 743
                  then 2
744
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
745
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
744
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
745
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
746 746
   
747 747
   
748 748

  
749 749
   
750 750
   
751
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
751
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
752 752
      (
753
      (if (chart_microwave_mode_logic_clear_off <> 0)
753
      (if (chart_microwave_mode__logic_clear_off <> 0)
754 754
         then true
755 755
         else false) and 
756
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
757
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
758
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
756
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
757
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
758
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
759 759

  
760 760
   
761 761
   
762
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
763
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
762
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
763
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
764 764

  
765 765
   
766 766
   
767
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
768
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
767
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
768
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
769 769
         then 
770 770
               (if 
771 771
                  
772
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
773
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
772
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
773
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
774 774
                  then 
775 775
                        
776 776
                        0
777
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
778
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
777
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
778
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
779 779

  
780 780
   
781 781
   
782
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
783
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
782
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
783
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
784 784
         then 0
785
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
785
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
786 786

  
787 787
   
788 788
   
789
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
790
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
789
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
790
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
791 791
         then 
792
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
792
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
793 793
                  then 
794 794
                        
795 795
                        4
796
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
797
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
796
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
797
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
798 798
   
799 799
   
800 800

  
801 801
   
802 802
   
803
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
804
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
805
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
803
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
804
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
805
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
806 806

  
807 807
   
808 808
   
809
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
810
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
809
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
810
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
811 811
         then 
812
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
812
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
813 813
                  then 1
814
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
815
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
814
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
815
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
816 816

  
817 817
   
818 818
   
819
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
820
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
819
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
820
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
821 821
         then 
822
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
822
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
823 823
                  then 
824 824
                        
825 825
                        1
826
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
827
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
826
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
827
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
828 828

  
829 829
   
830 830
   
831
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
832
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
831
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
832
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
833 833
         then 
834
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
834
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
835 835
                  then 
836 836
                        
837 837
                        2
838
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
839
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
838
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
839
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
840 840
   
841 841
   
842 842

  
843 843
   
844 844
   
845
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
845
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
846 846
      ((
847
      (if (chart_microwave_mode_logic_clear_off <> 0)
847
      (if (chart_microwave_mode__logic_clear_off <> 0)
848 848
         then true
849 849
         else false) or 
850 850
      (not 
851
      (if (chart_microwave_mode_logic_door_closed <> 0)
851
      (if (chart_microwave_mode__logic_door_closed <> 0)
852 852
         then true
853 853
         else false))) and 
854
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
855
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
854
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
855
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
856 856

  
857 857
   
858 858
   
859
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
860
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
859
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
860
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
861 861
         then 
862
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
862
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
863 863
                  then 
864 864
                        
865 865
                        1
866
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
867
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
866
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
867
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
868 868

  
869 869
   
870 870
   
871
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
872
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
871
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
872
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
873 873
         then 
874
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
874
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
875 875
                  then 2
876
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
877
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
876
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
877
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
878 878

  
879
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
879
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
880 880
      (if (not 
881 881
         
882
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
883
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
882
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
883
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
884 884
         then 
885 885
               
886 886
               1
887
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
887
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
888 888

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

  
900 900
   
901 901
   
902
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
902
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
903 903
      (
904 904
      
905
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
906
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
905
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
906
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
907 907
      
908
      (if (chart_microwave_mode_logic_door_closed <> 0)
908
      (if (chart_microwave_mode__logic_door_closed <> 0)
909 909
         then true
910 910
         else false)));
911 911

  
912 912
   
913 913
   
914
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
915
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
914
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
915
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
916 916
         then 
917
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
917
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
918 918
                  then 
919 919
                        
920 920
                        2
921
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
922
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
921
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
922
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
923 923
   
924 924
   
925 925

  
926 926
   
927 927
   
928
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
929
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
928
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
929
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
930 930
         then 
931
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
931
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
932 932
                  then 2
933
                  else chart_microwave_mode_logic_begin_state_outports_mode)
934
         else chart_microwave_mode_logic_begin_state_outports_mode);
933
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
934
         else chart_microwave_mode__logic_begin_state_outports_mode_);
935 935
   
936 936
   
937 937

  
938 938
   
939 939
   
940
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
940
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
941 941
      (
942 942
      
943
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
944
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
945
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
943
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
944
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
945
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
946 946

  
947 947
   
948 948
   
949
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
950
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
949
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
950
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
951 951
         then 
952
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
952
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
953 953
                  then 
954 954
                        
955 955
                        3
956
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
957
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
956
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
957
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
958 958
   
959 959
   
960 960

  
961 961
   
962 962
   
963
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
964
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
963
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
964
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
965 965
         then 
966 966
               
967 967
               4
968
         else chart_microwave_mode_logic_begin_state_states___root);
968
         else chart_microwave_mode__logic_begin_state_states___root);
969 969
   
970 970
   
971 971

  
972
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
972
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
973 973

  
974 974
   p17 = (((not (enable and 
975 975
      (not KP_CLEAR))) or 
......
1420 1420
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1421 1421

  
1422 1422
   SETUP = 
1423
      (if (1 = microwave_microwave_mode_logic_mode)
1423
      (if (1 = microwave_microwave_mode__logic_mode_)
1424 1424
         then true
1425 1425
         else false);
1426 1426

  
......
1441 1441
      (RIGHT_DIGIT = 5))));
1442 1442

  
1443 1443
   enable = (true -> 
1444
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1444
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1445 1445
         then true
1446 1446
         else false));
1447 1447

  

Also available in: Unified diff