Project

General

Profile

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

View differences:

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

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

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

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

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

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

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

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

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

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

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

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

  
479
   chart_microwave_mode_logic____wakeup___ = true;
479
   chart_microwave_mode__logic____wakeup___ = true;
480 480

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
641 641
   
642 642
   
643
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
644
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
643
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
644
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
645 645
         then 
646
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
646
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
647 647
                  then 
648 648
                        
649 649
                        4
650
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
651
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
652 652
   
653 653
   
654 654

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

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

  
673 673
   
674 674
   
675
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
676
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
675
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
676
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
677 677
         then 
678
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
678
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
679 679
                  then 
680 680
                        
681 681
                        1
682
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
683
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
684 684

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

  
695 695
   
696 696
   
697
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
698
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
697
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
698
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
699 699
         then 
700
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
700
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
701 701
                  then 
702 702
                        
703 703
                        2
704
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
705
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
706 706
   
707 707
   
708 708

  
709 709
   
710 710
   
711
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
712
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
711
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
712
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
713 713
         then 
714
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
714
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
715 715
                  then 2
716
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
717
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
718 718
   
719 719
   
720 720

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

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

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

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

  
759 759
   
760 760
   
761
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
762
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
761
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
762
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
763 763
         then 
764
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
764
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
765 765
                  then 
766 766
                        
767 767
                        4
768
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
769
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
770 770
   
771 771
   
772 772

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

  
779 779
   
780 780
   
781
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
782
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
781
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
782
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
783 783
         then 
784
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
784
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
785 785
                  then 1
786
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
787
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
788 788

  
789 789
   
790 790
   
791
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
792
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
791
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
792
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
793 793
         then 
794
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
794
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
795 795
                  then 
796 796
                        
797 797
                        1
798
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
799
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
800 800

  
801 801
   
802 802
   
803
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
804
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
803
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
804
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
805 805
         then 
806
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
806
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
807 807
                  then 
808 808
                        
809 809
                        2
810
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
811
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
812 812
   
813 813
   
814 814

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

  
829 829
   
830 830
   
831
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
832
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
831
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
832
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
833 833
         then 
834
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
834
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
835 835
                  then 
836 836
                        
837 837
                        1
838
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
839
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
840 840

  
841 841
   
842 842
   
843
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
844
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
843
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
844
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
845 845
         then 
846
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
846
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
847 847
                  then 2
848
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
849
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
850 850

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

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

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

  
884 884
   
885 885
   
886
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
887
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
886
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
887
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
888 888
         then 
889
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
889
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
890 890
                  then 
891 891
                        
892 892
                        2
893
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
894
         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
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
895 895
   
896 896
   
897 897

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

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

  
919 919
   
920 920
   
921
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
922
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
921
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
922
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
923 923
         then 
924
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
924
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
925 925
                  then 
926 926
                        
927 927
                        3
928
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
929
         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
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
930 930
   
931 931
   
932 932

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

  
944
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
944
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
945 945

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

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

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

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

  

Also available in: Unified diff