Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/microwave08.lus
regression_tests/lustre_files/success/kind_fmcad08/large/microwave08.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; 
...  ...  
345  345 
CLEAR_PRESSED = (KP_CLEAR > (KP_CLEAR and 
346  346 
(not (pre KP_CLEAR)))); 
347  347  
348 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60); 

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


349  349  
350 
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));


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


351  351  
352  352 
SUSPENDED = 
353 
(if (3 = microwave_microwave_mode_logic_mode)


353 
(if (3 = microwave_microwave_mode__logic_mode_)


354  354 
then true 
355  355 
else false); 
356  356  
...  ...  
435  435 
KP_CLEAR)) or 
436  436 
(RIGHT_DIGIT = 0)); 
437  437  
438 
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);


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


439  439  
440  440 
p14 = (true > ((not (enable and 
441  441 
(not KP_CLEAR))) or 
...  ...  
489  489 
(RIGHT_DIGIT = 3)))); 
490  490  
491  491 
COOKING = 
492 
(if (2 = microwave_microwave_mode_logic_mode)


492 
(if (2 = microwave_microwave_mode__logic_mode_)


493  493 
then true 
494  494 
else false); 
495  495  
...  ...  
507  507 
START_PRESSED = (KP_START > (KP_START and 
508  508 
(not (pre KP_START)))); 
509  509  
510 
chart_microwave_mode_logic_start = 

510 
chart_microwave_mode__logic_start =


511  511 
(if (START_PRESSED = false) 
512  512 
then 0 
513  513 
else 1); 
514  514  
515 
chart_microwave_mode_logic_clear_off = 

515 
chart_microwave_mode__logic_clear_off =


516  516 
(if (CLEAR_PRESSED = false) 
517  517 
then 0 
518  518 
else 1); 
519  519  
520 
chart_microwave_mode_logic_door_closed = 

520 
chart_microwave_mode__logic_door_closed =


521  521 
(if (DOOR_CLOSED = false) 
522  522 
then 0 
523  523 
else 1); 
524  524  
525 
chart_microwave_mode_logic____wakeup___ = true; 

525 
chart_microwave_mode__logic____wakeup___ = true;


526  526  
527 
chart_microwave_mode_logic_rlt_evtInitStep = (true > 

528 
(if (pre chart_microwave_mode_logic____wakeup___) 

527 
chart_microwave_mode__logic_rlt_evtInitStep = (true >


528 
(if (pre chart_microwave_mode__logic____wakeup___)


529  529 
then false 
530 
else (pre chart_microwave_mode_logic_rlt_evtInitStep))); 

530 
else (pre chart_microwave_mode__logic_rlt_evtInitStep)));


531  531  
532 
chart_microwave_mode_logic_begin_state_states___root = (0 > (pre chart_microwave_mode_logic_final_state_states___root));


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


533  533  
534 
chart_microwave_mode_logic_begin_state_outports_mode = (0 > (pre chart_microwave_mode_logic_mode));


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


535  535  
536 
chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 > (pre chart_microwave_mode_logic_steps_remaining));


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


537  537  
538 
chart_microwave_mode_logic_final_state_states___root = 

539 
(if chart_microwave_mode_logic____wakeup___ 

538 
chart_microwave_mode__logic_final_state_states___root =


539 
(if chart_microwave_mode__logic____wakeup___


540  540 
then 
541 
(if chart_microwave_mode_logic_rlt_evtInitStep 

542 
then rlt_enter_microwave_mode_logic_rlt_state_2_states___root 

541 
(if chart_microwave_mode__logic_rlt_evtInitStep


542 
then rlt_enter_microwave_mode__logic_rlt_state_2_states___root


543  543 
else 
544 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

544 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


545  545 

546  546 

547 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

548 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

547 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


548 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


549  549 
then 
550 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

550 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


551  551 
then 
552 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

552 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


553  553 
then 
554  554 

555  555 
3 
556 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

557 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

558 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)) 

559 
else chart_microwave_mode_logic_begin_state_states___root); 

556 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


557 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


558 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))


559 
else chart_microwave_mode__logic_begin_state_states___root);


560  560  
561 
chart_microwave_mode_logic_mode =


