lustrec / test / src / kind_fmcad08 / large / top.ec.bkp @ 0cbf0839
History | View | Annotate | Download (40.9 KB)
| 1 |
node top |
|---|---|
| 2 |
(KP_START: bool; |
| 3 |
KP_CLEAR: bool; |
| 4 |
KP_0: bool; |
| 5 |
KP_1: bool; |
| 6 |
KP_2: bool; |
| 7 |
KP_3: bool; |
| 8 |
KP_4: bool; |
| 9 |
KP_5: bool; |
| 10 |
KP_6: bool; |
| 11 |
KP_7: bool; |
| 12 |
KP_8: bool; |
| 13 |
KP_9: bool; |
| 14 |
DOOR_CLOSED: bool) |
| 15 |
returns |
| 16 |
(OK: bool); |
| 17 |
|
| 18 |
var |
| 19 |
V17_SETUP: bool; |
| 20 |
V18_COOKING: bool; |
| 21 |
V19_SUSPENDED: bool; |
| 22 |
V20_START_PRESSED: bool; |
| 23 |
V21_CLEAR_PRESSED: bool; |
| 24 |
V25_STEPS_TO_COOK: int; |
| 25 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock: bool; |
| 26 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step: |
| 27 |
bool; |
| 28 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 29 |
: int; |
| 30 |
V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY: int; |
| 31 |
V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY: int; |
| 32 |
V41_rlt__Arrow5: int; |
| 33 |
V42_rlt__Arrow4: int; |
| 34 |
V43_rlt__Arrow3: int; |
| 35 |
V44_rlt__Arrow2: int; |
| 36 |
V45_rlt__Arrow1: int; |
| 37 |
V46_rlt__Arrow: int; |
| 38 |
V47_chart_microwave_mode_logic_start: int; |
| 39 |
V48_chart_microwave_mode_logic_clear_off: int; |
| 40 |
V49_chart_microwave_mode_logic_door_closed: int; |
| 41 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; |
| 42 |
V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; |
| 43 |
V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; |
| 44 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; |
| 45 |
V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; |
| 46 |
V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; |
| 47 |
V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; |
| 48 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; |
| 49 |
V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; |
| 50 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; |
| 51 |
V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; |
| 52 |
V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; |
| 53 |
V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: |
| 54 |
int; |
| 55 |
V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; |
| 56 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; |
| 57 |
V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; |
| 58 |
V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; |
| 59 |
V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; |
| 60 |
V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; |
| 61 |
V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; |
| 62 |
V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; |
| 63 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; |
| 64 |
V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; |
| 65 |
V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; |
| 66 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; |
| 67 |
V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; |
| 68 |
V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; |
| 69 |
V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; |
| 70 |
V79_rlt_eval_microwave_mode_logic_rlt_fired_0: bool; |
| 71 |
V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; |
| 72 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1: bool; |
| 73 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; |
| 74 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; |
| 75 |
V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; |
| 76 |
V85_rlt_enter_microwave_mode_logic_rltCheckEntryStateConsistency_0: bool; |
| 77 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; |
| 78 |
V87_chart_microwave_mode_logic_rlt_evtInitStep: bool; |
| 79 |
V88_chart_microwave_mode_logic_begin_state_states___root: int; |
| 80 |
V89_chart_microwave_mode_logic_begin_state_outports_mode: int; |
| 81 |
V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; |
| 82 |
V91_chart_microwave_mode_logic_final_state_states___root: int; |
| 83 |
V93_chart_microwave_mode_logic_steps_remaining: int; |
| 84 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; |
| 85 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; |
| 86 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; |
| 87 |
V97_microwave_microwave_mode_logic_mode: int; |
| 88 |
V98_MWI_FcnMaxI_In16: int; |
| 89 |
V99_MWI_FcnMaxI_In15: int; |
| 90 |
V100_MWI_FcnMaxI_In13: int; |
| 91 |
V101_MWI_FcnMaxI_In12: int; |
| 92 |
V102_MWI_FcnMaxI_In11: int; |
| 93 |
V103_MWI_FcnMaxI_In1: int; |
| 94 |
V104_p3: bool; |
| 95 |
V105_p4: bool; |
| 96 |
V106_p5: bool; |
| 97 |
V107_p6: bool; |
| 98 |
V108_p7: bool; |
| 99 |
V109_p8: bool; |
| 100 |
V110_p9: bool; |
| 101 |
V111_p10: bool; |
| 102 |
V112_p11: bool; |
| 103 |
V113_p12: bool; |
| 104 |
V114_p13: bool; |
| 105 |
V115_p14: bool; |
| 106 |
V116_p15: bool; |
| 107 |
V117_p16: bool; |
| 108 |
V118_p17: bool; |
| 109 |
V119_p18: bool; |
| 110 |
V120_p19: bool; |
| 111 |
V121_p20: bool; |
| 112 |
V122_p21: bool; |
| 113 |
V123_p22: bool; |
| 114 |
V124_p23: bool; |
| 115 |
V125_p24: bool; |
| 116 |
V126_p25: bool; |
| 117 |
V127_p26: bool; |
| 118 |
V128_p27: bool; |
| 119 |
V129_p28: bool; |
| 120 |
V130_p29: bool; |
| 121 |
V131_p30: bool; |
| 122 |
V132_p31: bool; |
| 123 |
V133_p32: bool; |
| 124 |
V134_p33: bool; |
| 125 |
V135_p34: bool; |
| 126 |
V136_p35: bool; |
| 127 |
V137_p36: bool; |
| 128 |
V138_p37: bool; |
| 129 |
V139_rltTruncByConv2: bool; |
| 130 |
V140_rltTruncByConv1: bool; |
| 131 |
V141_rltTruncByConv: bool; |
| 132 |
|
| 133 |
let |
| 134 |
OK = ((V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 2) |
| 135 |
or (V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 3)); |
| 136 |
V17_SETUP = (if (1 = V97_microwave_microwave_mode_logic_mode) then true else |
| 137 |
false); |
| 138 |
V18_COOKING = (if (2 = V97_microwave_microwave_mode_logic_mode) then true |
| 139 |
else false); |
| 140 |
V19_SUSPENDED = (if (3 = V97_microwave_microwave_mode_logic_mode) then true |
| 141 |
else false); |
| 142 |
V20_START_PRESSED = (KP_START -> (KP_START and (not (pre KP_START)))); |
| 143 |
V21_CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and (not (pre KP_CLEAR)))); |
| 144 |
V25_STEPS_TO_COOK = ((if ( |
| 145 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and |
| 146 |
(not V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)) |
| 147 |
then 0 else ((((V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + ( |
| 148 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 149 |
* 60)) * 1)) -> (if ( |
| 150 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and |
| 151 |
(not V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)) |
| 152 |
then 0 else (if |
| 153 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then ((( |
| 154 |
(V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + ( |
| 155 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 156 |
* 60)) * 1) else (pre V25_STEPS_TO_COOK)))); |
| 157 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = (true |
| 158 |
-> (if (1 = (pre V97_microwave_microwave_mode_logic_mode)) then true else |
| 159 |
false)); |
| 160 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step = ( |
| 161 |
true -> (if (not |
| 162 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock) then |
| 163 |
true else (if (pre |
| 164 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock) then |
| 165 |
false else (pre |
| 166 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step)))); |
| 167 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 168 |
= (0 -> (if |
| 169 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if |
| 170 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then |
| 171 |
0 else (if KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then |
| 172 |
0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre |
| 173 |
KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and |
| 174 |
(not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if |
| 175 |
(KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then |
| 176 |
7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre |
| 177 |
KP_9))) then 9 else 10)))))))))) <= 9) then true else false) then (pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY) |
| 178 |
else (pre |
| 179 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 180 |
)))) else (pre |
| 181 |
V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY |
| 182 |
))); |
| 183 |
V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY = (0 -> (if |
| 184 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if |
| 185 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then |
| 186 |
0 else (if KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then |
| 187 |
0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre |
| 188 |
KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and |
| 189 |
(not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if |
| 190 |
(KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then |
| 191 |
7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre |
| 192 |
KP_9))) then 9 else 10)))))))))) <= 9) then true else false) then (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY) else |
| 193 |
(pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)))) else (pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY))); |
| 194 |
V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY = ((if KP_CLEAR then 0 else (if (if ((if KP_0 then 0 else (if KP_1 then 1 |
| 195 |
else (if KP_2 then 2 else (if KP_3 then 3 else (if KP_4 then 4 else (if KP_5 |
| 196 |
then 5 else (if KP_6 then 6 else (if KP_7 then 7 else (if KP_8 then 8 else |
| 197 |
(if KP_9 then 9 else 10)))))))))) <= 9) then true else false) then (if KP_0 |
| 198 |
then 0 else (if KP_1 then 1 else (if KP_2 then 2 else (if KP_3 then 3 else |
| 199 |
(if KP_4 then 4 else (if KP_5 then 5 else (if KP_6 then 6 else (if KP_7 then |
| 200 |
7 else (if KP_8 then 8 else (if KP_9 then 9 else 10)))))))))) else 0)) -> (if |
| 201 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if |
| 202 |
V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then |
| 203 |
(if KP_CLEAR then 0 else (if (if ((if KP_0 then 0 else (if KP_1 then 1 else |
| 204 |
(if KP_2 then 2 else (if KP_3 then 3 else (if KP_4 then 4 else (if KP_5 then |
| 205 |
5 else (if KP_6 then 6 else (if KP_7 then 7 else (if KP_8 then 8 else (if |
| 206 |
KP_9 then 9 else 10)))))))))) <= 9) then true else false) then (if KP_0 then |
| 207 |
0 else (if KP_1 then 1 else (if KP_2 then 2 else (if KP_3 then 3 else (if |
| 208 |
KP_4 then 4 else (if KP_5 then 5 else (if KP_6 then 6 else (if KP_7 then 7 |
| 209 |
else (if KP_8 then 8 else (if KP_9 then 9 else 10)))))))))) else 0)) else (if |
| 210 |
KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then 0 else (if |
| 211 |
(KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre KP_2))) then |
| 212 |
2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and (not (pre |
| 213 |
KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if (KP_6 and |
| 214 |
(not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then 7 else (if |
| 215 |
(KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre KP_9))) then |
| 216 |
9 else 10)))))))))) <= 9) then true else false) then (if (KP_0 and (not (pre |
| 217 |
KP_0))) then 0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and |
| 218 |
(not (pre KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if |
| 219 |
(KP_4 and (not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then |
| 220 |
5 else (if (KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre |
| 221 |
KP_7))) then 7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and |
| 222 |
(not (pre KP_9))) then 9 else 10)))))))))) else (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)))) else (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY))); |
| 223 |
V41_rlt__Arrow5 = (639 -> (if (not (not V17_SETUP)) then (if ( |
| 224 |
V100_MWI_FcnMaxI_In13 > 0) then V100_MWI_FcnMaxI_In13 else 0) else 639)); |
| 225 |
V42_rlt__Arrow4 = (639 -> (if (not V19_SUSPENDED) then (if ( |
| 226 |
V101_MWI_FcnMaxI_In12 > 0) then V101_MWI_FcnMaxI_In12 else 0) else 639)); |
| 227 |
V43_rlt__Arrow3 = (639 -> (if (not (not V18_COOKING)) then (if ( |
| 228 |
V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639)); |
| 229 |
V44_rlt__Arrow2 = (639 -> (if (not (not V19_SUSPENDED)) then (if ( |
| 230 |
V99_MWI_FcnMaxI_In15 > 0) then V99_MWI_FcnMaxI_In15 else 0) else 639)); |
| 231 |
V45_rlt__Arrow1 = (639 -> (if (not V18_COOKING) then (if ( |
| 232 |
V102_MWI_FcnMaxI_In11 > 0) then V102_MWI_FcnMaxI_In11 else 0) else 639)); |
| 233 |
V46_rlt__Arrow = (639 -> (if (not V17_SETUP) then (if (V103_MWI_FcnMaxI_In1 > |
| 234 |
0) then V103_MWI_FcnMaxI_In1 else 0) else 639)); |
| 235 |
V47_chart_microwave_mode_logic_start = (if (V20_START_PRESSED = false) then 0 |
| 236 |
else 1); |
| 237 |
V48_chart_microwave_mode_logic_clear_off = (if (V21_CLEAR_PRESSED = false) |
| 238 |
then 0 else 1); |
| 239 |
V49_chart_microwave_mode_logic_door_closed = (if (DOOR_CLOSED = false) then 0 |
| 240 |
else 1); |
| 241 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = ((( |
| 242 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and ( |
| 243 |
V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) |
| 244 |
and (V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2)); |
| 245 |
V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = (if |
| 246 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if (( |
| 247 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and ( |
| 248 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)) then 0 |
| 249 |
else V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root) else |
| 250 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root); |
| 251 |
V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = (if |
| 252 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if (not ( |
| 253 |
V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) then 4 |
| 254 |
else V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root) else |
| 255 |
V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root); |
| 256 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = (( |
| 257 |
V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and (((if |
| 258 |
(V47_chart_microwave_mode_logic_start <> 0) then true else false) and (if ( |
| 259 |
V49_chart_microwave_mode_logic_door_closed <> 0) then true else false)) and |
| 260 |
(not V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1))); |
| 261 |
V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = ( |
| 262 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or |
| 263 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1); |
| 264 |
V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = (if |
| 265 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if ( |
| 266 |
V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) then 1 |
| 267 |
else V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root) else |
| 268 |
V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root); |
| 269 |
V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = (if |
| 270 |
V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if (not ( |
| 271 |
V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) then 1 |
| 272 |
else V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode) else |
| 273 |
V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode); |
| 274 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = (if |
| 275 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if (not ( |
| 276 |
V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) then 2 |
| 277 |
else V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root) else |
| 278 |
V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root); |
| 279 |
V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = (if |
| 280 |
V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if (not ( |
| 281 |
V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) then 2 |
| 282 |
else V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode) else |
| 283 |
V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode); |
| 284 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = ((( |
| 285 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and ((if |
| 286 |
(V48_chart_microwave_mode_logic_clear_off <> 0) then true else false) and |
| 287 |
(not V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and (( |
| 288 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and (not |
| 289 |
V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1))); |
| 290 |
V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = ( |
| 291 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or |
| 292 |
V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1); |
| 293 |
V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = (if |
| 294 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if (( |
| 295 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and ( |
| 296 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3)) then 0 |
| 297 |
else V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root) else |
| 298 |
V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root); |
| 299 |
V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = |
| 300 |
(if V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then 0 else |
| 301 |
V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining); |
| 302 |
V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = (if |
| 303 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if (not ( |
| 304 |
V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) then 4 |
| 305 |
else V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root) else |
| 306 |
V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root); |
| 307 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = (( |
| 308 |
V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and (( |
| 309 |
V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0 |
| 310 |
) and (not V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2))); |
| 311 |
V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = (if |
| 312 |
V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if (not ( |
| 313 |
V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) then 1 |
| 314 |
else V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode) else |
| 315 |
V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode); |
| 316 |
V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = (if |
| 317 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if ( |
| 318 |
V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) then 1 |
| 319 |
else V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root) else |
| 320 |
V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root); |
| 321 |
V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = (if |
| 322 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if (not ( |
| 323 |
V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) then 2 |
| 324 |
else V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root) else |
| 325 |
V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root); |
| 326 |
V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = (( |
| 327 |
V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and (( |
| 328 |
(if (V48_chart_microwave_mode_logic_clear_off <> 0) then true else false) or |
| 329 |
(not (if (V49_chart_microwave_mode_logic_door_closed <> 0) then true else |
| 330 |
false))) and (not (V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or |
| 331 |
V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2)))); |
| 332 |
V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = (if |
| 333 |
V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if ( |
| 334 |
V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) then 1 |
| 335 |
else V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root) else |
| 336 |
V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root); |
| 337 |
V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = (if |
| 338 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if (not ( |
| 339 |
V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) then 2 |
| 340 |
else V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode) else |
| 341 |
V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode); |
| 342 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = (if (not (( |
| 343 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and ( |
| 344 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) then 1 |
| 345 |
else V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root); |
| 346 |
V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not (( |
| 347 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and ( |
| 348 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and (( |
| 349 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and ( |
| 350 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3))); |
| 351 |
V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = ( |
| 352 |
V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and ((( |
| 353 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and ( |
| 354 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and |
| 355 |
(if (V49_chart_microwave_mode_logic_door_closed <> 0) then true else false))) |
| 356 |
; |
| 357 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = (if |
| 358 |
V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 then (if (not ( |
| 359 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) then 2 |
| 360 |
else V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root) else |
| 361 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root); |
| 362 |
V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = (if |
| 363 |
V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 then (if (not ( |
| 364 |
V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) then 2 |
| 365 |
else V89_chart_microwave_mode_logic_begin_state_outports_mode) else |
| 366 |
V89_chart_microwave_mode_logic_begin_state_outports_mode); |
| 367 |
V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = ( |
| 368 |
V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and ((( |
| 369 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and ( |
| 370 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and |
| 371 |
(not V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1))); |
| 372 |
V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = (if |
| 373 |
V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 then (if (not ( |
| 374 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) then 3 |
| 375 |
else V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root) else |
| 376 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root); |
| 377 |
V79_rlt_eval_microwave_mode_logic_rlt_fired_0 = ( |
| 378 |
V88_chart_microwave_mode_logic_begin_state_states___root = 4); |
| 379 |
V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = (if |
| 380 |
V79_rlt_eval_microwave_mode_logic_rlt_fired_0 then V25_STEPS_TO_COOK else |
| 381 |
V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining); |
| 382 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1 = ( |
| 383 |
V79_rlt_eval_microwave_mode_logic_rlt_fired_0 and (( |
| 384 |
V88_chart_microwave_mode_logic_begin_state_states___root = 4) and ((if ( |
| 385 |
V47_chart_microwave_mode_logic_start <> 0) then true else false) and (if ((if |
| 386 |
((V25_STEPS_TO_COOK > 0) = false) then 0 else 1) <> 0) then true else false)) |
| 387 |
)); |
| 388 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root = (if |
| 389 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then (if ( |
| 390 |
V88_chart_microwave_mode_logic_begin_state_states___root = 4) then 0 else |
| 391 |
V88_chart_microwave_mode_logic_begin_state_states___root) else |
| 392 |
V88_chart_microwave_mode_logic_begin_state_states___root); |
| 393 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = (if |
| 394 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then |
| 395 |
V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root else |
| 396 |
V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root); |
| 397 |
V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = (if |
| 398 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then (if |
| 399 |
V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 then (if (not ( |
| 400 |
V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) then 3 |
| 401 |
else V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode) else |
| 402 |
V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode) else |
| 403 |
V89_chart_microwave_mode_logic_begin_state_outports_mode); |
| 404 |
V85_rlt_enter_microwave_mode_logic_rltCheckEntryStateConsistency_0 = ((( |
| 405 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root >= 1) and ( |
| 406 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root <= 3)) or ( |
| 407 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 4)); |
| 408 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root = (if (not ( |
| 409 |
V88_chart_microwave_mode_logic_begin_state_states___root = 4)) then 4 else |
| 410 |
V88_chart_microwave_mode_logic_begin_state_states___root); |
| 411 |
V87_chart_microwave_mode_logic_rlt_evtInitStep = (true -> (if (pre true) then |
| 412 |
false else (pre V87_chart_microwave_mode_logic_rlt_evtInitStep))); |
| 413 |
V88_chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre |
| 414 |
V91_chart_microwave_mode_logic_final_state_states___root)); |
| 415 |
V89_chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre |
| 416 |
V97_microwave_microwave_mode_logic_mode)); |
| 417 |
V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> |
| 418 |
(pre V93_chart_microwave_mode_logic_steps_remaining)); |
| 419 |
V91_chart_microwave_mode_logic_final_state_states___root = (if |
| 420 |
V87_chart_microwave_mode_logic_rlt_evtInitStep then |
| 421 |
V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root else (if ((not |
| 422 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and (( |
| 423 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and ( |
| 424 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if |
| 425 |
V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if (not ( |
| 426 |
V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) then 3 |
| 427 |
else V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) else |
| 428 |
V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) else |
| 429 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root)); |
| 430 |
V93_chart_microwave_mode_logic_steps_remaining = (if |
| 431 |
V87_chart_microwave_mode_logic_rlt_evtInitStep then |
| 432 |
V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining else (if |
| 433 |
((not V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and (( |
| 434 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and ( |
| 435 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if |
| 436 |
V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then ( |
| 437 |
V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1 |
| 438 |
) else |
| 439 |
V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining) |
| 440 |
else V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining)) |
| 441 |
; |
| 442 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (( |
| 443 |
V93_chart_microwave_mode_logic_steps_remaining div 1) div 60); |
| 444 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = ((( |
| 445 |
V93_chart_microwave_mode_logic_steps_remaining div 1) - ((( |
| 446 |
V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10); |
| 447 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = ((( |
| 448 |
V93_chart_microwave_mode_logic_steps_remaining div 1) - ((( |
| 449 |
V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - (((( |
| 450 |
V93_chart_microwave_mode_logic_steps_remaining div 1) - ((( |
| 451 |
V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) |
| 452 |
* 10)); |
| 453 |
V97_microwave_microwave_mode_logic_mode = (if |
| 454 |
V87_chart_microwave_mode_logic_rlt_evtInitStep then (if (not ( |
| 455 |
V88_chart_microwave_mode_logic_begin_state_states___root = 4)) then 1 else |
| 456 |
V89_chart_microwave_mode_logic_begin_state_outports_mode) else (if ((not |
| 457 |
V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and (( |
| 458 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and ( |
| 459 |
V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if |
| 460 |
V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if (not ( |
| 461 |
V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) then 3 |
| 462 |
else V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode) else |
| 463 |
V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode) else |
| 464 |
V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)); |
| 465 |
V98_MWI_FcnMaxI_In16 = ((pre V43_rlt__Arrow3) - 1); |
| 466 |
V99_MWI_FcnMaxI_In15 = ((pre V44_rlt__Arrow2) - 1); |
| 467 |
V100_MWI_FcnMaxI_In13 = ((pre V41_rlt__Arrow5) - 1); |
| 468 |
V101_MWI_FcnMaxI_In12 = ((pre V42_rlt__Arrow4) - 1); |
| 469 |
V102_MWI_FcnMaxI_In11 = ((pre V45_rlt__Arrow1) - 1); |
| 470 |
V103_MWI_FcnMaxI_In1 = ((pre V46_rlt__Arrow) - 1); |
| 471 |
V104_p3 = (true -> ((if (not V17_SETUP) then (if (V103_MWI_FcnMaxI_In1 > 0) |
| 472 |
then V103_MWI_FcnMaxI_In1 else 0) else 639) > 0)); |
| 473 |
V105_p4 = (true -> ((if (not V18_COOKING) then (if (V102_MWI_FcnMaxI_In11 > 0 |
| 474 |
) then V102_MWI_FcnMaxI_In11 else 0) else 639) > 0)); |
| 475 |
V106_p5 = (true -> ((if (not V19_SUSPENDED) then (if (V101_MWI_FcnMaxI_In12 > |
| 476 |
0) then V101_MWI_FcnMaxI_In12 else 0) else 639) > 0)); |
| 477 |
V107_p6 = (true -> ((not V17_SETUP) or ((if (not (not V17_SETUP)) then (if ( |
| 478 |
V100_MWI_FcnMaxI_In13 > 0) then V100_MWI_FcnMaxI_In13 else 0) else 639) > 0)) |
| 479 |
); |
| 480 |
V108_p7 = (true -> ((not V18_COOKING) or ((if (not (not V18_COOKING)) then |
| 481 |
(if (V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639) > |
| 482 |
0))); |
| 483 |
V109_p8 = (true -> ((not V19_SUSPENDED) or ((if (not (not V19_SUSPENDED)) |
| 484 |
then (if (V99_MWI_FcnMaxI_In15 > 0) then V99_MWI_FcnMaxI_In15 else 0) else |
| 485 |
639) > 0))); |
| 486 |
V110_p9 = (true -> ((not V18_COOKING) or DOOR_CLOSED)); |
| 487 |
V111_p10 = (true -> ((not V18_COOKING) or ((if (not (not V18_COOKING)) then |
| 488 |
(if (V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639) > |
| 489 |
0))); |
| 490 |
V112_p11 = ((not KP_CLEAR) or (not V18_COOKING)); |
| 491 |
V113_p12 = ( |
| 492 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or ( |
| 493 |
V25_STEPS_TO_COOK = 0)); |
| 494 |
V114_p13 = ((not ( |
| 495 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and |
| 496 |
KP_CLEAR)) or (V25_STEPS_TO_COOK = 0)); |
| 497 |
V115_p14 = (true -> ((not ( |
| 498 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 499 |
KP_CLEAR))) or (V25_STEPS_TO_COOK = ((( |
| 500 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER + ( |
| 501 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT * 10)) + ( |
| 502 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT * 60)) * |
| 503 |
1)))); |
| 504 |
V116_p15 = ( |
| 505 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or ( |
| 506 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0)); |
| 507 |
V117_p16 = ((not ( |
| 508 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and |
| 509 |
KP_CLEAR)) or ( |
| 510 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0)); |
| 511 |
V118_p17 = (((not ( |
| 512 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 513 |
KP_CLEAR))) or ((not (((((((((KP_1 or KP_2) or KP_3) or KP_4) or KP_5) or |
| 514 |
KP_6) or KP_7) or KP_8) or KP_9) or KP_0)) or ( |
| 515 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0))) |
| 516 |
-> ((not ( |
| 517 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 518 |
KP_CLEAR))) or ((not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not |
| 519 |
(pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) |
| 520 |
or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and |
| 521 |
(not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre |
| 522 |
KP_9)))) or (KP_0 and (not (pre KP_0))))) or ( |
| 523 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (pre |
| 524 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT))))); |
| 525 |
V119_p18 = (((not ( |
| 526 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 527 |
KP_CLEAR))) or ((not (((((((((KP_1 or KP_2) or KP_3) or KP_4) or KP_5) or |
| 528 |
KP_6) or KP_7) or KP_8) or KP_9) or KP_0)) or ( |
| 529 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (( |
| 530 |
V25_STEPS_TO_COOK div 1) div 60)))) -> ((not ( |
| 531 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 532 |
KP_CLEAR))) or ((not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not |
| 533 |
(pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) |
| 534 |
or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and |
| 535 |
(not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre |
| 536 |
KP_9)))) or (KP_0 and (not (pre KP_0))))) or ( |
| 537 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (( |
| 538 |
V25_STEPS_TO_COOK div 1) div 60))))); |
| 539 |
V120_p19 = (true -> ((not ( |
| 540 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 541 |
KP_CLEAR))) or (((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre |
| 542 |
KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or ( |
| 543 |
KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not |
| 544 |
(pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) |
| 545 |
or (KP_0 and (not (pre KP_0)))) or ( |
| 546 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (pre |
| 547 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT))))); |
| 548 |
V121_p20 = ( |
| 549 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or ( |
| 550 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = 0)); |
| 551 |
V122_p21 = ((not ( |
| 552 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and |
| 553 |
KP_CLEAR)) or ( |
| 554 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = 0)); |
| 555 |
V123_p22 = (true -> (((not ( |
| 556 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 557 |
KP_CLEAR))) or (not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not |
| 558 |
(pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) |
| 559 |
or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and |
| 560 |
(not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre |
| 561 |
KP_9)))) or (KP_0 and (not (pre KP_0)))))) or ( |
| 562 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (pre |
| 563 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER)))); |
| 564 |
V124_p23 = (true -> (((not ( |
| 565 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 566 |
KP_CLEAR))) or (not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not |
| 567 |
(pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) |
| 568 |
or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and |
| 569 |
(not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre |
| 570 |
KP_9)))) or (KP_0 and (not (pre KP_0)))))) or ( |
| 571 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (( |
| 572 |
V25_STEPS_TO_COOK - ((V25_STEPS_TO_COOK div 60) * 60)) div 10)))); |
| 573 |
V125_p24 = (true -> (((not ( |
| 574 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 575 |
KP_CLEAR))) or ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre |
| 576 |
KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or ( |
| 577 |
KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not |
| 578 |
(pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) |
| 579 |
or (KP_0 and (not (pre KP_0))))) or ( |
| 580 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (pre |
| 581 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT)))); |
| 582 |
V126_p25 = ( |
| 583 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or ( |
| 584 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0)); |
| 585 |
V127_p26 = ((not ( |
| 586 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and |
| 587 |
KP_CLEAR)) or ( |
| 588 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0)); |
| 589 |
V128_p27 = (((not ( |
| 590 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 591 |
KP_CLEAR))) or ((not KP_0) or ( |
| 592 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0))) -> |
| 593 |
((not (V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock |
| 594 |
and (not KP_CLEAR))) or ((not (KP_0 and (not (pre KP_0)))) or ( |
| 595 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0)))); |
| 596 |
V129_p28 = (true -> ((not ( |
| 597 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 598 |
KP_CLEAR))) or ((not ((KP_1 and (not (pre KP_1))) and (not (KP_0 and (not |
| 599 |
(pre KP_0)))))) or ( |
| 600 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 1)))); |
| 601 |
V130_p29 = (true -> ((not ( |
| 602 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 603 |
KP_CLEAR))) or ((not ((KP_2 and (not (pre KP_2))) and ((not (KP_1 and (not |
| 604 |
(pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))) or ( |
| 605 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 2)))); |
| 606 |
V131_p30 = (true -> ((not ( |
| 607 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 608 |
KP_CLEAR))) or ((not ((KP_3 and (not (pre KP_3))) and ((not (KP_2 and (not |
| 609 |
(pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not |
| 610 |
(pre KP_0)))))))) or ( |
| 611 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 3)))); |
| 612 |
V132_p31 = (true -> ((not ( |
| 613 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 614 |
KP_CLEAR))) or ((not ((KP_4 and (not (pre KP_4))) and ((not (KP_3 and (not |
| 615 |
(pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not |
| 616 |
(pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))) or ( |
| 617 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 4)))); |
| 618 |
V133_p32 = (true -> ((not ( |
| 619 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 620 |
KP_CLEAR))) or ((not ((KP_5 and (not (pre KP_5))) and ((not (KP_4 and (not |
| 621 |
(pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not |
| 622 |
(pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not |
| 623 |
(pre KP_0)))))))))) or ( |
| 624 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 5)))); |
| 625 |
V134_p33 = (true -> ((not ( |
| 626 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 627 |
KP_CLEAR))) or ((not ((KP_6 and (not (pre KP_6))) and ((not (KP_5 and (not |
| 628 |
(pre KP_5)))) and ((not (KP_4 and (not (pre KP_4)))) and ((not (KP_3 and (not |
| 629 |
(pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not |
| 630 |
(pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))))) or ( |
| 631 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 6)))); |
| 632 |
V135_p34 = (true -> ((not ( |
| 633 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 634 |
KP_CLEAR))) or ((not ((KP_7 and (not (pre KP_7))) and ((not (KP_6 and (not |
| 635 |
(pre KP_6)))) and ((not (KP_5 and (not (pre KP_5)))) and ((not (KP_4 and (not |
| 636 |
(pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not |
| 637 |
(pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not |
| 638 |
(pre KP_0)))))))))))) or ( |
| 639 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 7)))); |
| 640 |
V136_p35 = (true -> ((not ( |
| 641 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 642 |
KP_CLEAR))) or ((not ((KP_8 and (not (pre KP_8))) and ((not (KP_7 and (not |
| 643 |
(pre KP_7)))) and ((not (KP_6 and (not (pre KP_6)))) and ((not (KP_5 and (not |
| 644 |
(pre KP_5)))) and ((not (KP_4 and (not (pre KP_4)))) and ((not (KP_3 and (not |
| 645 |
(pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not |
| 646 |
(pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))))))) or ( |
| 647 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 8)))); |
| 648 |
V137_p36 = (true -> ((not ( |
| 649 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 650 |
KP_CLEAR))) or ((not ((KP_9 and (not (pre KP_9))) and ((not (KP_8 and (not |
| 651 |
(pre KP_8)))) and ((not (KP_7 and (not (pre KP_7)))) and ((not (KP_6 and (not |
| 652 |
(pre KP_6)))) and ((not (KP_5 and (not (pre KP_5)))) and ((not (KP_4 and (not |
| 653 |
(pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not |
| 654 |
(pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not |
| 655 |
(pre KP_0)))))))))))))) or ( |
| 656 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 9)))); |
| 657 |
V138_p37 = (true -> ((not ( |
| 658 |
V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not |
| 659 |
KP_CLEAR))) or (((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre |
| 660 |
KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or ( |
| 661 |
KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not |
| 662 |
(pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) |
| 663 |
or (KP_0 and (not (pre KP_0)))) or ( |
| 664 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (pre |
| 665 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER))))); |
| 666 |
V139_rltTruncByConv2 = (( |
| 667 |
V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER >= 0) and |
| 668 |
(V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER <= 256)); |
| 669 |
V140_rltTruncByConv1 = (( |
| 670 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT >= 0) and ( |
| 671 |
V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT <= 256)); |
| 672 |
V141_rltTruncByConv = (( |
| 673 |
V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT >= 0) |
| 674 |
and (V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT <= |
| 675 |
256)); |
| 676 |
tel. |
| 677 |
|