Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/microwave03.lus
regression_tests/lustre_files/success/kind_fmcad08/large/microwave03.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; 
...  ...  
352  352 
CLEAR_PRESSED = (KP_CLEAR > (KP_CLEAR and 
353  353 
(not (pre KP_CLEAR)))); 
354  354  
355 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60); 

355 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);


356  356  
357 
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));


357 
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));


358  358  
359  359 
SUSPENDED = 
360 
(if (3 = microwave_microwave_mode_logic_mode)


360 
(if (3 = microwave_microwave_mode__logic_mode_)


361  361 
then true 
362  362 
else false); 
363  363  
...  ...  
450  450 
KP_CLEAR)) or 
451  451 
(RIGHT_DIGIT = 0)); 
452  452  
453 
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);


453 
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);


454  454  
455  455 
p14 = (true > ((not (enable and 
456  456 
(not KP_CLEAR))) or 
...  ...  
504  504 
(RIGHT_DIGIT = 3)))); 
505  505  
506  506 
COOKING = 
507 
(if (2 = microwave_microwave_mode_logic_mode)


507 
(if (2 = microwave_microwave_mode__logic_mode_)


508  508 
then true 
509  509 
else false); 
510  510  
...  ...  
522  522 
START_PRESSED = (KP_START > (KP_START and 
523  523 
(not (pre KP_START)))); 
524  524  
525 
chart_microwave_mode_logic_start = 

525 
chart_microwave_mode__logic_start =


526  526 
(if (START_PRESSED = false) 
527  527 
then 0 
528  528 
else 1); 
529  529  
530 
chart_microwave_mode_logic_clear_off = 

530 
chart_microwave_mode__logic_clear_off =


531  531 
(if (CLEAR_PRESSED = false) 
532  532 
then 0 
533  533 
else 1); 
534  534  
535 
chart_microwave_mode_logic_door_closed = 

535 
chart_microwave_mode__logic_door_closed =


536  536 
(if (DOOR_CLOSED = false) 
537  537 
then 0 
538  538 
else 1); 
539  539  
540 
chart_microwave_mode_logic____wakeup___ = true; 

540 
chart_microwave_mode__logic____wakeup___ = true;


541  541  
542 
chart_microwave_mode_logic_rlt_evtInitStep = (true > 

543 
(if (pre chart_microwave_mode_logic____wakeup___) 

542 
chart_microwave_mode__logic_rlt_evtInitStep = (true >


543 
(if (pre chart_microwave_mode__logic____wakeup___)


544  544 
then false 
545 
else (pre chart_microwave_mode_logic_rlt_evtInitStep))); 

545 
else (pre chart_microwave_mode__logic_rlt_evtInitStep)));


546  546  
547 
chart_microwave_mode_logic_begin_state_states___root = (0 > (pre chart_microwave_mode_logic_final_state_states___root));


547 
chart_microwave_mode__logic_begin_state_states___root = (0 > (pre chart_microwave_mode__logic_final_state_states___root));


548  548  
549 
chart_microwave_mode_logic_begin_state_outports_mode = (0 > (pre chart_microwave_mode_logic_mode));


549 
chart_microwave_mode__logic_begin_state_outports_mode_ = (0 > (pre chart_microwave_mode__logic_mode_));


550  550  
551 
chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 > (pre chart_microwave_mode_logic_steps_remaining));


551 
chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 > (pre chart_microwave_mode__logic_steps_remaining));


552  552  
553 
chart_microwave_mode_logic_final_state_states___root = 

554 
(if chart_microwave_mode_logic____wakeup___ 

553 
chart_microwave_mode__logic_final_state_states___root =


554 
(if chart_microwave_mode__logic____wakeup___


555  555 
then 
556 
(if chart_microwave_mode_logic_rlt_evtInitStep 

557 
then rlt_enter_microwave_mode_logic_rlt_state_2_states___root 

556 
(if chart_microwave_mode__logic_rlt_evtInitStep


557 
then rlt_enter_microwave_mode__logic_rlt_state_2_states___root


558  558 
else 
559 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

559 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


560  560 

561  561 

562 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

563 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

562 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


563 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


564  564 
then 
565 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

565 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


566  566 
then 
567 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

567 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


568  568 
then 
569  569 

570  570 
3 
571 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

572 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

573 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)) 

574 
else chart_microwave_mode_logic_begin_state_states___root); 

571 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


572 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


573 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))