562 
(if chart_microwave_mode_logic____wakeup___ 

561 
chart_microwave_mode__logic_mode_ =


562 
(if chart_microwave_mode__logic____wakeup___


563  563 
then 
564 
(if chart_microwave_mode_logic_rlt_evtInitStep 

564 
(if chart_microwave_mode__logic_rlt_evtInitStep


565  565 
then 
566 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

566 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


567  567 
then 1 
568 
else chart_microwave_mode_logic_begin_state_outports_mode)


568 
else chart_microwave_mode__logic_begin_state_outports_mode_)


569  569 
else 
570 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

570 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


571  571 

572  572 

573 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

574 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

573 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


574 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


575  575 
then 
576 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

576 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


577  577 
then 
578 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

578 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


579  579 
then 3 
580 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


581 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


582 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))


583 
else chart_microwave_mode_logic_begin_state_outports_mode);


580 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


581 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


582 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))


583 
else chart_microwave_mode__logic_begin_state_outports_mode_);


584  584  
585 
chart_microwave_mode_logic_steps_remaining = 

586 
(if chart_microwave_mode_logic____wakeup___ 

585 
chart_microwave_mode__logic_steps_remaining =


586 
(if chart_microwave_mode__logic____wakeup___


587  587 
then 
588 
(if chart_microwave_mode_logic_rlt_evtInitStep 

589 
then chart_microwave_mode_logic_begin_state_outports_steps_remaining 

588 
(if chart_microwave_mode__logic_rlt_evtInitStep


589 
then chart_microwave_mode__logic_begin_state_outports_steps_remaining


590  590 
else 
591 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

591 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


592  592 

593  593 

594 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

595 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

594 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


595 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


596  596 
then 
597 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

598 
then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining  1) 

599 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining) 

600 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining)) 

601 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

597 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


598 
then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining  1)


599 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)


600 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))


601 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


602  602  
603  603 

604  604 

605 
rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);


605 
rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);


606  606  
607  607 

608  608 

609 
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 

610 
(if rlt_eval_microwave_mode_logic_rlt_fired_0 

609 
rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining =


610 
(if rlt_eval_microwave_mode__logic_rlt_fired_0


611  611 
then STEPS_TO_COOK 
612 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

612 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


613  613  
614  614 

615 
rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and


616 
((chart_microwave_mode_logic_begin_state_states___root = 4) and 

615 
rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and


616 
((chart_microwave_mode__logic_begin_state_states___root = 4) and


617  617 
( 
618 
(if (chart_microwave_mode_logic_start <> 0) 

618 
(if (chart_microwave_mode__logic_start <> 0)


619  619 
then true 
620  620 
else false) and 
621  621 

...  ...  
628  628  
629  629 

630  630 

631 
rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 

632 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

631 
rlt_eval_microwave_mode__logic_rlt_state_2_states___root =


632 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


633  633 
then 
634 
(if (chart_microwave_mode_logic_begin_state_states___root = 4) 

634 
(if (chart_microwave_mode__logic_begin_state_states___root = 4)


635  635 
then 
636  636 

637  637 
0 
638 
else chart_microwave_mode_logic_begin_state_states___root) 

639 
else chart_microwave_mode_logic_begin_state_states___root); 

638 
else chart_microwave_mode__logic_begin_state_states___root)


639 
else chart_microwave_mode__logic_begin_state_states___root);


640  640  
641  641 

642  642 

643 
rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 

644 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

645 
then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root 

646 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

643 
rlt_eval_microwave_mode__logic_rlt_state_3_states___root =


644 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


645 
then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root


646 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


647  647 

648  648 

649  649  
650  650 

651  651 

652 
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode =


653 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

652 
rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ =


653 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


654  654 
then 
655 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

655 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


656  656 
then 
657 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

657 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


658  658 
then 3 
659 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


660 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


661 
else chart_microwave_mode_logic_begin_state_outports_mode);


659 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


660 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


661 
else chart_microwave_mode__logic_begin_state_outports_mode_);


662  662 

663  663 

664  664  
665  665 

666 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and


667 
(rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 

668 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2)); 

666 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and


667 
(rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and


668 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));


669  669  
670  670 

671  671 

672 
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 

673 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

672 
rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root =


673 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


674  674 
then 
675  675 
(if 
676  676 

677 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

678 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)) 

