Project

General

Profile

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

View differences:

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

  
341
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
341
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
342 342

  
343
   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));
343
   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));
344 344

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

  
......
420 420
      KP_CLEAR)) or 
421 421
      (RIGHT_DIGIT = 0));
422 422

  
423
   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);
423
   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);
424 424

  
425 425
   p14 = (true -> ((not (enable and 
426 426
      (not KP_CLEAR))) or 
......
448 448
      (RIGHT_DIGIT = 3))));
449 449

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

  
......
460 460
   START_PRESSED = (KP_START -> (KP_START and 
461 461
      (not (pre KP_START))));
462 462

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

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

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

  
478
   chart_microwave_mode_logic____wakeup___ = true;
478
   chart_microwave_mode__logic____wakeup___ = true;
479 479

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

  
485
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
485
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
486 486

  
487
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
487
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
488 488

  
489
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
489
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
490 490

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

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

  
538
   chart_microwave_mode_logic_steps_remaining = 
539
      (if chart_microwave_mode_logic____wakeup___
538
   chart_microwave_mode__logic_steps_remaining = 
539
      (if chart_microwave_mode__logic____wakeup___
540 540
         then 
541
               (if chart_microwave_mode_logic_rlt_evtInitStep
542
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
541
               (if chart_microwave_mode__logic_rlt_evtInitStep
542
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
543 543
                  else 
544
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
544
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
545 545
                  
546 546
                  
547
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
548
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
547
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
548
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
549 549
                  then 
550
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
551
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
552
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
553
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
554
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
550
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
551
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
552
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
553
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
554
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
555 555

  
556 556
   
557 557
   
558
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
558
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
559 559

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

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

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

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

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

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

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

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

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

  
667 667
   
668 668
   
669
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
670
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
669
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
670
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
671 671

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

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

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

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

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

  
731 731
   
732 732
   
733
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
734
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
733
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
734
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
735 735

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
943
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
943
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
944 944

  
945 945
   p17 = (((not (enable and 
946 946
      (not KP_CLEAR))) or 
......
1382 1382
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1383 1383

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

  
......
1403 1403
      (RIGHT_DIGIT = 5))));
1404 1404

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

  

Also available in: Unified diff