Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave11.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; 
......
342 342
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
343 343
      (not (pre KP_CLEAR))));
344 344

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

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

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

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

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

  
429 429
   p14 = (true -> ((not (enable and 
430 430
      (not KP_CLEAR))) or 
......
461 461
      (RIGHT_DIGIT = 3))));
462 462

  
463 463
   COOKING = 
464
      (if (2 = microwave_microwave_mode_logic_mode)
464
      (if (2 = microwave_microwave_mode__logic_mode_)
465 465
         then true
466 466
         else false);
467 467

  
......
479 479
   START_PRESSED = (KP_START -> (KP_START and 
480 480
      (not (pre KP_START))));
481 481

  
482
   chart_microwave_mode_logic_start = 
482
   chart_microwave_mode__logic_start = 
483 483
      (if (START_PRESSED = false)
484 484
         then 0
485 485
         else 1);
486 486

  
487
   chart_microwave_mode_logic_clear_off = 
487
   chart_microwave_mode__logic_clear_off = 
488 488
      (if (CLEAR_PRESSED = false)
489 489
         then 0
490 490
         else 1);
491 491

  
492
   chart_microwave_mode_logic_door_closed = 
492
   chart_microwave_mode__logic_door_closed = 
493 493
      (if (DOOR_CLOSED = false)
494 494
         then 0
495 495
         else 1);
496 496

  
497
   chart_microwave_mode_logic____wakeup___ = true;
497
   chart_microwave_mode__logic____wakeup___ = true;
498 498

  
499
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
500
      (if (pre chart_microwave_mode_logic____wakeup___)
499
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
500
      (if (pre chart_microwave_mode__logic____wakeup___)
501 501
         then false
502
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
502
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
503 503

  
504
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
504
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
505 505

  
506
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
506
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
507 507

  
508
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
508
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
509 509

  
510
   chart_microwave_mode_logic_final_state_states___root = 
511
      (if chart_microwave_mode_logic____wakeup___
510
   chart_microwave_mode__logic_final_state_states___root = 
511
      (if chart_microwave_mode__logic____wakeup___
512 512
         then 
513
               (if chart_microwave_mode_logic_rlt_evtInitStep
514
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
513
               (if chart_microwave_mode__logic_rlt_evtInitStep
514
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
515 515
                  else 
516
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
516
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
517 517
                  
518 518
                  
519
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
520
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
519
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
520
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
521 521
                  then 
522
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
522
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
523 523
                           then 
524
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
524
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
525 525
                                    then 
526 526
                                          
527 527
                                          3
528
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
529
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
530
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
531
         else chart_microwave_mode_logic_begin_state_states___root);
528
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
529
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
530
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
531
         else chart_microwave_mode__logic_begin_state_states___root);
532 532

  
533
   chart_microwave_mode_logic_mode = 
534
      (if chart_microwave_mode_logic____wakeup___
533
   chart_microwave_mode__logic_mode_ = 
534
      (if chart_microwave_mode__logic____wakeup___
535 535
         then 
536
               (if chart_microwave_mode_logic_rlt_evtInitStep
536
               (if chart_microwave_mode__logic_rlt_evtInitStep
537 537
                  then 
538
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
538
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
539 539
                           then 1
540
                           else chart_microwave_mode_logic_begin_state_outports_mode)
540
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
541 541
                  else 
542
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
542
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
543 543
                  
544 544
                  
545
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
546
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
545
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
546
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
547 547
                  then 
548
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
548
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
549 549
                           then 
550
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
550
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
551 551
                                    then 3
552
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
553
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
554
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
555
         else chart_microwave_mode_logic_begin_state_outports_mode);
552
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
553
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
554
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
555
         else chart_microwave_mode__logic_begin_state_outports_mode_);
556 556

  
557
   chart_microwave_mode_logic_steps_remaining = 
558
      (if chart_microwave_mode_logic____wakeup___
557
   chart_microwave_mode__logic_steps_remaining = 
558
      (if chart_microwave_mode__logic____wakeup___
559 559
         then 
560
               (if chart_microwave_mode_logic_rlt_evtInitStep
561
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
560
               (if chart_microwave_mode__logic_rlt_evtInitStep
561
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
562 562
                  else 
563
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
563
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
564 564
                  
565 565
                  
566
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
567
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
566
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
567
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
568 568
                  then 
569
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
570
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
571
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
572
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
573
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
569
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
570
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
571
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
572
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
573
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
574 574

  
575 575
   
576 576
   
577
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
577
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
578 578

  
579 579
   
580 580
   
581
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
582
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
581
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
582
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
583 583
         then STEPS_TO_COOK
584
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
584
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
585 585

  
586 586
   
587 587
   
588
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
589
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
588
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
589
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
590 590
      (
591
      (if (chart_microwave_mode_logic_start <> 0)
591
      (if (chart_microwave_mode__logic_start <> 0)
592 592
         then true
593 593
         else false) and 
594 594
      
......
601 601

  
602 602
   
603 603
   
604
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
605
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
604
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
605
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
606 606
         then 
607
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
607
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
608 608
                  then 
609 609
                        
610 610
                        0
611
                  else chart_microwave_mode_logic_begin_state_states___root)
612
         else chart_microwave_mode_logic_begin_state_states___root);
611
                  else chart_microwave_mode__logic_begin_state_states___root)
612
         else chart_microwave_mode__logic_begin_state_states___root);
613 613

  
614 614
   
615 615
   
616
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
617
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
618
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
619
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
616
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
617
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
618
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
619
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
620 620
   
621 621
   
622 622

  
623 623
   
624 624
   
625
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
626
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
625
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
626
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
627 627
         then 
628
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
628
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
629 629
                  then 
630
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
630
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
631 631
                           then 3
632
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
633
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
634
         else chart_microwave_mode_logic_begin_state_outports_mode);
632
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
633
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
634
         else chart_microwave_mode__logic_begin_state_outports_mode_);
635 635
   
636 636
   
637 637

  
638 638
   
639 639
   
640
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
641
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
642
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
640
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
641
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
642
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
643 643

  
644 644
   
645 645
   
646
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
647
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
646
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
647
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
648 648
         then 
649 649
               (if 
650 650
                  
651
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
652
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
651
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
652
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
653 653
                  then 
654 654
                        
655 655
                        0
656
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
657
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
656
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
657
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
658 658

  
659 659
   
660 660
   
661
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
662
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
661
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
662
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
663 663
         then 
664
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
664
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
665 665
                  then 
666 666
                        
667 667
                        4
668
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
669
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
668
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
669
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
670 670
   
671 671
   
672 672

  
673 673
   
674 674
   
675
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
675
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
676 676
      ((
677
      (if (chart_microwave_mode_logic_start <> 0)
677
      (if (chart_microwave_mode__logic_start <> 0)
678 678
         then true
679 679
         else false) and 
680 680
      
681
      (if (chart_microwave_mode_logic_door_closed <> 0)
681
      (if (chart_microwave_mode__logic_door_closed <> 0)
682 682
         then true
683 683
         else false)) and 
684
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
684
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
685 685

  
686 686
   
687 687
   
688
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
689
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
688
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
689
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
690 690

  
691 691
   
692 692
   
693
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
694
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
693
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
694
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
695 695
         then 
696
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
696
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
697 697
                  then 
698 698
                        
699 699
                        1
700
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
701
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
700
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
701
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
702 702

  
703 703
   
704 704
   
705
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
706
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
705
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
706
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
707 707
         then 
708
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
708
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
709 709
                  then 1
710
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
711
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
710
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
711
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
712 712

  
713 713
   
714 714
   
715
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
716
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
715
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
716
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
717 717
         then 
718
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
718
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
719 719
                  then 
720 720
                        
721 721
                        2
722
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
723
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
722
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
723
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
724 724
   
725 725
   
726 726

  
727 727
   
728 728
   
729
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
730
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
729
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
730
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
731 731
         then 
732
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
732
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
733 733
                  then 2
734
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
735
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
734
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
735
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
736 736
   
737 737
   
738 738

  
739 739
   
740 740
   
741
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
741
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
742 742
      (
743
      (if (chart_microwave_mode_logic_clear_off <> 0)
743
      (if (chart_microwave_mode__logic_clear_off <> 0)
744 744
         then true
745 745
         else false) and 
746
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
747
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
748
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
746
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
747
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
748
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
749 749

  
750 750
   
751 751
   
752
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
753
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
752
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
753
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
754 754

  
755 755
   
756 756
   
757
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
758
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
757
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
758
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
759 759
         then 
760 760
               (if 
761 761
                  
762
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
763
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
762
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
763
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
764 764
                  then 
765 765
                        
766 766
                        0
767
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
768
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
767
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
768
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
769 769

  
770 770
   
771 771
   
772
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
773
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
772
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
773
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
774 774
         then 0
775
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
775
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
776 776

  
777 777
   
778 778
   
779
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
780
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
779
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
780
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
781 781
         then 
782
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
782
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
783 783
                  then 
784 784
                        
785 785
                        4
786
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
787
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
786
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
787
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
788 788
   
789 789
   
790 790

  
791 791
   
792 792
   
793
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
794
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
795
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
793
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
794
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
795
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
796 796

  
797 797
   
798 798
   
799
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
800
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
799
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
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 1
804
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
805
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
804
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
805
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
806 806

  
807 807
   
808 808
   
809
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
810
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
809
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
810
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
811 811
         then 
812
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
812
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
813 813
                  then 
814 814
                        
815 815
                        1
816
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
817
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
816
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
817
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
818 818

  
819 819
   
820 820
   
821
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
822
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
821
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
822
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
823 823
         then 
824
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
824
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
825 825
                  then 
826 826
                        
827 827
                        2
828
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
829
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
828
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
829
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
830 830
   
831 831
   
832 832

  
833 833
   
834 834
   
835
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
835
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
836 836
      ((
837
      (if (chart_microwave_mode_logic_clear_off <> 0)
837
      (if (chart_microwave_mode__logic_clear_off <> 0)
838 838
         then true
839 839
         else false) or 
840 840
      (not 
841
      (if (chart_microwave_mode_logic_door_closed <> 0)
841
      (if (chart_microwave_mode__logic_door_closed <> 0)
842 842
         then true
843 843
         else false))) and 
844
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
845
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
844
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
845
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
846 846

  
847 847
   
848 848
   
849
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
850
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
849
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
850
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
851 851
         then 
852
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
852
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
853 853
                  then 
854 854
                        
855 855
                        1
856
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
857
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
856
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
857
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
858 858

  
859 859
   
860 860
   
861
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
862
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
861
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
862
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
863 863
         then 
864
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
864
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
865 865
                  then 2
866
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
867
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
866
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
867
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
868 868

  
869
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
869
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
870 870
      (if (not 
871 871
         
872
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
873
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
872
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
873
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
874 874
         then 
875 875
               
876 876
               1
877
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
877
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
878 878

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

  
890 890
   
891 891
   
892
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
892
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
893 893
      (
894 894
      
895
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
896
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
895
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
896
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
897 897
      
898
      (if (chart_microwave_mode_logic_door_closed <> 0)
898
      (if (chart_microwave_mode__logic_door_closed <> 0)
899 899
         then true
900 900
         else false)));
901 901

  
902 902
   
903 903
   
904
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
905
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
904
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
905
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
906 906
         then 
907
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
907
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
908 908
                  then 
909 909
                        
910 910
                        2
911
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
912
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
911
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
912
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
913 913
   
914 914
   
915 915

  
916 916
   
917 917
   
918
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
919
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
918
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
919
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
920 920
         then 
921
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
921
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
922 922
                  then 2
923
                  else chart_microwave_mode_logic_begin_state_outports_mode)
924
         else chart_microwave_mode_logic_begin_state_outports_mode);
923
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
924
         else chart_microwave_mode__logic_begin_state_outports_mode_);
925 925
   
926 926
   
927 927

  
928 928
   
929 929
   
930
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
930
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
931 931
      (
932 932
      
933
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
934
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
935
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
933
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
934
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
935
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
936 936

  
937 937
   
938 938
   
939
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
940
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
939
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
940
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
941 941
         then 
942
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
942
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
943 943
                  then 
944 944
                        
945 945
                        3
946
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
947
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
946
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
947
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
948 948
   
949 949
   
950 950

  
951 951
   
952 952
   
953
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
954
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
953
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
954
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
955 955
         then 
956 956
               
957 957
               4
958
         else chart_microwave_mode_logic_begin_state_states___root);
958
         else chart_microwave_mode__logic_begin_state_states___root);
959 959
   
960 960
   
961 961

  
962
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
962
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
963 963

  
964 964
   p17 = (((not (enable and 
965 965
      (not KP_CLEAR))) or 
......
1410 1410
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1411 1411

  
1412 1412
   SETUP = 
1413
      (if (1 = microwave_microwave_mode_logic_mode)
1413
      (if (1 = microwave_microwave_mode__logic_mode_)
1414 1414
         then true
1415 1415
         else false);
1416 1416

  
......
1431 1431
      (RIGHT_DIGIT = 5))));
1432 1432

  
1433 1433
   enable = (true -> 
1434
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1434
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1435 1435
         then true
1436 1436
         else false));
1437 1437

  

Also available in: Unified diff