Project

General

Profile

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

View differences:

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

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

  
340
   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));
340
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
341 341

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

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

  
420
   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);
420
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10);
421 421

  
422 422
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
423 423

  
......
441 441
      (RIGHT_DIGIT = 3))));
442 442

  
443 443
   COOKING = 
444
      (if (2 = microwave_microwave_mode_logic_mode)
444
      (if (2 = microwave_microwave_mode__logic_mode_)
445 445
         then true
446 446
         else false);
447 447

  
......
453 453
   START_PRESSED = (KP_START -> (KP_START and 
454 454
      (not (pre KP_START))));
455 455

  
456
   chart_microwave_mode_logic_start = 
456
   chart_microwave_mode__logic_start = 
457 457
      (if (START_PRESSED = false)
458 458
         then 0
459 459
         else 1);
460 460

  
461
   chart_microwave_mode_logic_clear_off = 
461
   chart_microwave_mode__logic_clear_off = 
462 462
      (if (CLEAR_PRESSED = false)
463 463
         then 0
464 464
         else 1);
465 465

  
466
   chart_microwave_mode_logic_door_closed = 
466
   chart_microwave_mode__logic_door_closed = 
467 467
      (if (DOOR_CLOSED = false)
468 468
         then 0
469 469
         else 1);
470 470

  
471
   chart_microwave_mode_logic____wakeup___ = true;
471
   chart_microwave_mode__logic____wakeup___ = true;
472 472

  
473
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
474
      (if (pre chart_microwave_mode_logic____wakeup___)
473
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
474
      (if (pre chart_microwave_mode__logic____wakeup___)
475 475
         then false
476
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
476
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
477 477

  
478
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
478
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
479 479

  
480
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
480
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
481 481

  
482
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
482
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
483 483

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

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

  
531
   chart_microwave_mode_logic_steps_remaining = 
532
      (if chart_microwave_mode_logic____wakeup___
531
   chart_microwave_mode__logic_steps_remaining = 
532
      (if chart_microwave_mode__logic____wakeup___
533 533
         then 
534
               (if chart_microwave_mode_logic_rlt_evtInitStep
535
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
534
               (if chart_microwave_mode__logic_rlt_evtInitStep
535
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
536 536
                  else 
537
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
537
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
538 538
                  
539 539
                  
540
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
541
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
540
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
541
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
542 542
                  then 
543
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
544
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
545
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
546
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
547
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
543
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
544
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
545
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
546
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
547
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
548 548

  
549 549
   
550 550
   
551
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
551
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
552 552

  
553 553
   
554 554
   
555
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
556
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
555
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
556
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
557 557
         then STEPS_TO_COOK
558
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
558
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
559 559

  
560 560
   
561 561
   
562
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
563
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
562
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
563
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
564 564
      (
565
      (if (chart_microwave_mode_logic_start <> 0)
565
      (if (chart_microwave_mode__logic_start <> 0)
566 566
         then true
567 567
         else false) and 
568 568
      
......
575 575

  
576 576
   
577 577
   
578
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
579
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
578
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
579
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
580 580
         then 
581
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
581
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
582 582
                  then 
583 583
                        
584 584
                        0
585
                  else chart_microwave_mode_logic_begin_state_states___root)
586
         else chart_microwave_mode_logic_begin_state_states___root);
585
                  else chart_microwave_mode__logic_begin_state_states___root)
586
         else chart_microwave_mode__logic_begin_state_states___root);
587 587

  
588 588
   
589 589
   
590
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
591
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
592
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
593
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
590
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
591
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
592
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
593
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
594 594
   
595 595
   
596 596

  
597 597
   
598 598
   
599
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
600
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
599
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
600
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
601 601
         then 
602
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
602
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
603 603
                  then 
604
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
604
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
605 605
                           then 3
606
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
607
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
608
         else chart_microwave_mode_logic_begin_state_outports_mode);
606
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
607
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
608
         else chart_microwave_mode__logic_begin_state_outports_mode_);
609 609
   
610 610
   
611 611

  
612 612
   
613 613
   
614
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
615
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
616
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
614
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
615
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
616
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
617 617

  
618 618
   
619 619
   
620
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
621
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
620
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
621
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
622 622
         then 
623 623
               (if 
624 624
                  
625
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
626
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
625
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
626
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
627 627
                  then 
628 628
                        
629 629
                        0
630
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
631
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
630
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
631
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
632 632

  
633 633
   
634 634
   
635
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
636
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
635
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
636
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
637 637
         then 
638
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
638
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
639 639
                  then 
640 640
                        
641 641
                        4
642
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
643
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
642
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
643
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
644 644
   
645 645
   
646 646

  
647 647
   
648 648
   
649
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
649
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
650 650
      ((
651
      (if (chart_microwave_mode_logic_start <> 0)
651
      (if (chart_microwave_mode__logic_start <> 0)
652 652
         then true
653 653
         else false) and 
654 654
      
655
      (if (chart_microwave_mode_logic_door_closed <> 0)
655
      (if (chart_microwave_mode__logic_door_closed <> 0)
656 656
         then true
657 657
         else false)) and 
658
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
658
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
659 659

  
660 660
   
661 661
   
662
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
663
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
662
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
663
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
664 664

  
665 665
   
666 666
   
667
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
668
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
667
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
668
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
669 669
         then 
670
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
670
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
671 671
                  then 
672 672
                        
673 673
                        1
674
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
675
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
674
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
675
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
676 676

  
677 677
   
678 678
   
679
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
680
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
679
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
680
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
681 681
         then 
682
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
682
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
683 683
                  then 1
684
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
685
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
684
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
685
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
686 686

  
687 687
   
688 688
   
689
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
690
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
689
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
690
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
691 691
         then 
692
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
692
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
693 693
                  then 
694 694
                        
695 695
                        2
696
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
697
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
696
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
697
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
698 698
   
699 699
   
700 700

  
701 701
   
702 702
   
703
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
704
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
703
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
704
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
705 705
         then 
706
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
706
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
707 707
                  then 2
708
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
709
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
708
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
709
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
710 710
   
711 711
   
712 712

  
713 713
   
714 714
   
715
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
715
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
716 716
      (
717
      (if (chart_microwave_mode_logic_clear_off <> 0)
717
      (if (chart_microwave_mode__logic_clear_off <> 0)
718 718
         then true
719 719
         else false) and 
720
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
721
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
722
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
720
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
721
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
722
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
723 723

  
724 724
   
725 725
   
726
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
727
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
726
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
727
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
728 728

  
729 729
   
730 730
   
731
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
732
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
731
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
732
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
733 733
         then 
734 734
               (if 
735 735
                  
736
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
737
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
736
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
737
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
738 738
                  then 
739 739
                        
740 740
                        0
741
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
742
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
741
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
742
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
743 743

  
744 744
   
745 745
   
746
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
747
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
746
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
747
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
748 748
         then 0
749
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
749
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
750 750

  
751 751
   
752 752
   
753
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
754
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
753
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
754
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
755 755
         then 
756
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
756
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
757 757
                  then 
758 758
                        
759 759
                        4
760
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
761
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
760
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
761
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
762 762
   
763 763
   
764 764

  
765 765
   
766 766
   
767
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
768
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
769
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
767
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
768
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
769
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
770 770

  
771 771
   
772 772
   
773
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
774
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
773
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
774
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
775 775
         then 
776
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
776
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
777 777
                  then 1
778
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
779
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
778
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
779
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
780 780

  
781 781
   
782 782
   
783
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
784
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
783
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
784
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
785 785
         then 
786
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
786
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
787 787
                  then 
788 788
                        
789 789
                        1
790
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
791
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
790
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
791
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
792 792

  
793 793
   
794 794
   
795
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
796
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
795
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
796
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
797 797
         then 
798
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
798
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
799 799
                  then 
800 800
                        
801 801
                        2
802
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
803
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
802
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
803
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
804 804
   
805 805
   
806 806

  
807 807
   
808 808
   
809
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
809
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
810 810
      ((
811
      (if (chart_microwave_mode_logic_clear_off <> 0)
811
      (if (chart_microwave_mode__logic_clear_off <> 0)
812 812
         then true
813 813
         else false) or 
814 814
      (not 
815
      (if (chart_microwave_mode_logic_door_closed <> 0)
815
      (if (chart_microwave_mode__logic_door_closed <> 0)
816 816
         then true
817 817
         else false))) and 
818
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
819
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
818
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
819
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
820 820

  
821 821
   
822 822
   
823
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
824
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
823
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
824
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
825 825
         then 
826
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
826
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
827 827
                  then 
828 828
                        
829 829
                        1
830
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
831
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
830
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
831
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
832 832

  
833 833
   
834 834
   
835
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
836
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
835
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
836
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
837 837
         then 
838
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
838
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
839 839
                  then 2
840
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
841
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
840
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
841
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
842 842

  
843
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
843
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
844 844
      (if (not 
845 845
         
846
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
847
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
846
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
847
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
848 848
         then 
849 849
               
850 850
               1
851
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
851
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
852 852

  
853 853
   
854 854
   
855
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
855
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
856 856
      
857
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
858
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
857
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
858
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
859 859
      
860 860
      
861
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
862
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
861
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
862
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
863 863

  
864 864
   
865 865
   
866
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
866
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 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)) and 
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)) and 
871 871
      
872
      (if (chart_microwave_mode_logic_door_closed <> 0)
872
      (if (chart_microwave_mode__logic_door_closed <> 0)
873 873
         then true
874 874
         else false)));
875 875

  
876 876
   
877 877
   
878
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
879
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
878
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
879
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
880 880
         then 
881
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
881
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
882 882
                  then 
883 883
                        
884 884
                        2
885
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
886
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
885
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
886
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
887 887
   
888 888
   
889 889

  
890 890
   
891 891
   
892
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
893
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
892
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
893
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
894 894
         then 
895
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
895
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
896 896
                  then 2
897
                  else chart_microwave_mode_logic_begin_state_outports_mode)
898
         else chart_microwave_mode_logic_begin_state_outports_mode);
897
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
898
         else chart_microwave_mode__logic_begin_state_outports_mode_);
899 899
   
900 900
   
901 901

  
902 902
   
903 903
   
904
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
904
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
905 905
      (
906 906
      
907
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
908
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
909
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
907
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
908
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
909
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
910 910

  
911 911
   
912 912
   
913
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
914
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
913
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
914
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
915 915
         then 
916
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
916
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
917 917
                  then 
918 918
                        
919 919
                        3
920
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
921
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
920
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
921
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
922 922
   
923 923
   
924 924

  
925 925
   
926 926
   
927
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
928
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
927
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
928
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
929 929
         then 
930 930
               
931 931
               4
932
         else chart_microwave_mode_logic_begin_state_states___root);
932
         else chart_microwave_mode__logic_begin_state_states___root);
933 933
   
934 934
   
935 935

  
936
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
936
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
937 937

  
938 938
   p17 = (((not (enable and 
939 939
      (not KP_CLEAR))) or 
......
1375 1375
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1376 1376

  
1377 1377
   SETUP = 
1378
      (if (1 = microwave_microwave_mode_logic_mode)
1378
      (if (1 = microwave_microwave_mode__logic_mode_)
1379 1379
         then true
1380 1380
         else false);
1381 1381

  
......
1396 1396
      (RIGHT_DIGIT = 5))));
1397 1397

  
1398 1398
   enable = (true -> 
1399
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1399
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1400 1400
         then true
1401 1401
         else false));
1402 1402

  

Also available in: Unified diff