Project

General

Profile

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

View differences:

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

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

  
338
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
338
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
339 339

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

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

  
418
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
418
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10);
419 419

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

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

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

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

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

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

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

  
463
   chart_microwave_mode_logic____wakeup___ = true;
463
   chart_microwave_mode__logic____wakeup___ = true;
464 464

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
693 693
   
694 694
   
695
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
696
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
695
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
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 2
700
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
701
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
700
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
701
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
702 702
   
703 703
   
704 704

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

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

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

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

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

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

  
763 763
   
764 764
   
765
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
766
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
765
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
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 1
770
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
771
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
770
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
771
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
772 772

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

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

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

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

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

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

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

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

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

  
882 882
   
883 883
   
884
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
885
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
884
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
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 2
889
                  else chart_microwave_mode_logic_begin_state_outports_mode)
890
         else chart_microwave_mode_logic_begin_state_outports_mode);
889
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
890
         else chart_microwave_mode__logic_begin_state_outports_mode_);
891 891
   
892 892
   
893 893

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

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

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

  
928
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
928
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
929 929

  
930 930
   OK = (((not (enable and 
931 931
      (not KP_CLEAR))) or 
......
1367 1367
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1368 1368

  
1369 1369
   SETUP = 
1370
      (if (1 = microwave_microwave_mode_logic_mode)
1370
      (if (1 = microwave_microwave_mode__logic_mode_)
1371 1371
         then true
1372 1372
         else false);
1373 1373

  
......
1388 1388
      (RIGHT_DIGIT = 5))));
1389 1389

  
1390 1390
   enable = (true -> 
1391
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1391
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1392 1392
         then true
1393 1393
         else false));
1394 1394

  

Also available in: Unified diff