Project

General

Profile

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

View differences:

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

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

  
345
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
345
   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 346

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

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

  
425
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
425
   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 426

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

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

  
......
465 465
   START_PRESSED = (KP_START -> (KP_START and 
466 466
      (not (pre KP_START))));
467 467

  
468
   chart_microwave_mode_logic_start = 
468
   chart_microwave_mode__logic_start = 
469 469
      (if (START_PRESSED = false)
470 470
         then 0
471 471
         else 1);
472 472

  
473
   chart_microwave_mode_logic_clear_off = 
473
   chart_microwave_mode__logic_clear_off = 
474 474
      (if (CLEAR_PRESSED = false)
475 475
         then 0
476 476
         else 1);
477 477

  
478
   chart_microwave_mode_logic_door_closed = 
478
   chart_microwave_mode__logic_door_closed = 
479 479
      (if (DOOR_CLOSED = false)
480 480
         then 0
481 481
         else 1);
482 482

  
483
   chart_microwave_mode_logic____wakeup___ = true;
483
   chart_microwave_mode__logic____wakeup___ = true;
484 484

  
485
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
486
      (if (pre chart_microwave_mode_logic____wakeup___)
485
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
486
      (if (pre chart_microwave_mode__logic____wakeup___)
487 487
         then false
488
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
488
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
489 489

  
490
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
490
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
491 491

  
492
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
492
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
493 493

  
494
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
494
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
495 495

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

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

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

  
561 561
   
562 562
   
563
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
563
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
568
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
567
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
568
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
569 569
         then STEPS_TO_COOK
570
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
570
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
571 571

  
572 572
   
573 573
   
574
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
575
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
574
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
575
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
576 576
      (
577
      (if (chart_microwave_mode_logic_start <> 0)
577
      (if (chart_microwave_mode__logic_start <> 0)
578 578
         then true
579 579
         else false) and 
580 580
      
......
587 587

  
588 588
   
589 589
   
590
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
591
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
590
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
591
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
592 592
         then 
593
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
593
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
594 594
                  then 
595 595
                        
596 596
                        0
597
                  else chart_microwave_mode_logic_begin_state_states___root)
598
         else chart_microwave_mode_logic_begin_state_states___root);
597
                  else chart_microwave_mode__logic_begin_state_states___root)
598
         else chart_microwave_mode__logic_begin_state_states___root);
599 599

  
600 600
   
601 601
   
602
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
603
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
604
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
605
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
602
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
603
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
604
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
605
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
606 606
   
607 607
   
608 608

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

  
624 624
   
625 625
   
626
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
627
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
628
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
626
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
627
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
628
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
629 629

  
630 630
   
631 631
   
632
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
633
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
632
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
633
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
634 634
         then 
