Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave21.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; 
......
332 332
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
333 333
      (not (pre KP_CLEAR))));
334 334

  
335
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
335
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
336 336

  
337
   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));
337
   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));
338 338

  
339 339
   SUSPENDED = 
340
      (if (3 = microwave_microwave_mode_logic_mode)
340
      (if (3 = microwave_microwave_mode__logic_mode_)
341 341
         then true
342 342
         else false);
343 343

  
......
414 414
      KP_CLEAR)) or 
415 415
      (RIGHT_DIGIT = 0));
416 416

  
417
   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);
417
   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);
418 418

  
419 419
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
420 420

  
......
435 435
      (RIGHT_DIGIT = 3))));
436 436

  
437 437
   COOKING = 
438
      (if (2 = microwave_microwave_mode_logic_mode)
438
      (if (2 = microwave_microwave_mode__logic_mode_)
439 439
         then true
440 440
         else false);
441 441

  
......
444 444
   START_PRESSED = (KP_START -> (KP_START and 
445 445
      (not (pre KP_START))));
446 446

  
447
   chart_microwave_mode_logic_start = 
447
   chart_microwave_mode__logic_start = 
448 448
      (if (START_PRESSED = false)
449 449
         then 0
450 450
         else 1);
451 451

  
452
   chart_microwave_mode_logic_clear_off = 
452
   chart_microwave_mode__logic_clear_off = 
453 453
      (if (CLEAR_PRESSED = false)
454 454
         then 0
455 455
         else 1);
456 456

  
457
   chart_microwave_mode_logic_door_closed = 
457
   chart_microwave_mode__logic_door_closed = 
458 458
      (if (DOOR_CLOSED = false)
459 459
         then 0
460 460
         else 1);
461 461

  
462
   chart_microwave_mode_logic____wakeup___ = true;
462
   chart_microwave_mode__logic____wakeup___ = true;
463 463

  
464
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
465
      (if (pre chart_microwave_mode_logic____wakeup___)
464
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
465
      (if (pre chart_microwave_mode__logic____wakeup___)
466 466
         then false
467
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
467
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
468 468

  
469
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
469
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
470 470

  
471
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
471
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
472 472

  
473
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
473
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
474 474

  
475
   chart_microwave_mode_logic_final_state_states___root = 
476
      (if chart_microwave_mode_logic____wakeup___
475
   chart_microwave_mode__logic_final_state_states___root = 
476
      (if chart_microwave_mode__logic____wakeup___
477 477
         then 
478
               (if chart_microwave_mode_logic_rlt_evtInitStep
479
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
478
               (if chart_microwave_mode__logic_rlt_evtInitStep
479
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
480 480
                  else 
481
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
481
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
482 482
                  
483 483
                  
484
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
485
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
484
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
485
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
486 486
                  then 
487
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
487
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
488 488
                           then 
489
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
489
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
490 490
                                    then 
491 491
                                          
492 492
                                          3
493
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
494
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
495
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
496
         else chart_microwave_mode_logic_begin_state_states___root);
493
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
494
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
495
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
496
         else chart_microwave_mode__logic_begin_state_states___root);
497 497

  
498
   chart_microwave_mode_logic_mode = 
499
      (if chart_microwave_mode_logic____wakeup___
498
   chart_microwave_mode__logic_mode_ = 
499
      (if chart_microwave_mode__logic____wakeup___
500 500
         then 
501
               (if chart_microwave_mode_logic_rlt_evtInitStep
501
               (if chart_microwave_mode__logic_rlt_evtInitStep
502 502
                  then 
503
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
503
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
504 504
                           then 1
505
                           else chart_microwave_mode_logic_begin_state_outports_mode)
505
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
506 506
                  else 
507
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
507
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
508 508
                  
509 509
                  
510
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
511
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
510
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
511
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
512 512
                  then 
513
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
513
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
514 514
                           then 
515
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
515
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
516 516
                                    then 3
517
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
518
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
519
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
520
         else chart_microwave_mode_logic_begin_state_outports_mode);
517
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
518
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
519
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
520
         else chart_microwave_mode__logic_begin_state_outports_mode_);
521 521

  
522
   chart_microwave_mode_logic_steps_remaining = 
523
      (if chart_microwave_mode_logic____wakeup___
522
   chart_microwave_mode__logic_steps_remaining = 
523
      (if chart_microwave_mode__logic____wakeup___
524 524
         then 
525
               (if chart_microwave_mode_logic_rlt_evtInitStep
526
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
525
               (if chart_microwave_mode__logic_rlt_evtInitStep
526
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
527 527
                  else 
528
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
528
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
529 529
                  
530 530
                  
531
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
532
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
531
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
532
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
533 533
                  then 
534
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
535
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
536
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
537
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
538
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
534
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
535
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
536
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
537
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
538
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
539 539

  
540 540
   
541 541
   
542
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
542
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
543 543

  
544 544
   
545 545
   
546
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
547
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
546
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
547
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
548 548
         then STEPS_TO_COOK
549
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
549
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
550 550

  
551 551
   
552 552
   
553
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
554
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
553
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
554
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
555 555
      (
556
      (if (chart_microwave_mode_logic_start <> 0)
556
      (if (chart_microwave_mode__logic_start <> 0)
557 557
         then true
558 558
         else false) and 
559 559
      
......
566 566

  
567 567
   
568 568
   
569
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
570
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
569
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
570
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
571 571
         then 
572
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
572
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
573 573
                  then 
574 574
                        
575 575
                        0
576
                  else chart_microwave_mode_logic_begin_state_states___root)
577
         else chart_microwave_mode_logic_begin_state_states___root);
576
                  else chart_microwave_mode__logic_begin_state_states___root)
577
         else chart_microwave_mode__logic_begin_state_states___root);
578 578

  
579 579
   
580 580
   
581
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
582
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
583
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
584
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
581
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
582
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
583
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
584
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
585 585
   
586 586
   
587 587

  
588 588
   
589 589
   
590
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
591
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
590
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
591
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
592 592
         then 
593
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
593
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
594 594
                  then 
595
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
595
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
596 596
                           then 3
597
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
598
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
599
         else chart_microwave_mode_logic_begin_state_outports_mode);
597
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
598
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
599
         else chart_microwave_mode__logic_begin_state_outports_mode_);
600 600
   
601 601
   
602 602

  
603 603
   
604 604
   
605
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
606
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
607
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
605
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
606
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
607
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
608 608

  
609 609
   
610 610
   
611
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
612
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
611
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
612
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
613 613
         then 
614 614
               (if 
615 615
                  
616
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
617
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
616
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
617
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
618 618
                  then 
619 619
                        
620 620
                        0
621
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
622
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
621
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
622
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
623 623

  
624 624
   
625 625
   
626
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
627
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
626
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
627
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
628 628
         then 
629
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
629
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
630 630
                  then 
631 631
                        
632 632
                        4
633
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
634
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
633
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
634
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
635 635
   
636 636
   
637 637

  
638 638
   
639 639
   
640
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
640
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
641 641
      ((
642
      (if (chart_microwave_mode_logic_start <> 0)
642
      (if (chart_microwave_mode__logic_start <> 0)
643 643
         then true
644 644
         else false) and 
645 645
      
646
      (if (chart_microwave_mode_logic_door_closed <> 0)
646
      (if (chart_microwave_mode__logic_door_closed <> 0)
647 647
         then true
648 648
         else false)) and 
649
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
649
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
650 650

  
651 651
   
652 652
   
653
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
654
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
653
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
654
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
655 655

  
656 656
   
657 657
   
658
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
659
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
658
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
659
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
660 660
         then 
661
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
661
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
662 662
                  then 
663 663
                        
664 664
                        1
665
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
666
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
665
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
666
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
667 667

  
668 668
   
669 669
   
670
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
671
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
670
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
671
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
672 672
         then 
673
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
673
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
674 674
                  then 1
675
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
676
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
675
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
676
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
677 677

  
678 678
   
679 679
   
680
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
681
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
680
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
681
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
682 682
         then 
683
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
683
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
684 684
                  then 
685 685
                        
686 686
                        2
687
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
688
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
687
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
688
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
689 689
   
690 690
   
691 691

  
692 692
   
693 693
   
694
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
695
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
694
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
695
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
696 696
         then 
697
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
697
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
698 698
                  then 2
699
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
700
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
699
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
700
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
701 701
   
702 702
   
703 703

  
704 704
   
705 705
   
706
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
706
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
707 707
      (
708
      (if (chart_microwave_mode_logic_clear_off <> 0)
708
      (if (chart_microwave_mode__logic_clear_off <> 0)
709 709
         then true
710 710
         else false) and 
711
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
712
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
713
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
711
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
712
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
713
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
714 714

  
715 715
   
716 716
   
717
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
718
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
717
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
718
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
719 719

  
720 720
   
721 721
   
722
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
723
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
722
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
723
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
724 724
         then 
725 725
               (if 
726 726
                  
727
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
728
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
727
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
728
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
729 729
                  then 
730 730
                        
731 731
                        0
732
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
733
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
732
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
733
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
734 734

  
735 735
   
736 736
   
737
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
738
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
737
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
738
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
739 739
         then 0
740
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
740
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
741 741

  
742 742
   
743 743
   
744
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
745
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
744
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
745
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
746 746
         then 
747
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
747
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
748 748
                  then 
749 749
                        
750 750
                        4
751
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
752
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
751
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
752
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
753 753
   
754 754
   
755 755

  
756 756
   
757 757
   
758
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
759
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
760
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
758
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
759
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
760
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
761 761

  
762 762
   
763 763
   
764
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
765
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
764
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
765
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
766 766
         then 
767
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
767
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
768 768
                  then 1
769
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
770
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
769
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
770
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
771 771

  
772 772
   
773 773
   
774
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
775
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
774
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
775
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
776 776
         then 
777
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
777
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
778 778
                  then 
779 779
                        
780 780
                        1
781
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
782
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
781
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
782
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
783 783

  
784 784
   
785 785
   
786
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
787
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
786
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
787
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
788 788
         then 
789
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
789
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
790 790
                  then 
791 791
                        
792 792
                        2
793
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
794
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
793
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
794
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
795 795
   
796 796
   
797 797

  
798 798
   
799 799
   
800
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
800
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
801 801
      ((
802
      (if (chart_microwave_mode_logic_clear_off <> 0)
802
      (if (chart_microwave_mode__logic_clear_off <> 0)
803 803
         then true
804 804
         else false) or 
805 805
      (not 
806
      (if (chart_microwave_mode_logic_door_closed <> 0)
806
      (if (chart_microwave_mode__logic_door_closed <> 0)
807 807
         then true
808 808
         else false))) and 
809
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
810
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
809
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
810
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
811 811

  
812 812
   
813 813
   
814
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
815
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
814
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
815
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
816 816
         then 
817
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
817
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
818 818
                  then 
819 819
                        
820 820
                        1
821
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
822
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
821
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
822
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
823 823

  
824 824
   
825 825
   
826
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
827
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
826
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
827
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
828 828
         then 
829
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
829
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
830 830
                  then 2
831
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
832
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
831
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
832
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
833 833

  
834
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
834
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
835 835
      (if (not 
836 836
         
837
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
838
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
837
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
838
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
839 839
         then 
840 840
               
841 841
               1
842
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
842
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
843 843

  
844 844
   
845 845
   
846
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
846
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
847 847
      
848
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
849
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
848
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
849
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
850 850
      
851 851
      
852
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
853
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
852
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
853
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
854 854

  
855 855
   
856 856
   
857
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
857
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
858 858
      (
859 859
      
860
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
861
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
860
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
861
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
862 862
      
863
      (if (chart_microwave_mode_logic_door_closed <> 0)
863
      (if (chart_microwave_mode__logic_door_closed <> 0)
864 864
         then true
865 865
         else false)));
866 866

  
867 867
   
868 868
   
869
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
870
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
869
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
870
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
871 871
         then 
872
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
872
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
873 873
                  then 
874 874
                        
875 875
                        2
876
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
877
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
876
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
877
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
878 878
   
879 879
   
880 880

  
881 881
   
882 882
   
883
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
884
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
883
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
884
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
885 885
         then 
886
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
886
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
887 887
                  then 2
888
                  else chart_microwave_mode_logic_begin_state_outports_mode)
889
         else chart_microwave_mode_logic_begin_state_outports_mode);
888
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
889
         else chart_microwave_mode__logic_begin_state_outports_mode_);
890 890
   
891 891
   
892 892

  
893 893
   
894 894
   
895
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
895
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
896 896
      (
897 897
      
898
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
899
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
900
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
898
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
899
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
900
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
901 901

  
902 902
   
903 903
   
904
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
905
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
904
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
905
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
906 906
         then 
907
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
907
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
908 908
                  then 
909 909
                        
910 910
                        3
911
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
912
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
911
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
912
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
913 913
   
914 914
   
915 915

  
916 916
   
917 917
   
918
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
919
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
918
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
919
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
920 920
         then 
921 921
               
922 922
               4
923
         else chart_microwave_mode_logic_begin_state_states___root);
923
         else chart_microwave_mode__logic_begin_state_states___root);
924 924
   
925 925
   
926 926

  
927
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
927
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
928 928

  
929 929

  
930 930
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1331 1331
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1332 1332

  
1333 1333
   SETUP = 
1334
      (if (1 = microwave_microwave_mode_logic_mode)
1334
      (if (1 = microwave_microwave_mode__logic_mode_)
1335 1335
         then true
1336 1336
         else false);
1337 1337

  
......
1352 1352
      (RIGHT_DIGIT = 5))));
1353 1353

  
1354 1354
   enable = (true -> 
1355
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1355
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1356 1356
         then true
1357 1357
         else false));
1358 1358

  

Also available in: Unified diff