Project

General

Profile

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

View differences:

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

  
344
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
344
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
345 345

  
346
   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));
346
   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));
347 347

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

  
......
423 423
      KP_CLEAR)) or 
424 424
      (RIGHT_DIGIT = 0));
425 425

  
426
   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);
426
   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);
427 427

  
428 428
   p14 = (true -> ((not (enable and 
429 429
      (not KP_CLEAR))) or 
......
451 451
      (RIGHT_DIGIT = 3))));
452 452

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

  
......
469 469
   START_PRESSED = (KP_START -> (KP_START and 
470 470
      (not (pre KP_START))));
471 471

  
472
   chart_microwave_mode_logic_start = 
472
   chart_microwave_mode__logic_start = 
473 473
      (if (START_PRESSED = false)
474 474
         then 0
475 475
         else 1);
476 476

  
477
   chart_microwave_mode_logic_clear_off = 
477
   chart_microwave_mode__logic_clear_off = 
478 478
      (if (CLEAR_PRESSED = false)
479 479
         then 0
480 480
         else 1);
481 481

  
482
   chart_microwave_mode_logic_door_closed = 
482
   chart_microwave_mode__logic_door_closed = 
483 483
      (if (DOOR_CLOSED = false)
484 484
         then 0
485 485
         else 1);
486 486

  
487
   chart_microwave_mode_logic____wakeup___ = true;
487
   chart_microwave_mode__logic____wakeup___ = true;
