Project

General

Profile

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

View differences:

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

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

  
339
   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));
339
   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 340

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

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

  
419
   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);
419
   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 420

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

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

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

  
......
449 449
   START_PRESSED = (KP_START -> (KP_START and 
450 450
      (not (pre KP_START))));
451 451

  
452
   chart_microwave_mode_logic_start = 
452
   chart_microwave_mode__logic_start = 
453 453
      (if (START_PRESSED = false)
454 454
         then 0
455 455
         else 1);
456 456

  
457
   chart_microwave_mode_logic_clear_off = 
457
   chart_microwave_mode__logic_clear_off = 
458 458
      (if (CLEAR_PRESSED = false)
459 459
         then 0
460 460
         else 1);
461 461

  
462
   chart_microwave_mode_logic_door_closed = 
462
   chart_microwave_mode__logic_door_closed = 
463 463
      (if (DOOR_CLOSED = false)
464 464
         then 0
465 465
         else 1);
466 466

  
467
   chart_microwave_mode_logic____wakeup___ = true;
467
   chart_microwave_mode__logic____wakeup___ = true;
468 468

  
469
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
470
      (if (pre chart_microwave_mode_logic____wakeup___)
469
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
470
      (if (pre chart_microwave_mode__logic____wakeup___)
471 471
         then false
472
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
472
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
473 473

  
474
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
474
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
475 475

  
476
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
476
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
477 477

  
478
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
478
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
479 479

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

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

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

  
545 545
   
546 546
   
547
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
547
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
548 548

  
549 549
   
550 550
   
551
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
552
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
551
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
552
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
553 553
         then STEPS_TO_COOK
554
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
554
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
555 555

  
556 556
   
557 557
   
558
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
559
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
558
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
559
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
560 560
      (
561
      (if (chart_microwave_mode_logic_start <> 0)
561
      (if (chart_microwave_mode__logic_start <> 0)
562 562
         then true
563 563
         else false) and 
564 564
      
......
571 571

  
572 572
   
573 573
   
574
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
575
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
574
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
575
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
576 576
         then 
577
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
577
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
578 578
                  then 
579 579
                        
580 580
                        0
581
                  else chart_microwave_mode_logic_begin_state_states___root)
582
         else chart_microwave_mode_logic_begin_state_states___root);
581
                  else chart_microwave_mode__logic_begin_state_states___root)
582
         else chart_microwave_mode__logic_begin_state_states___root);
583 583

  
584 584
   
585 585
   
586
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
587
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
588
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
589
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
586
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
587
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
588
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
589
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
590 590
   
591 591
   
592 592

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

  
608 608
   
609 609
   
610
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
611
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
612
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
610
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
611
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
612
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
613 613

  
614 614
   
615 615
   
616
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
617
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
616
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
617
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
618 618
         then 
