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 |
|