677 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


678 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))


679  679 
then 
680  680 

681  681 
0 
682 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root) 

683 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root); 

682 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)


683 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);


684  684  
685  685 

686  686 

687 
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 

688 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

687 
rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root =


688 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


689  689 
then 
690 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

690 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


691  691 
then 
692  692 

693  693 
4 
694 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root) 

695 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root); 

694 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)


695 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);


696  696 

697  697 

698  698  
699  699 

700  700 

701 
rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and


701 
rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and


702  702 
(( 
703 
(if (chart_microwave_mode_logic_start <> 0) 

703 
(if (chart_microwave_mode__logic_start <> 0)


704  704 
then true 
705  705 
else false) and 
706  706 

707 
(if (chart_microwave_mode_logic_door_closed <> 0) 

707 
(if (chart_microwave_mode__logic_door_closed <> 0)


708  708 
then true 
709  709 
else false)) and 
710 
(not rlt_eval_microwave_mode_logic_ON_rlt_fired_1))); 

710 
(not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));


711  711  
712  712 

713  713 

714 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or


715 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1); 

714 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or


715 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1);


716  716  
717  717 

718  718 

719 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 

720 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

719 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root =


720 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


721  721 
then 
722 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) 

722 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)


723  723 
then 
724  724 

725  725 
1 
726 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root) 

727 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root); 

726 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)


727 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);


728  728  
729  729 

730  730 

731 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode =


732 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

731 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ =


732 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


733  733 
then 
734 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

734 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


735  735 
then 1 
736 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)


737 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);


736 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)


737 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);


738  738  
739  739 

740  740 

741 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 

742 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

741 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root =


742 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


743  743 
then 
744 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) 

744 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


745  745 
then 
746  746 

747  747 
2 
748 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root) 

749 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root); 

748 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)


749 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);


750  750 

751  751 

752  752  
753  753 

754  754 

755 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode =


756 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

755 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ =


756 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


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

758 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


759  759 
then 2 
760 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)


761 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);


760 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)


761 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);


762  762 

763  763 

764  764  
765  765 

766 
rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and


766 
rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


767  767 
( 
768 
(if (chart_microwave_mode_logic_clear_off <> 0) 

768 
(if (chart_microwave_mode__logic_clear_off <> 0)


769  769 
then true 
770  770 
else false) and 
771 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 

772 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 

773 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))); 

771 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and


772 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


773 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));


774  774  
775  775 

776  776 

777 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or


778 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1); 

777 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or


778 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1);


779  779  
780  780 

781  781 

782 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 

783 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

782 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root =


783 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


784  784 
then 
785  785 
(if 
786  786 

787 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 

788 
(rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3)) 

787 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and


788 
(rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))


789  789 
then 
790  790 

791  791 
0 
792 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root) 

793 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root); 

792 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)


793 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);


794  794  
795  795 

796  796 

797 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 

798 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

797 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining =


798 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


799  799 
then 0 
800 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining); 

800 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);


801  801  
802  802 

803  803 

804 
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 

805 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

804 
rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root =


805 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


806  806 
then 
807 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

807 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


808  808 
then 
809  809 

810  810 
4 
811 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root) 

812 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root); 

811 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)


812 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);


813  813 

814  814 

815  815  
816  816 

817  817 

818 
rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and


819 
((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 

820 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_2))); 

818 
rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and


819 
((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and


820 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));


821  821  
822  822 

823  823 

824 
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode =


825 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

824 
rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ =


825 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


826  826 
then 
827 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

827 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


828  828 
then 1 
829 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)


830 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);


829 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)


830 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);


831  831  
832  832 

833  833 

834 
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 

835 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

834 
rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root =


835 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


836  836 
then 
837 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) 

837 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)


838  838 
then 
839  839 

840  840 
1 
841 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root) 

842 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root); 

841 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)


842 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);


843  843  
844  844 

845  845 

846 
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 

847 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

846 
rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root =


847 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


848  848 
then 
849 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

849 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


850  850 
then 
851  851 

852  852 
2 
853 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root) 

854 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root); 

853 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)


854 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);


855  855 

856  856 

857  857  
858  858 

859  859 

860 
rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and


860 
rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and


