Project

General

Profile

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

View differences:

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

  
340
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
340
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
341 341

  
342
   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));
342
   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));
343 343

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

  
......
419 419
      KP_CLEAR)) or 
420 420
      (RIGHT_DIGIT = 0));
421 421

  
422
   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);
422
   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);
423 423

  
424 424
   p14 = (true -> ((not (enable and 
425 425
      (not KP_CLEAR))) or 
......
447 447
      (RIGHT_DIGIT = 3))));
448 448

  
449 449
   COOKING = 
450
      (if (2 = microwave_microwave_mode_logic_mode)
450
      (if (2 = microwave_microwave_mode__logic_mode_)
451 451
         then true
452 452
         else false);
453 453

  
......
459 459
   START_PRESSED = (KP_START -> (KP_START and 
460 460
      (not (pre KP_START))));
461 461

  
462
   chart_microwave_mode_logic_start = 
462
   chart_microwave_mode__logic_start = 
463 463
      (if (START_PRESSED = false)
464 464
         then 0
465 465
         else 1);
466 466

  
467
   chart_microwave_mode_logic_clear_off = 
467
   chart_microwave_mode__logic_clear_off = 
468 468
      (if (CLEAR_PRESSED = false)
469 469
         then 0
470 470
         else 1);
471 471

  
472
   chart_microwave_mode_logic_door_closed = 
472
   chart_microwave_mode__logic_door_closed = 
473 473
      (if (DOOR_CLOSED = false)
474 474
         then 0
475 475
         else 1);
476 476

  
477
   chart_microwave_mode_logic____wakeup___ = true;
477
   chart_microwave_mode__logic____wakeup___ = true;
478 478

  
479
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
480
      (if (pre chart_microwave_mode_logic____wakeup___)
479
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
480
      (if (pre chart_microwave_mode__logic____wakeup___)
481 481
         then false
482
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
482
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
483 483

  
484
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
484
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
485 485

  
486
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
486
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
487 487

  
488
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
488
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
489 489

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

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

  
537
   chart_microwave_mode_logic_steps_remaining = 
538
      (if chart_microwave_mode_logic____wakeup___
537
   chart_microwave_mode__logic_steps_remaining = 
538
      (if chart_microwave_mode__logic____wakeup___
539 539
         then 
540
               (if chart_microwave_mode_logic_rlt_evtInitStep
541
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
540
               (if chart_microwave_mode__logic_rlt_evtInitStep
541
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
542 542
                  else 
543
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
543
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
544 544
                  
545 545
                  
546
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
547
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
546
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
547
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
548 548
                  then 
549
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
550
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
551
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
552
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
553
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
549
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
550
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
551
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
552
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
553
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
554 554

  
555 555
   
556 556
   
557
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
557
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
558 558

  
559 559
   
560 560
   
561
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
562
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
561
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
562
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
563 563
         then STEPS_TO_COOK
564
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
564
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
565 565

  
566 566
   
567 567
   
568
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
569
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
568
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
569
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
570 570
      (
571
      (if (chart_microwave_mode_logic_start <> 0)
571
      (if (chart_microwave_mode__logic_start <> 0)
572 572
         then true
573 573
         else false) and 
574 574
      
......
581 581

  
582 582
   
583 583
   
584
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
585
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
584
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
585
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
586 586
         then 
587
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
587
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
588 588
                  then 
589 589
                        
590 590
                        0
591
                  else chart_microwave_mode_logic_begin_state_states___root)
592
         else chart_microwave_mode_logic_begin_state_states___root);
591
                  else chart_microwave_mode__logic_begin_state_states___root)
592
         else chart_microwave_mode__logic_begin_state_states___root);
593 593

  
594 594
   
595 595
   
596
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
597
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
598
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
599
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
596
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
597
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
598
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
599
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
600 600
   
601 601
   
602 602

  
603 603
   
604 604
   
605
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
606
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
605
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
606
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
607 607
         then 
608
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
608
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
609 609
                  then 
610
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
610
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
611 611
                           then 3
612
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
613
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
614
         else chart_microwave_mode_logic_begin_state_outports_mode);
612
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
613
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
614
         else chart_microwave_mode__logic_begin_state_outports_mode_);
615 615
   
616 616
   
617 617

  
618 618
   
619 619
   
620
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
621
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
622
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
620
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
621
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
622
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
623 623

  
624 624
   
625 625
   
626
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
627
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
626
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
627
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
628 628
         then 
629 629
               (if 
630 630
                  
631
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
632
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
631
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
632
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
633 633
                  then 
634 634
                        
635 635
                        0
636
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
637
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
636
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
637
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
638 638

  
639 639
   
640 640
   
641
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
642
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
641
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
642
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
643 643
         then 
644
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
644
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
645 645
                  then 
646 646
                        
647 647
                        4
648
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
649
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
648
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
649
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
650 650
   
651 651
   
652 652

  
653 653
   
654 654
   
655
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
655
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
656 656
      ((
657
      (if (chart_microwave_mode_logic_start <> 0)
657
      (if (chart_microwave_mode__logic_start <> 0)
658 658
         then true
659 659
         else false) and 
660 660
      
661
      (if (chart_microwave_mode_logic_door_closed <> 0)
661
      (if (chart_microwave_mode__logic_door_closed <> 0)
662 662
         then true
663 663
         else false)) and 
664
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
664
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
665 665

  
666 666
   
667 667
   
668
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
669
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
668
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
669
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
670 670

  
671 671
   
672 672
   
673
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
674
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
673
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
674
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
675 675
         then 
676
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
676
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
677 677
                  then 
678 678
                        
679 679
                        1
680
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
681
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
680
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
681
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
682 682

  
683 683
   
684 684
   
685
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
686
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
685
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
686
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
687 687
         then 
688
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
688
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
689 689
                  then 1
690
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
691
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
690
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
691
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
692 692

  
693 693
   
694 694
   
695
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
696
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
695
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
696
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
697 697
         then 
698
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
698
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
699 699
                  then 
700 700
                        
701 701
                        2
702
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
703
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
702
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
703
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
704 704
   
705 705
   
706 706

  
707 707
   
708 708
   
709
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
710
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
709
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
710
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
711 711
         then 
712
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
712
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
713 713
                  then 2
714
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
715
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
714
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
715
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
716 716
   
717 717
   
718 718

  
719 719
   
720 720
   
721
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
721
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
722 722
      (
723
      (if (chart_microwave_mode_logic_clear_off <> 0)
723
      (if (chart_microwave_mode__logic_clear_off <> 0)
724 724
         then true
725 725
         else false) and 
726
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
727
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
728
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
726
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
727
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
728
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
729 729

  
730 730
   
731 731
   
732
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
733
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
732
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
733
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
734 734

  
735 735
   
736 736
   
737
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
738
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
737
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
738
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
739 739
         then 
740 740
               (if 
741 741
                  
742
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
743
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
742
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
743
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
744 744
                  then 
745 745
                        
746 746
                        0
747
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
748
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
747
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
748
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
749 749

  
750 750
   
751 751
   
752
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
753
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
752
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
753
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
754 754
         then 0
755
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
755
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
756 756

  
757 757
   
758 758
   
759
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
760
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
759
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
760
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
761 761
         then 
762
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
762
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
763 763
                  then 
764 764
                        
765 765
                        4
766
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
767
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
766
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
767
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
768 768
   
769 769
   
770 770

  
771 771
   
772 772
   
773
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
774
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
775
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
773
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
774
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
775
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
776 776

  
777 777
   
778 778
   
779
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
780
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
779
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
780
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
781 781
         then 
782
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
782
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
783 783
                  then 1
784
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
785
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
784
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
785
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
786 786

  
787 787
   
788 788
   
789
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
790
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
789
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
790
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
791 791
         then 
792
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
792
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
793 793
                  then 
794 794
                        
795 795
                        1
796
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
797
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
796
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
797
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
798 798

  
799 799
   
800 800
   
801
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
802
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
801
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
802
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
803 803
         then 
804
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
804
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
805 805
                  then 
806 806
                        
807 807
                        2
808
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
809
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
808
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
809
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
810 810
   
811 811
   
812 812

  
813 813
   
814 814
   
815
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
815
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
816 816
      ((
817
      (if (chart_microwave_mode_logic_clear_off <> 0)
817
      (if (chart_microwave_mode__logic_clear_off <> 0)
818 818
         then true
819 819
         else false) or 
820 820
      (not 
821
      (if (chart_microwave_mode_logic_door_closed <> 0)
821
      (if (chart_microwave_mode__logic_door_closed <> 0)
822 822
         then true
823 823
         else false))) and 
824
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
825
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
824
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
825
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
826 826

  
827 827
   
828 828
   
829
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
830
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
829
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
830
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
831 831
         then 
832
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
832
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
833 833
                  then 
834 834
                        
835 835
                        1
836
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
837
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
836
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
837
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
838 838

  
839 839
   
840 840
   
841
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
842
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
841
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
842
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
843 843
         then 
844
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
844
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
845 845
                  then 2
846
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
847
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
846
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
847
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
848 848

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

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

  
870 870
   
871 871
   
872
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
872
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
873 873
      (
874 874
      
875
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
876
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
875
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
876
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
877 877
      
878
      (if (chart_microwave_mode_logic_door_closed <> 0)
878
      (if (chart_microwave_mode__logic_door_closed <> 0)
879 879
         then true
880 880
         else false)));
881 881

  
882 882
   
883 883
   
884
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
885
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
884
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
885
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
886 886
         then 
887
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
887
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
888 888
                  then 
889 889
                        
890 890
                        2
891
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
892
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
891
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
892
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
893 893
   
894 894
   
895 895

  
896 896
   
897 897
   
898
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
899
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
898
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
899
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
900 900
         then 
901
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
901
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
902 902
                  then 2
903
                  else chart_microwave_mode_logic_begin_state_outports_mode)
904
         else chart_microwave_mode_logic_begin_state_outports_mode);
903
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
904
         else chart_microwave_mode__logic_begin_state_outports_mode_);
905 905
   
906 906
   
907 907

  
908 908
   
909 909
   
910
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
910
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
911 911
      (
912 912
      
913
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
914
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
915
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
913
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
914
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
915
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
916 916

  
917 917
   
918 918
   
919
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
920
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
919
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
920
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
921 921
         then 
922
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
922
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
923 923
                  then 
924 924
                        
925 925
                        3
926
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
927
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
926
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
927
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
928 928
   
929 929
   
930 930

  
931 931
   
932 932
   
933
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
934
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
933
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
934
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
935 935
         then 
936 936
               
937 937
               4
938
         else chart_microwave_mode_logic_begin_state_states___root);
938
         else chart_microwave_mode__logic_begin_state_states___root);
939 939
   
940 940
   
941 941

  
942
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
942
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
943 943

  
944 944
   p17 = (((not (enable and 
945 945
      (not KP_CLEAR))) or 
......
1381 1381
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1382 1382

  
1383 1383
   SETUP = 
1384
      (if (1 = microwave_microwave_mode_logic_mode)
1384
      (if (1 = microwave_microwave_mode__logic_mode_)
1385 1385
         then true
1386 1386
         else false);
1387 1387

  
......
1402 1402
      (RIGHT_DIGIT = 5))));
1403 1403

  
1404 1404
   enable = (true -> 
1405
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1405
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1406 1406
         then true
1407 1407
         else false));
1408 1408

  

Also available in: Unified diff