574 
else chart_microwave_mode__logic_begin_state_states___root);


575  575  
576 
chart_microwave_mode_logic_mode =


577 
(if chart_microwave_mode_logic____wakeup___ 

576 
chart_microwave_mode__logic_mode_ =


577 
(if chart_microwave_mode__logic____wakeup___


578  578 
then 
579 
(if chart_microwave_mode_logic_rlt_evtInitStep 

579 
(if chart_microwave_mode__logic_rlt_evtInitStep


580  580 
then 
581 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

581 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


582  582 
then 1 
583 
else chart_microwave_mode_logic_begin_state_outports_mode)


583 
else chart_microwave_mode__logic_begin_state_outports_mode_)


584  584 
else 
585 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

585 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


586  586 

587  587 

588 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

589 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

588 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


589 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


590  590 
then 
591 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

591 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


592  592 
then 
593 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

593 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


594  594 
then 3 
595 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


596 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


597 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))


598 
else chart_microwave_mode_logic_begin_state_outports_mode);


595 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


596 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


597 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))


598 
else chart_microwave_mode__logic_begin_state_outports_mode_);


599  599  
600 
chart_microwave_mode_logic_steps_remaining = 

601 
(if chart_microwave_mode_logic____wakeup___ 

600 
chart_microwave_mode__logic_steps_remaining =


601 
(if chart_microwave_mode__logic____wakeup___


602  602 
then 
603 
(if chart_microwave_mode_logic_rlt_evtInitStep 

604 
then chart_microwave_mode_logic_begin_state_outports_steps_remaining 

603 
(if chart_microwave_mode__logic_rlt_evtInitStep


604 
then chart_microwave_mode__logic_begin_state_outports_steps_remaining


605  605 
else 
606 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

606 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


607  607 

608  608 

609 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

610 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

609 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


610 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


611  611 
then 
612 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

613 
then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining  1) 

614 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining) 

615 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining)) 

616 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

612 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


613 
then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining  1)


614 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)


615 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))


616 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


617  617  
618  618 

619  619 

620 
rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);


620 
rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);


621  621  
622  622 

623  623 

624 
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 

625 
(if rlt_eval_microwave_mode_logic_rlt_fired_0 

624 
rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining =


625 
(if rlt_eval_microwave_mode__logic_rlt_fired_0


626  626 
then STEPS_TO_COOK 
627 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

627 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


628  628  
629  629 

630 
rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and


631 
((chart_microwave_mode_logic_begin_state_states___root = 4) and 

630 
rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and


631 
((chart_microwave_mode__logic_begin_state_states___root = 4) and


632  632 
( 
633 
(if (chart_microwave_mode_logic_start <> 0) 

633 
(if (chart_microwave_mode__logic_start <> 0)


634  634 
then true 
635  635 
else false) and 
636  636 

...  ...  
643  643  
644  644 

645  645 

646 
rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 

647 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

646 
rlt_eval_microwave_mode__logic_rlt_state_2_states___root =


647 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


648  648 
then 
649 
(if (chart_microwave_mode_logic_begin_state_states___root = 4) 

649 
(if (chart_microwave_mode__logic_begin_state_states___root = 4)


650  650 
then 
651  651 

652  652 
0 
653 
else chart_microwave_mode_logic_begin_state_states___root) 

654 
else chart_microwave_mode_logic_begin_state_states___root); 

653 
else chart_microwave_mode__logic_begin_state_states___root)


654 
else chart_microwave_mode__logic_begin_state_states___root);


655  655  
656  656 

657  657 

658 
rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 

659 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

660 
then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root 

661 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

658 
rlt_eval_microwave_mode__logic_rlt_state_3_states___root =


659 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


660 
then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root


661 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


662  662 

663  663 

664  664  
665  665 

666  666 

667 
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode =


668 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

667 
rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ =


668 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


669  669 
then 
670 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

670 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


671  671 
then 
672 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

672 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


673  673 
then 3 
674 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


675 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


676 
else chart_microwave_mode_logic_begin_state_outports_mode);


674 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


675 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


676 
else chart_microwave_mode__logic_begin_state_outports_mode_);


677  677 

678  678 

679  679  
680  680 

681 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and


682 
(rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 

683 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2)); 

681 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and


682 
(rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and


683 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));


684  684  
685  685 