861  861 
(( 
862 
(if (chart_microwave_mode_logic_clear_off <> 0) 

862 
(if (chart_microwave_mode__logic_clear_off <> 0)


863  863 
then true 
864  864 
else false) or 
865  865 
(not 
866 
(if (chart_microwave_mode_logic_door_closed <> 0) 

866 
(if (chart_microwave_mode__logic_door_closed <> 0)


867  867 
then true 
868  868 
else false))) and 
869 
(not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 

870 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2)))); 

869 
(not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or


870 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));


871  871  
872  872 

873  873 

874 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 

875 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

874 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root =


875 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


876  876 
then 
877 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) 

877 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)


878  878 
then 
879  879 

880  880 
1 
881 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root) 

882 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root); 

881 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)


882 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);


883  883  
884  884 

885  885 

886 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode =


887 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

886 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ =


887 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


888  888 
then 
889 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

889 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


890  890 
then 2 
891 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)


892 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);


891 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)


892 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);


893  893  
894 
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 

894 
rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root =


895  895 
(if (not 
896  896 

897 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

898 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) 

897 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


898 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))


899  899 
then 
900  900 

901  901 
1 
902 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

902 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


903  903  
904  904 

905  905 

906 
rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 

906 
rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not


907  907 

908 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

909 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 

908 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


909 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and


910  910 

911  911 

912 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

913 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3))); 

912 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


913 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));


914  914  
915  915 

916 
rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


916 
rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


917  917 
( 
918  918 

919 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

920 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 

919 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


920 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and


921  921 

922 
(if (chart_microwave_mode_logic_door_closed <> 0) 

922 
(if (chart_microwave_mode__logic_door_closed <> 0)


923  923 
then true 
924  924 
else false))); 
925  925  
926  926 

927  927 

928 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 

929 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

928 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root =


929 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


930  930 
then 
931 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) 

931 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


932  932 
then 
933  933 

934  934 
2 
935 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root) 

936 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root); 

935 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)


936 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);


937  937 

938  938 

939  939  
940  940 

941  941 

942 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode =


943 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

942 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ =


943 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


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

945 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


946  946 
then 2 
947 
else chart_microwave_mode_logic_begin_state_outports_mode)


948 
else chart_microwave_mode_logic_begin_state_outports_mode);


947 
else chart_microwave_mode__logic_begin_state_outports_mode_)


948 
else chart_microwave_mode__logic_begin_state_outports_mode_);


949  949 

950  950 

951  951  
952  952 

953  953 

954 
rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


954 
rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


955  955 
( 
956  956 

957 
((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 

958 
(rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 

959 
(not rlt_enter_microwave_mode_logic_ON_rlt_fired_1))); 

957 
((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and


958 
(rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and


959 
(not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));


960  960  
961  961 

962  962 

963 
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 

964 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

963 
rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root =


964 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


965  965 
then 
966 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

966 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


967  967 
then 
968  968 

969  969 
3 
970 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root) 

971 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root); 

970 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)


971 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);


972  972 

973  973 

974  974  
975  975 

976  976 

977 
rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 

978 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

977 
rlt_enter_microwave_mode__logic_rlt_state_2_states___root =


978 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


979  979 
then 
980  980 

981  981 
4 
982 
else chart_microwave_mode_logic_begin_state_states___root); 

982 
else chart_microwave_mode__logic_begin_state_states___root);


983  983 

984  984 

985  985  
986 
microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;


986 
microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;


987  987  
988  988 
p17 = (((not (enable and 
989  989 
(not KP_CLEAR))) or 
...  ...  
1434  1434 
else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step)))); 
1435  1435  
1436  1436 
SETUP = 
1437 
(if (1 = microwave_microwave_mode_logic_mode)


1437 
(if (1 = microwave_microwave_mode__logic_mode_)


1438  1438 
then true 
1439  1439 
else false); 
1440  1440  
...  ...  
1455  1455 
(RIGHT_DIGIT = 5)))); 
1456  1456  
1457  1457 
enable = (true > 
1458 
(if (1 = (pre microwave_microwave_mode_logic_mode))


1458 
(if (1 = (pre microwave_microwave_mode__logic_mode_))


1459  1459 
then true 
1460  1460 
else false)); 
1461  1461 
Also available in: Unified diff