635 635
               (if 
636 636
                  
637
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
638
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
637
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
638
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
639 639
                  then 
640 640
                        
641 641
                        0
642
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
643
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
642
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
643
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
644 644

  
645 645
   
646 646
   
647
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
648
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
647
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
648
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
649 649
         then 
650
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
650
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
651 651
                  then 
652 652
                        
653 653
                        4
654
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
655
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
654
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
655
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
656 656
   
657 657
   
658 658

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

  
672 672
   
673 673
   
674
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
675
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
674
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
675
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
676 676

  
677 677
   
678 678
   
679
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
680
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
679
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
680
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
681 681
         then 
682
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
682
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
683 683
                  then 
684 684
                        
685 685
                        1
686
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
687
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
686
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
687
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
688 688

  
689 689
   
690 690
   
691
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
692
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
691
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
692
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
693 693
         then 
694
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
694
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
695 695
                  then 1
696
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
697
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
696
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
697
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
698 698

  
699 699
   
700 700
   
701
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
702
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
701
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
702
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
703 703
         then 
704
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
704
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
705 705
                  then 
706 706
                        
707 707
                        2
708
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
709
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
708
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
709
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
710 710
   
711 711
   
712 712

  
713 713
   
714 714
   
715
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
716
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
715
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
716
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
717 717
         then 
718
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
718
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
719 719
                  then 2
720
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
721
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
720
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
721
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
722 722
   
723 723
   
724 724

  
725 725
   
726 726
   
727
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
727
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
728 728
      (
729
      (if (chart_microwave_mode_logic_clear_off <> 0)
729
      (if (chart_microwave_mode__logic_clear_off <> 0)
730 730
         then true
731 731
         else false) and 
732
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
733
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
734
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
732
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
733
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
734
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
735 735

  
736 736
   
737 737
   
738
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
739
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
738
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
739
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
740 740

  
741 741
   
742 742
   
743
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
744
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
743
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
744
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
745 745
         then 
746 746
               (if 
747 747
                  
748
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
749
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
748
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
749
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
750 750
                  then 
751 751
                        
752 752
                        0
753
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
754
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
753
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
754
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
755 755

  
756 756
   
757 757
   
758
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
759
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
758
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
759
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
760 760
         then 0
761
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
761
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
762 762

  
763 763
   
764 764
   
765
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
766
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
765
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
766
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
767 767
         then 
768
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
768
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
769 769
                  then 
770 770
                        
771 771
                        4
772
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
773
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
772
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
773
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
774 774
   
775 775
   
776 776

  
777 777
   
778 778
   
779
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
780
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
781
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
779
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
780
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
781
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
782 782

  
783 783
   
784 784
   
785
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
786
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
785
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
786
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
787 787
         then 
788
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
788
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
789 789
                  then 1
790
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
791
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
790
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
791
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
792 792

  
793 793
   
794 794
   
795
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
796
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
795
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
796
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
797 797
         then 
798
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
798
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
799 799
                  then 
800 800
                        
801 801
                        1
802
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
803
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
802
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
803
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
804 804

  
805 805
   
806 806
   
807
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
808
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
807
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
808
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
809 809
         then 
810
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
810
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
811 811
                  then 
812 812
                        
813 813
                        2
814
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
815
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
814
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
815
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
816 816
   
817 817
   
818 818

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

  
833 833
   
834 834
   
835
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
836
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
835
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
836
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
837 837
         then 
838
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
838
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
839 839
                  then 
840 840
                        
841 841
                        1
842
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
843
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
842
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
843
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
844 844

  
845 845
   
846 846
   
847
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
848
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
847
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
848
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
849 849
         then 
850
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
850
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
851 851
                  then 2
852
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
853
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
852
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
853
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
854 854

  
855
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
855
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
856 856
      (if (not 
857 857
         
858
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
859
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
858
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
859
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
860 860
         then 
861 861
               
862 862
               1
863
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
863
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
864 864

  
865 865
   
866 866
   
867
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
867
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
868 868
      
869
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
870
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
869
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
870
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
871 871
      
872 872
      
873
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
874
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
873
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
874
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
875 875

  
876 876
   
877 877
   
878
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
878
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
879 879
      (
880 880
      
881
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
882
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
881
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
882
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
883 883
      
884
      (if (chart_microwave_mode_logic_door_closed <> 0)
884
      (if (chart_microwave_mode__logic_door_closed <> 0)
885 885
         then true
886 886
         else false)));
887 887

  
888 888
   
889 889
   
890
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
891
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
890
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
891
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
892 892
         then 
893
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
893
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
894 894
                  then 
895 895
                        
896 896
                        2
897
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
898
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
897
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
898
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
899 899
   
900 900
   
901 901

  
902 902
   
903 903
   
904
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
905
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
904
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
905
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
906 906
         then 
907
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
907
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
908 908
                  then 2
909
                  else chart_microwave_mode_logic_begin_state_outports_mode)
910
         else chart_microwave_mode_logic_begin_state_outports_mode);
909
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
910
         else chart_microwave_mode__logic_begin_state_outports_mode_);
911 911
   
912 912
   
913 913

  
914 914
   
915 915
   
916
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
916
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
917 917
      (
918 918
      
919
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
920
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
921
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
919
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
920
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
921
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
922 922

  
923 923
   
924 924
   
925
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
926
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
925
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
926
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
927 927
         then 
928
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
928
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
929 929
                  then 
930 930
                        
931 931
                        3
932
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
933
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
932
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
933
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
934 934
   
935 935
   
936 936

  
937 937
   
938 938
   
939
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
940
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
939
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
940
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
941 941
         then 
942 942
               
943 943
               4
944
         else chart_microwave_mode_logic_begin_state_states___root);
944
         else chart_microwave_mode__logic_begin_state_states___root);
945 945
   
946 946
   
947 947

  
948
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
948
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
949 949

  
950 950
   p17 = (((not (enable and 
951 951
      (not KP_CLEAR))) or 
......
1396 1396
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1397 1397

  
1398 1398
   SETUP = 
1399
      (if (1 = microwave_microwave_mode_logic_mode)
1399
      (if (1 = microwave_microwave_mode__logic_mode_)
1400 1400
         then true
1401 1401
         else false);
1402 1402

  
......
1417 1417
      (RIGHT_DIGIT = 5))));
1418 1418

  
1419 1419
   enable = (true -> 
1420
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1420
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1421 1421
         then true
1422 1422
         else false));
1423 1423

  

Also available in: Unified diff