619 619
               (if 
620 620
                  
621
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
622
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
621
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
622
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
623 623
                  then 
624 624
                        
625 625
                        0
626
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
627
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
626
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
627
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
628 628

  
629 629
   
630 630
   
631
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
632
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
631
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
632
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
633 633
         then 
634
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
634
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
635 635
                  then 
636 636
                        
637 637
                        4
638
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
639
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
638
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
639
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
640 640
   
641 641
   
642 642

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

  
656 656
   
657 657
   
658
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
659
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
658
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
659
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
660 660

  
661 661
   
662 662
   
663
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
664
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
663
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
664
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
665 665
         then 
666
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
666
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
667 667
                  then 
668 668
                        
669 669
                        1
670
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
671
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
670
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
671
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
672 672

  
673 673
   
674 674
   
675
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
676
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
675
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
676
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
677 677
         then 
678
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
678
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
679 679
                  then 1
680
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
681
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
680
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
681
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
682 682

  
683 683
   
684 684
   
685
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
686
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
685
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
686
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
687 687
         then 
688
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
688
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
689 689
                  then 
690 690
                        
691 691
                        2
692
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
693
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
692
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
693
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
694 694
   
695 695
   
696 696

  
697 697
   
698 698
   
699
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
700
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
699
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
700
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
701 701
         then 
702
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
702
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
703 703
                  then 2
704
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
705
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
704
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
705
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
706 706
   
707 707
   
708 708

  
709 709
   
710 710
   
711
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
711
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
712 712
      (
713
      (if (chart_microwave_mode_logic_clear_off <> 0)
713
      (if (chart_microwave_mode__logic_clear_off <> 0)
714 714
         then true
715 715
         else false) and 
716
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
717
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
718
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
716
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
717
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
718
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
719 719

  
720 720
   
721 721
   
722
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
723
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
722
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
723
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
724 724

  
725 725
   
726 726
   
727
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
728
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
727
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
728
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
729 729
         then 
730 730
               (if 
731 731
                  
732
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
733
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
732
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
733
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
734 734
                  then 
735 735
                        
736 736
                        0
737
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
738
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
737
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
738
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
739 739

  
740 740
   
741 741
   
742
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
743
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
742
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
743
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
744 744
         then 0
745
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
745
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
746 746

  
747 747
   
748 748
   
749
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
750
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
749
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
750
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
751 751
         then 
752
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
752
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
753 753
                  then 
754 754
                        
755 755
                        4
756
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
757
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
756
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
757
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
758 758
   
759 759
   
760 760

  
761 761
   
762 762
   
763
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
764
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
765
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
763
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
764
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
765
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
766 766

  
767 767
   
768 768
   
769
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
770
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
769
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
770
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
771 771
         then 
772
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
772
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
773 773
                  then 1
774
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
775
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
774
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
775
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
776 776

  
777 777
   
778 778
   
779
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
780
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
779
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
780
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
781 781
         then 
782
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
782
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
783 783
                  then 
784 784
                        
785 785
                        1
786
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
787
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
786
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
787
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
788 788

  
789 789
   
790 790
   
791
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
792
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
791
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
792
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
793 793
         then 
794
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
794
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
795 795
                  then 
796 796
                        
797 797
                        2
798
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
799
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
798
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
799
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
800 800
   
801 801
   
802 802

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

  
817 817
   
818 818
   
819
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
820
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
819
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
820
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
821 821
         then 
822
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
822
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
823 823
                  then 
824 824
                        
825 825
                        1
826
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
827
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
826
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
827
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
828 828

  
829 829
   
830 830
   
831
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
832
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
831
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
832
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
833 833
         then 
834
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
834
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
835 835
                  then 2
836
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
837
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
836
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
837
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
838 838

  
839
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
839
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
840 840
      (if (not 
841 841
         
842
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
843
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
842
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
843
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
844 844
         then 
845 845
               
846 846
               1
847
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
847
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
848 848

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

  
860 860
   
861 861
   
862
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
862
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
863 863
      (
864 864
      
865
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
866
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
865
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
866
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
867 867
      
868
      (if (chart_microwave_mode_logic_door_closed <> 0)
868
      (if (chart_microwave_mode__logic_door_closed <> 0)
869 869
         then true
870 870
         else false)));
871 871

  
872 872
   
873 873
   
874
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
875
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
874
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
875
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
876 876
         then 
877
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
877
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
878 878
                  then 
879 879
                        
880 880
                        2
881
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
882
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
881
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
882
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
883 883
   
884 884
   
885 885

  
886 886
   
887 887
   
888
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
889
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
888
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
889
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
890 890
         then 
891
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
891
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
892 892
                  then 2
893
                  else chart_microwave_mode_logic_begin_state_outports_mode)
894
         else chart_microwave_mode_logic_begin_state_outports_mode);
893
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
894
         else chart_microwave_mode__logic_begin_state_outports_mode_);
895 895
   
896 896
   
897 897

  
898 898
   
899 899
   
900
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
900
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
901 901
      (
902 902
      
903
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
904
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
905
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
903
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
904
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
905
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
906 906

  
907 907
   
908 908
   
909
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
910
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
909
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
910
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
911 911
         then 
912
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
912
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
913 913
                  then 
914 914
                        
915 915
                        3
916
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
917
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
916
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
917
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
918 918
   
919 919
   
920 920

  
921 921
   
922 922
   
923
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
924
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
923
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
924
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
925 925
         then 
926 926
               
927 927
               4
928
         else chart_microwave_mode_logic_begin_state_states___root);
928
         else chart_microwave_mode__logic_begin_state_states___root);
929 929
   
930 930
   
931 931

  
932
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
932
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
933 933

  
934 934
   p17 = (((not (enable and 
935 935
      (not KP_CLEAR))) or 
......
1371 1371
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1372 1372

  
1373 1373
   SETUP = 
1374
      (if (1 = microwave_microwave_mode_logic_mode)
1374
      (if (1 = microwave_microwave_mode__logic_mode_)
1375 1375
         then true
1376 1376
         else false);
1377 1377

  
......
1392 1392
      (RIGHT_DIGIT = 5))));
1393 1393

  
1394 1394
   enable = (true -> 
1395
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1395
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1396 1396
         then true
1397 1397
         else false));
1398 1398

  

Also available in: Unified diff