Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave17.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; 
......
336 336
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
337 337
      (not (pre KP_CLEAR))));
338 338

  
339
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
339
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
340 340

  
341
   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));
341
   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));
342 342

  
343 343
   SUSPENDED = 
344
      (if (3 = microwave_microwave_mode_logic_mode)
344
      (if (3 = microwave_microwave_mode__logic_mode_)
345 345
         then true
346 346
         else false);
347 347

  
......
418 418
      KP_CLEAR)) or 
419 419
      (RIGHT_DIGIT = 0));
420 420

  
421
   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);
421
   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);
422 422

  
423 423
   OK = (true -> ((not (enable and 
424 424
      (not KP_CLEAR))) or 
......
446 446
      (RIGHT_DIGIT = 3))));
447 447

  
448 448
   COOKING = 
449
      (if (2 = microwave_microwave_mode_logic_mode)
449
      (if (2 = microwave_microwave_mode__logic_mode_)
450 450
         then true
451 451
         else false);
452 452

  
......
458 458
   START_PRESSED = (KP_START -> (KP_START and 
459 459
      (not (pre KP_START))));
460 460

  
461
   chart_microwave_mode_logic_start = 
461
   chart_microwave_mode__logic_start = 
462 462
      (if (START_PRESSED = false)
463 463
         then 0
464 464
         else 1);
465 465

  
466
   chart_microwave_mode_logic_clear_off = 
466
   chart_microwave_mode__logic_clear_off = 
467 467
      (if (CLEAR_PRESSED = false)
468 468
         then 0
469 469
         else 1);
470 470

  
471
   chart_microwave_mode_logic_door_closed = 
471
   chart_microwave_mode__logic_door_closed = 
472 472
      (if (DOOR_CLOSED = false)
473 473
         then 0
474 474
         else 1);
475 475

  
476
   chart_microwave_mode_logic____wakeup___ = true;
476
   chart_microwave_mode__logic____wakeup___ = true;
477 477

  
478
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
479
      (if (pre chart_microwave_mode_logic____wakeup___)
478
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
479
      (if (pre chart_microwave_mode__logic____wakeup___)
480 480
         then false
481
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
481
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
482 482

  
483
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
483
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
484 484

  
485
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
485
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
486 486

  
487
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
487
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
488 488

  
489
   chart_microwave_mode_logic_final_state_states___root = 
490
      (if chart_microwave_mode_logic____wakeup___
489
   chart_microwave_mode__logic_final_state_states___root = 
490
      (if chart_microwave_mode__logic____wakeup___
491 491
         then 
492
               (if chart_microwave_mode_logic_rlt_evtInitStep
493
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
492
               (if chart_microwave_mode__logic_rlt_evtInitStep
493
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
494 494
                  else 
495
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
495
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
496 496
                  
497 497
                  
498
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
499
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
498
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
499
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
500 500
                  then 
501
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
501
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
502 502
                           then 
503
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
503
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
504 504
                                    then 
505 505
                                          
506 506
                                          3
507
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
508
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
509
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
510
         else chart_microwave_mode_logic_begin_state_states___root);
507
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
508
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
509
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
510
         else chart_microwave_mode__logic_begin_state_states___root);
511 511

  
512
   chart_microwave_mode_logic_mode = 
513
      (if chart_microwave_mode_logic____wakeup___
512
   chart_microwave_mode__logic_mode_ = 
513
      (if chart_microwave_mode__logic____wakeup___
514 514
         then 
515
               (if chart_microwave_mode_logic_rlt_evtInitStep
515
               (if chart_microwave_mode__logic_rlt_evtInitStep
516 516
                  then 
517
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
517
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
518 518
                           then 1
519
                           else chart_microwave_mode_logic_begin_state_outports_mode)
519
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
520 520
                  else 
521
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
521
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
522 522
                  
523 523
                  
524
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
525
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
524
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
525
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
526 526
                  then 
527
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
527
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
528 528
                           then 
529
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
529
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
530 530
                                    then 3
531
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
532
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
533
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
534
         else chart_microwave_mode_logic_begin_state_outports_mode);
531
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
532
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
533
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
534
         else chart_microwave_mode__logic_begin_state_outports_mode_);
535 535

  
536
   chart_microwave_mode_logic_steps_remaining = 
537
      (if chart_microwave_mode_logic____wakeup___
536
   chart_microwave_mode__logic_steps_remaining = 
537
      (if chart_microwave_mode__logic____wakeup___
538 538
         then 
539
               (if chart_microwave_mode_logic_rlt_evtInitStep
540
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
539
               (if chart_microwave_mode__logic_rlt_evtInitStep
540
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
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_5
549
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
550
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
551
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
552
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
548
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
549
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
550
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
551
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
552
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
553 553

  
554 554
   
555 555
   
556
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
556
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
557 557

  
558 558
   
559 559
   
560
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
561
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
560
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
561
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
562 562
         then STEPS_TO_COOK
563
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
563
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
568
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
567
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
568
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
569 569
      (
570
      (if (chart_microwave_mode_logic_start <> 0)
570
      (if (chart_microwave_mode__logic_start <> 0)
571 571
         then true
572 572
         else false) and 
573 573
      
......
580 580

  
581 581
   
582 582
   
583
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
584
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
583
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
584
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
585 585
         then 
586
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
586
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
587 587
                  then 
588 588
                        
589 589
                        0
590
                  else chart_microwave_mode_logic_begin_state_states___root)
591
         else chart_microwave_mode_logic_begin_state_states___root);
590
                  else chart_microwave_mode__logic_begin_state_states___root)
591
         else chart_microwave_mode__logic_begin_state_states___root);
592 592

  
593 593
   
594 594
   
595
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
596
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
597
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
598
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
595
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
596
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
597
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
598
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
599 599
   
600 600
   
601 601

  
602 602
   
603 603
   
604
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
605
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
604
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
605
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
606 606
         then 
607
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
607
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
608 608
                  then 
609
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
609
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
610 610
                           then 3
611
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
612
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
613
         else chart_microwave_mode_logic_begin_state_outports_mode);
611
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
612
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
613
         else chart_microwave_mode__logic_begin_state_outports_mode_);
614 614
   
615 615
   
616 616

  
617 617
   
618 618
   
619
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
620
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
621
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
619
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
620
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
621
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
622 622

  
623 623
   
624 624
   
625
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
626
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
625
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
626
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
627 627
         then 
628 628
               (if 
629 629
                  
630
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
631
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
630
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
631
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
632 632
                  then 
633 633
                        
634 634
                        0
635
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
636
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
635
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
636
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
637 637

  
638 638
   
639 639
   
640
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
641
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
640
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
641
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
642 642
         then 
643
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
643
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
644 644
                  then 
645 645
                        
646 646
                        4
647
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
648
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
647
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
648
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
649 649
   
650 650
   
651 651

  
652 652
   
653 653
   
654
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
654
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
655 655
      ((
656
      (if (chart_microwave_mode_logic_start <> 0)
656
      (if (chart_microwave_mode__logic_start <> 0)
657 657
         then true
658 658
         else false) and 
659 659
      
660
      (if (chart_microwave_mode_logic_door_closed <> 0)
660
      (if (chart_microwave_mode__logic_door_closed <> 0)
661 661
         then true
662 662
         else false)) and 
663
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
663
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
664 664

  
665 665
   
666 666
   
667
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
668
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
667
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
668
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
669 669

  
670 670
   
671 671
   
672
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
673
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
672
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
673
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
674 674
         then 
675
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
675
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
676 676
                  then 
677 677
                        
678 678
                        1
679
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
680
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
679
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
680
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
681 681

  
682 682
   
683 683
   
684
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
685
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
684
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
685
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
686 686
         then 
687
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
687
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
688 688
                  then 1
689
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
690
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
689
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
690
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
691 691

  
692 692
   
693 693
   
694
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
695
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
694
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
695
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
696 696
         then 
697
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
697
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
698 698
                  then 
699 699
                        
700 700
                        2
701
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
702
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
701
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
702
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
703 703
   
704 704
   
705 705

  
706 706
   
707 707
   
708
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
709
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
708
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
709
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
710 710
         then 
711
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
711
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
712 712
                  then 2
713
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
714
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
713
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
714
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
715 715
   
716 716
   
717 717

  
718 718
   
719 719
   
720
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
720
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
721 721
      (
722
      (if (chart_microwave_mode_logic_clear_off <> 0)
722
      (if (chart_microwave_mode__logic_clear_off <> 0)
723 723
         then true
724 724
         else false) and 
725
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
726
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
727
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
725
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
726
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
727
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
728 728

  
729 729
   
730 730
   
731
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
732
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
731
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
732
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
733 733

  
734 734
   
735 735
   
736
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
737
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
736
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
737
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
738 738
         then 
739 739
               (if 
740 740
                  
741
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
742
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
741
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
742
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
743 743
                  then 
744 744
                        
745 745
                        0
746
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
747
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
746
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
747
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
748 748

  
749 749
   
750 750
   
751
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
752
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
751
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
752
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
753 753
         then 0
754
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
754
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
755 755

  
756 756
   
757 757
   
758
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
759
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
758
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
759
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
760 760
         then 
761
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
761
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
762 762
                  then 
763 763
                        
764 764
                        4
765
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
766
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
765
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
766
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
767 767
   
768 768
   
769 769

  
770 770
   
771 771
   
772
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
773
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
774
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
772
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
773
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
774
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
775 775

  
776 776
   
777 777
   
778
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
779
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
778
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
779
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
780 780
         then 
781
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
781
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
782 782
                  then 1
783
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
784
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
783
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
784
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
785 785

  
786 786
   
787 787
   
788
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
789
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
788
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
789
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
790 790
         then 
791
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
791
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
792 792
                  then 
793 793
                        
794 794
                        1
795
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
796
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
795
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
796
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
797 797

  
798 798
   
799 799
   
800
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
801
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
800
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
801
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
802 802
         then 
803
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
803
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
804 804
                  then 
805 805
                        
806 806
                        2
807
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
808
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
807
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
808
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
809 809
   
810 810
   
811 811

  
812 812
   
813 813
   
814
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
814
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
815 815
      ((
816
      (if (chart_microwave_mode_logic_clear_off <> 0)
816
      (if (chart_microwave_mode__logic_clear_off <> 0)
817 817
         then true
818 818
         else false) or 
819 819
      (not 
820
      (if (chart_microwave_mode_logic_door_closed <> 0)
820
      (if (chart_microwave_mode__logic_door_closed <> 0)
821 821
         then true
822 822
         else false))) and 
823
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
824
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
823
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
824
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
825 825

  
826 826
   
827 827
   
828
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
829
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
828
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
829
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
830 830
         then 
831
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
831
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
832 832
                  then 
833 833
                        
834 834
                        1
835
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
836
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
835
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
836
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
837 837

  
838 838
   
839 839
   
840
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
841
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
840
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
841
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
842 842
         then 
843
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
843
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
844 844
                  then 2
845
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
846
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
845
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
846
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
847 847

  
848
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
848
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
849 849
      (if (not 
850 850
         
851
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
852
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
851
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
852
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
853 853
         then 
854 854
               
855 855
               1
856
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
856
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
857 857

  
858 858
   
859 859
   
860
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
860
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
861 861
      
862
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
863
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
862
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
863
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
864 864
      
865 865
      
866
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
867
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
866
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
867
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
868 868

  
869 869
   
870 870
   
871
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
871
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
872 872
      (
873 873
      
874
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
875
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
874
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
875
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
876 876
      
877
      (if (chart_microwave_mode_logic_door_closed <> 0)
877
      (if (chart_microwave_mode__logic_door_closed <> 0)
878 878
         then true
879 879
         else false)));
880 880

  
881 881
   
882 882
   
883
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
884
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
883
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
884
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
885 885
         then 
886
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
886
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
887 887
                  then 
888 888
                        
889 889
                        2
890
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
891
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
890
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
891
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
892 892
   
893 893
   
894 894

  
895 895
   
896 896
   
897
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
898
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
897
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
898
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
899 899
         then 
900
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
900
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
901 901
                  then 2
902
                  else chart_microwave_mode_logic_begin_state_outports_mode)
903
         else chart_microwave_mode_logic_begin_state_outports_mode);
902
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
903
         else chart_microwave_mode__logic_begin_state_outports_mode_);
904 904
   
905 905
   
906 906

  
907 907
   
908 908
   
909
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
909
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
910 910
      (
911 911
      
912
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
913
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
914
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
912
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
913
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
914
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
915 915

  
916 916
   
917 917
   
918
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
919
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
918
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
919
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
920 920
         then 
921
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
921
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
922 922
                  then 
923 923
                        
924 924
                        3
925
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
926
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
925
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
926
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
927 927
   
928 928
   
929 929

  
930 930
   
931 931
   
932
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
933
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
932
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
933
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
934 934
         then 
935 935
               
936 936
               4
937
         else chart_microwave_mode_logic_begin_state_states___root);
937
         else chart_microwave_mode__logic_begin_state_states___root);
938 938
   
939 939
   
940 940

  
941
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
941
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
942 942

  
943 943
   p17 = (((not (enable and 
944 944
      (not KP_CLEAR))) or 
......
1380 1380
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1381 1381

  
1382 1382
   SETUP = 
1383
      (if (1 = microwave_microwave_mode_logic_mode)
1383
      (if (1 = microwave_microwave_mode__logic_mode_)
1384 1384
         then true
1385 1385
         else false);
1386 1386

  
......
1401 1401
      (RIGHT_DIGIT = 5))));
1402 1402

  
1403 1403
   enable = (true -> 
1404
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1404
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1405 1405
         then true
1406 1406
         else false));
1407 1407

  

Also available in: Unified diff