686  686 

687 
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 

688 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

687 
rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root =


688 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


689  689 
then 
690  690 
(if 
691  691 

692 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

693 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)) 

692 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


693 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))


694  694 
then 
695  695 

696  696 
0 
697 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root) 

698 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root); 

697 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)


698 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);


699  699  
700  700 

701  701 

702 
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 

703 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

702 
rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root =


703 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


704  704 
then 
705 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

705 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


706  706 
then 
707  707 

708  708 
4 
709 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root) 

710 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root); 

709 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)


710 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);


711  711 

712  712 

713  713  
714  714 

715  715 

716 
rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and


716 
rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and


717  717 
(( 
718 
(if (chart_microwave_mode_logic_start <> 0) 

718 
(if (chart_microwave_mode__logic_start <> 0)


719  719 
then true 
720  720 
else false) and 
721  721 

722 
(if (chart_microwave_mode_logic_door_closed <> 0) 

722 
(if (chart_microwave_mode__logic_door_closed <> 0)


723  723 
then true 
724  724 
else false)) and 
725 
(not rlt_eval_microwave_mode_logic_ON_rlt_fired_1))); 

725 
(not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));


726  726  
727  727 

728  728 

729 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or


730 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1); 

729 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or


730 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1);


731  731  
732  732 

733  733 

734 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 

735 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

734 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root =


735 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


736  736 
then 
737 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) 

737 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)


738  738 
then 
739  739 

740  740 
1 
741 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root) 

742 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root); 

741 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)


742 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);


743  743  
744  744 

745  745 

746 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode =


747 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

746 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ =


747 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


748  748 
then 
749 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

749 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


750  750 
then 1 
751 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)


752 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);


751 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)


752 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);


753  753  
754  754 

755  755 

756 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 

757 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

756 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root =


757 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


758  758 
then 
759 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) 

759 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


760  760 
then 
761  761 

762  762 
2 
763 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root) 

764 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root); 

763 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)


764 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);


765  765 

766  766 

767  767  
768  768 

769  769 

770 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode =


771 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

770 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ =


771 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


772  772 
then 
773 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) 

773 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


774  774 
then 2 
775 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)


776 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);


775 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)


776 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);


777  777 

778  778 

779  779  
780  780 

781 
rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and


781 
rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


782  782 
( 
783 
(if (chart_microwave_mode_logic_clear_off <> 0) 

783 
(if (chart_microwave_mode__logic_clear_off <> 0)


784  784 
then true 
785  785 
else false) and 
786 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 

787 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 

788 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))); 

786 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and


787 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


788 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));


789  789  
790  790 

791  791 

792 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or


793 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1); 

792 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or


793 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1);


794  794  
795  795 

796  796 

797 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 

798 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

797 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root =


798 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


799  799 
then 
800  800 
(if 
801  801 

802 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 

803 
(rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3)) 

802 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and


803 
(rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))


804  804 
then 
805  805 

806  806 
0 
807 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root) 

808 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root); 

807 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)


808 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);


809  809  
810  810 

811  811 

812 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 

813 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

812 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining =


813 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


814  814 
then 0 
815 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining); 

815 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);


816  816  
817  817 

818  818 

819 
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 

820 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

819 
rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root =


820 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


821  821 
then 
822 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

822 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


823  823 
then 
824  824 

825  825 
4 
826 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root) 

827 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root); 

826 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)


827 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);


828  828 

829  829 

830  830  
831  831 

832  832 

833 
rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and


834 
((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 

835 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_2))); 

833 
rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and


834 
((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and


835 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));


836  836  
837  837 

838  838 

839 
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode =


840 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

839 
rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ =


840 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


841  841 
then 
842 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

842 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


843  843 
then 1 
844 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)


845 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);


844 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)


845 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);


846  846  
847  847 

848  848 

849 
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 

850 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

849 
rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root =


850 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


851  851 
then 
852 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) 

852 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)


853  853 
then 
854  854 

855  855 
1 
856 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root) 

857 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root); 

856 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)


857 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);


858  858  
859  859 

860  860 

861 
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 

862 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

861 
rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root =


862 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


863  863 
then 
864 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

864 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


865  865 
then 
866  866 

867  867 
2 
868 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root) 

869 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root); 

868 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)


869 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);


870  870 

871  871 

872  872  
873  873 

874  874 

875 
rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and