488 488

  
489
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
490
      (if (pre chart_microwave_mode_logic____wakeup___)
489
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
490
      (if (pre chart_microwave_mode__logic____wakeup___)
491 491
         then false
492
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
492
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
493 493

  
494
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
494
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
495 495

  
496
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
496
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
497 497

  
498
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
498
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
499 499

  
500
   chart_microwave_mode_logic_final_state_states___root = 
501
      (if chart_microwave_mode_logic____wakeup___
500
   chart_microwave_mode__logic_final_state_states___root = 
501
      (if chart_microwave_mode__logic____wakeup___
502 502
         then 
503
               (if chart_microwave_mode_logic_rlt_evtInitStep
504
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
503
               (if chart_microwave_mode__logic_rlt_evtInitStep
504
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
505 505
                  else 
506
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
506
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
507 507
                  
508 508
                  
509
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
510
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
509
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
510
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
511 511
                  then 
512
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
512
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
513 513
                           then 
514
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
514
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
515 515
                                    then 
516 516
                                          
517 517
                                          3
518
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
519
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
520
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
521
         else chart_microwave_mode_logic_begin_state_states___root);
518
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
519
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
520
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
521
         else chart_microwave_mode__logic_begin_state_states___root);
522 522

  
523
   chart_microwave_mode_logic_mode = 
524
      (if chart_microwave_mode_logic____wakeup___
523
   chart_microwave_mode__logic_mode_ = 
524
      (if chart_microwave_mode__logic____wakeup___
525 525
         then 
526
               (if chart_microwave_mode_logic_rlt_evtInitStep
526
               (if chart_microwave_mode__logic_rlt_evtInitStep
527 527
                  then 
528
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
528
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
529 529
                           then 1
530
                           else chart_microwave_mode_logic_begin_state_outports_mode)
530
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
531 531
                  else 
532
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
532
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
533 533
                  
534 534
                  
535
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
536
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
535
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
536
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
537 537
                  then 
538
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
538
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
539 539
                           then 
540
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
540
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
541 541
                                    then 3
542
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
543
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
544
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
545
         else chart_microwave_mode_logic_begin_state_outports_mode);
542
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
543
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
544
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
545
         else chart_microwave_mode__logic_begin_state_outports_mode_);
546 546

  
547
   chart_microwave_mode_logic_steps_remaining = 
548
      (if chart_microwave_mode_logic____wakeup___
547
   chart_microwave_mode__logic_steps_remaining = 
548
      (if chart_microwave_mode__logic____wakeup___
549 549
         then 
550
               (if chart_microwave_mode_logic_rlt_evtInitStep
551
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
550
               (if chart_microwave_mode__logic_rlt_evtInitStep
551
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
552 552
                  else 
553
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
553
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
554 554
                  
555 555
                  
556
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
557
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
556
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
557
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
558 558
                  then 
559
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
560
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
561
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
562
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
563
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
559
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
560
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
561
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
562
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
563
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
567
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
568 568

  
569 569
   
570 570
   
571
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
572
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
571
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
572
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
573 573
         then STEPS_TO_COOK
574
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
574
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
575 575

  
576 576
   
577 577
   
578
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
579
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
578
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
579
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
580 580
      (
581
      (if (chart_microwave_mode_logic_start <> 0)
581
      (if (chart_microwave_mode__logic_start <> 0)
582 582
         then true
583 583
         else false) and 
584 584
      
......
591 591

  
592 592
   
593 593
   
594
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
595
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
594
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
595
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
596 596
         then 
597
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
597
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
598 598
                  then 
599 599
                        
600 600
                        0
601
                  else chart_microwave_mode_logic_begin_state_states___root)
602
         else chart_microwave_mode_logic_begin_state_states___root);
601
                  else chart_microwave_mode__logic_begin_state_states___root)
602
         else chart_microwave_mode__logic_begin_state_states___root);
603 603

  
604 604
   
605 605
   
606
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
607
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
608
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
609
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
606
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
607
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
608
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
609
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
610 610
   
611 611
   
612 612

  
613 613
   
614 614
   
615
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
616
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
615
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
616
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
617 617
         then 
618
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
618
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
619 619
                  then 
620
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
620
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
621 621
                           then 3
622
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
623
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
624
         else chart_microwave_mode_logic_begin_state_outports_mode);
622
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
623
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
624
         else chart_microwave_mode__logic_begin_state_outports_mode_);
625 625
   
626 626
   
627 627

  
628 628
   
629 629
   
630
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
631
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
632
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
630
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
631
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
632
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
633 633

  
634 634
   
635 635
   
636
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
637
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
636
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
637
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
638 638
         then 
639 639
               (if 
640 640
                  
641
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
642
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
641
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
642
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
643 643
                  then 
644 644
                        
645 645
                        0
646
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
647
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
646
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
647
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
648 648

  
649 649
   
650 650
   
651
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
652
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
651
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
652
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
653 653
         then 
654
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
654
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
655 655
                  then 
656 656
                        
657 657
                        4
658
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
659
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
658
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
659
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
660 660
   
661 661
   
662 662

  
663 663
   
664 664
   
665
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
665
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
666 666
      ((
667
      (if (chart_microwave_mode_logic_start <> 0)
667
      (if (chart_microwave_mode__logic_start <> 0)
668 668
         then true
669 669
         else false) and 
670 670
      
671
      (if (chart_microwave_mode_logic_door_closed <> 0)
671
      (if (chart_microwave_mode__logic_door_closed <> 0)
672 672
         then true
673 673
         else false)) and 
674
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
674
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
675 675

  
676 676
   
677 677
   
678
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
679
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
678
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
679
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
680 680

  
681 681
   
682 682
   
683
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
684
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
683
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
684
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
685 685
         then 
686
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
686
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
687 687
                  then 
688 688
                        
689 689
                        1
690
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
691
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
690
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
691
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
692 692

  
693 693
   
694 694
   
695
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
696
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
695
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
696
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
697 697
         then 
698
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
698
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
699 699
                  then 1
700
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
701
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
700
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
701
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
702 702

  
703 703
   
704 704
   
705
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
706
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
705
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
706
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
707 707
         then 
708
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
708
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
709 709
                  then 
710 710
                        
711 711
                        2
712
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
713
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
712
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
713
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
714 714
   
715 715
   
716 716

  
717 717
   
718 718
   
719
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
720
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
719
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
720
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
721 721
         then 
722
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
722
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
723 723
                  then 2
724
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
725
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
724
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
725
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
726 726
   
727 727
   
728 728

  
729 729
   
730 730
   
731
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
731
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
732 732
      (
733
      (if (chart_microwave_mode_logic_clear_off <> 0)
733
      (if (chart_microwave_mode__logic_clear_off <> 0)
734 734
         then true
735 735
         else false) and 
736
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
737
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
738
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
736
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
737
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
738
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
739 739

  
740 740
   
741 741
   
742
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
743
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
742
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
743
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
744 744

  
745 745
   
746 746
   
747
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
748
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
747
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
748
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
749 749
         then 
750 750
               (if 
751 751
                  
752
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
753
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
752
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
753
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
754 754
                  then 
755 755
                        
756 756
                        0
757
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
758
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
757
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
758
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
759 759

  
760 760
   
761 761
   
762
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
763
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
762
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
763
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
764 764
         then 0
765
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
765
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
766 766

  
767 767
   
768 768
   
769
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
770
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
769
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
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 
774 774
                        
775 775
                        4
776
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
777
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
776
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
777
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
778 778
   
779 779
   
780 780

  
781 781
   
782 782
   
783
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
784
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
785
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
783
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
784
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
785
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
786 786

  
787 787
   
788 788
   
789
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
790
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
789
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
790
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
791 791
         then 
792
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
792
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
793 793
                  then 1
794
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
795
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
794
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
795
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
796 796

  
797 797
   
798 798
   
799
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
800
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
799
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
800
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
801 801
         then 
802
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
802
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
803 803
                  then 
804 804
                        
805 805
                        1
806
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
807
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
806
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
807
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
808 808

  
809 809
   
810 810
   
811
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
812
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
811
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
812
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
813 813
         then 
814
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
814
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
815 815
                  then 
816 816
                        
817 817
                        2
818
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
819
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
818
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
819
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
820 820
   
821 821
   
822 822

  
823 823
   
824 824
   
825
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
825
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
826 826
      ((
827
      (if (chart_microwave_mode_logic_clear_off <> 0)
827
      (if (chart_microwave_mode__logic_clear_off <> 0)
828 828
         then true
829 829
         else false) or 
830 830
      (not 
831
      (if (chart_microwave_mode_logic_door_closed <> 0)
831
      (if (chart_microwave_mode__logic_door_closed <> 0)
832 832
         then true
833 833
         else false))) and 
834
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
835
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
834
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
835
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
836 836

  
837 837
   
838 838
   
839
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
840
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
839
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
840
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
841 841
         then 
842
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
842
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
843 843
                  then 
844 844
                        
845 845
                        1
846
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
847
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
846
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
847
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
848 848

  
849 849
   
850 850
   
851
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
852
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
851
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
852
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
853 853
         then 
854
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
854
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
855 855
                  then 2
856
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
857
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
856
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
857
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
858 858

  
859
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
859
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
860 860
      (if (not 
861 861
         
862
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
863
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
862
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
863
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
864 864
         then 
865 865
               
866 866
               1
867
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
867
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
868 868

  
869 869
   
870 870
   
871
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
871
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
872 872
      
873
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
874
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
873
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
874
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
875 875
      
876 876
      
877
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
878
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
877
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
878
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
879 879

  
880 880
   
881 881
   
882
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
882
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
883 883
      (
884 884
      
885
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
886
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
885
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
886
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
887 887
      
888
      (if (chart_microwave_mode_logic_door_closed <> 0)
888
      (if (chart_microwave_mode__logic_door_closed <> 0)
889 889
         then true
890 890
         else false)));
891 891

  
892 892
   
893 893
   
894
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
895
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
894
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
895
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
896 896
         then 
897
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
897
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
898 898
                  then 
899 899
                        
900 900
                        2
901
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
902
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
901
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
902
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
903 903
   
904 904
   
905 905

  
906 906
   
907 907
   
908
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
909
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
908
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
909
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
910 910
         then 
911
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
911
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
912 912
                  then 2
913
                  else chart_microwave_mode_logic_begin_state_outports_mode)
914
         else chart_microwave_mode_logic_begin_state_outports_mode);
913
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
914
         else chart_microwave_mode__logic_begin_state_outports_mode_);
915 915
   
916 916
   
917 917

  
918 918
   
919 919
   
920
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
920
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
921 921
      (
922 922
      
923
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
924
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
925
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
923
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
924
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
925
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
926 926

  
927 927
   
928 928
   
929
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
930
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
929
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
930
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
931 931
         then 
932
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
932
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
933 933
                  then 
934 934
                        
935 935
                        3
936
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
937
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
936
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
937
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
938 938
   
939 939
   
940 940

  
941 941
   
942 942
   
943
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
944
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
943
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
944
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
945 945
         then 
946 946
               
947 947
               4
948
         else chart_microwave_mode_logic_begin_state_states___root);
948
         else chart_microwave_mode__logic_begin_state_states___root);
949 949
   
950 950
   
951 951

  
952
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
952
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
953 953

  
954 954
   p17 = (((not (enable and 
955 955
      (not KP_CLEAR))) or 
......
1400 1400
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1401 1401

  
1402 1402
   SETUP = 
1403
      (if (1 = microwave_microwave_mode_logic_mode)
1403
      (if (1 = microwave_microwave_mode__logic_mode_)
1404 1404
         then true
1405 1405
         else false);
1406 1406

  
......
1421 1421
      (RIGHT_DIGIT = 5))));
1422 1422

  
1423 1423
   enable = (true -> 
1424
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1424
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1425 1425
         then true
1426 1426
         else false));
1427 1427

  

Also available in: Unified diff