875 
rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and


876  876 
(( 
877 
(if (chart_microwave_mode_logic_clear_off <> 0) 

877 
(if (chart_microwave_mode__logic_clear_off <> 0)


878  878 
then true 
879  879 
else false) or 
880  880 
(not 
881 
(if (chart_microwave_mode_logic_door_closed <> 0) 

881 
(if (chart_microwave_mode__logic_door_closed <> 0)


882  882 
then true 
883  883 
else false))) and 
884 
(not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 

885 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2)))); 

884 
(not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or


885 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));


886  886  
887  887 

888  888 

889 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 

890 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

889 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root =


890 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


891  891 
then 
892 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) 

892 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)


893  893 
then 
894  894 

895  895 
1 
896 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root) 

897 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root); 

896 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)


897 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);


898  898  
899  899 

900  900 

901 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode =


902 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

901 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ =


902 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


903  903 
then 
904 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

904 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


905  905 
then 2 
906 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)


907 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);


906 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)


907 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);


908  908  
909 
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 

909 
rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root =


910  910 
(if (not 
911  911 

912 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

913 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) 

912 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


913 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))


914  914 
then 
915  915 

916  916 
1 
917 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

917 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


918  918  
919  919 

920  920 

921 
rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 

921 
rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not


922  922 

923 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

924 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 

923 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


924 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and


925  925 

926  926 

927 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

928 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3))); 

927 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


928 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));


929  929  
930  930 

931 
rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


931 
rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


932  932 
( 
933  933 

934 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

935 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 

934 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


935 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and


936  936 

937 
(if (chart_microwave_mode_logic_door_closed <> 0) 

937 
(if (chart_microwave_mode__logic_door_closed <> 0)


938  938 
then true 
939  939 
else false))); 
940  940  
941  941 

942  942 

943 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 

944 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

943 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root =


944 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


945  945 
then 
946 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) 

946 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


947  947 
then 
948  948 

949  949 
2 
950 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root) 

951 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root); 

950 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)


951 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);


952  952 

953  953 

954  954  
955  955 

956  956 

957 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode =


958 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

957 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ =


958 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


959  959 
then 
960 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) 

960 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


961  961 
then 2 
962 
else chart_microwave_mode_logic_begin_state_outports_mode)


963 
else chart_microwave_mode_logic_begin_state_outports_mode);


962 
else chart_microwave_mode__logic_begin_state_outports_mode_)


963 
else chart_microwave_mode__logic_begin_state_outports_mode_);


964  964 

965  965 

966  966  
967  967 

968  968 

969 
rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


969 
rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


970  970 
( 
971  971 

972 
((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 

973 
(rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 

974 
(not rlt_enter_microwave_mode_logic_ON_rlt_fired_1))); 

972 
((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and


973 
(rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and


974 
(not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));


975  975  
976  976 

977  977 

978 
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 

979 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

978 
rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root =


979 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


980  980 
then 
981 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

981 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


982  982 
then 
983  983 

984  984 
3 
985 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root) 

986 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root); 

985 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)


986 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);


987  987 

988  988 

989  989  
990  990 

991  991 

992 
rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 

993 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

992 
rlt_enter_microwave_mode__logic_rlt_state_2_states___root =


993 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


994  994 
then 
995  995 

996  996 
4 
997 
else chart_microwave_mode_logic_begin_state_states___root); 

997 
else chart_microwave_mode__logic_begin_state_states___root);


998  998 

999  999 

1000  1000  
1001 
microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;


1001 
microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;


1002  1002  
1003  1003 
p17 = (((not (enable and 
1004  1004 
(not KP_CLEAR))) or 
...  ...  
1449  1449 
else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step)))); 
1450  1450  
1451  1451 
SETUP = 
1452 
(if (1 = microwave_microwave_mode_logic_mode)


1452 
(if (1 = microwave_microwave_mode__logic_mode_)


1453  1453 
then true 
1454  1454 
else false); 
1455  1455  
...  ...  
1470  1470 
(RIGHT_DIGIT = 5)))); 
1471  1471  
1472  1472 
enable = (true > 
1473 
(if (1 = (pre microwave_microwave_mode_logic_mode))


1473 
(if (1 = (pre microwave_microwave_mode__logic_mode_))


1474  1474 
then true 
1475  1475 
else false)); 
1476  1476 
Also available in: Unified diff