|
1
|
node top(KP_START: bool;
|
|
2
|
KP_CLEAR: bool;
|
|
3
|
KP_0: bool;
|
|
4
|
KP_1: bool;
|
|
5
|
KP_2: bool;
|
|
6
|
KP_3: bool;
|
|
7
|
KP_4: bool;
|
|
8
|
KP_5: bool;
|
|
9
|
KP_6: bool;
|
|
10
|
KP_7: bool;
|
|
11
|
KP_8: bool;
|
|
12
|
KP_9: bool;
|
|
13
|
DOOR_CLOSED: bool
|
|
14
|
) returns (OK:bool);
|
|
15
|
|
|
16
|
|
|
17
|
--@ contract guarantees OK;
|
|
18
|
var
|
|
19
|
LEFT_DIGIT: int;
|
|
20
|
SETUP: bool;
|
|
21
|
COOKING: bool;
|
|
22
|
SUSPENDED: bool;
|
|
23
|
START_PRESSED: bool;
|
|
24
|
CLEAR_PRESSED: bool;
|
|
25
|
MIDDLE_DIGIT: int;
|
|
26
|
RIGHT_DIGIT: int;
|
|
27
|
enable: bool;
|
|
28
|
STEPS_TO_COOK: int;
|
|
29
|
|
|
30
|
rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock: bool;
|
|
31
|
KP_01: bool;
|
|
32
|
KP_11: bool;
|
|
33
|
KP_21: bool;
|
|
34
|
KP_31: bool;
|
|
35
|
KP_41: bool;
|
|
36
|
KP_51: bool;
|
|
37
|
KP_61: bool;
|
|
38
|
KP_71: bool;
|
|
39
|
KP_81: bool;
|
|
40
|
KP_91: bool;
|
|
41
|
rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step: bool;
|
|
42
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY: int;
|
|
43
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY: int;
|
|
44
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY: int;
|
|
45
|
rlt__Arrow5: int;
|
|
46
|
rlt__Arrow4: int;
|
|
47
|
rlt__Arrow3: int;
|
|
48
|
rlt__Arrow2: int;
|
|
49
|
rlt__Arrow1: int;
|
|
50
|
rlt__Arrow: int;
|
|
51
|
chart_microwave_mode_logic_start: int;
|
|
52
|
chart_microwave_mode_logic_clear_off: int;
|
|
53
|
chart_microwave_mode_logic_door_closed: int;
|
|
54
|
chart_microwave_mode_logic____wakeup___: bool;
|
|
55
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool;
|
|
56
|
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int;
|
|
57
|
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int;
|
|
58
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool;
|
|
59
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool;
|
|
60
|
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int;
|
|
61
|
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int;
|
|
62
|
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int;
|
|
63
|
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int;
|
|
64
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool;
|
|
65
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool;
|
|
66
|
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int;
|
|
67
|
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int;
|
|
68
|
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int;
|
|
69
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool;
|
|
70
|
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int;
|
|
71
|
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int;
|
|
72
|
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int;
|
|
73
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool;
|
|
74
|
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int;
|
|
75
|
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int;
|
|
76
|
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int;
|
|
77
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool;
|
|
78
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool;
|
|
79
|
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int;
|
|
80
|
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int;
|
|
81
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool;
|
|
82
|
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int;
|
|
83
|
rlt_eval_microwave_mode_logic_rlt_fired_0: bool;
|
|
84
|
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int;
|
|
85
|
rlt_eval_microwave_mode_logic_rlt_fired_1: bool;
|
|
86
|
rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int;
|
|
87
|
rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int;
|
|
88
|
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int;
|
|
89
|
rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int;
|
|
90
|
chart_microwave_mode_logic_rlt_evtInitStep: bool;
|
|
91
|
chart_microwave_mode_logic_begin_state_states___root: int;
|
|
92
|
chart_microwave_mode_logic_begin_state_outports_mode: int;
|
|
93
|
chart_microwave_mode_logic_begin_state_outports_steps_remaining: int;
|
|
94
|
chart_microwave_mode_logic_final_state_states___root: int;
|
|
95
|
chart_microwave_mode_logic_mode: int;
|
|
96
|
chart_microwave_mode_logic_steps_remaining: int;
|
|
97
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int;
|
|
98
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int;
|
|
99
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int;
|
|
100
|
microwave_microwave_mode_logic_mode: int;
|
|
101
|
MWI_FcnMaxI_In16: int;
|
|
102
|
MWI_FcnMaxI_In15: int;
|
|
103
|
MWI_FcnMaxI_In13: int;
|
|
104
|
MWI_FcnMaxI_In12: int;
|
|
105
|
MWI_FcnMaxI_In11: int;
|
|
106
|
MWI_FcnMaxI_In1: int;
|
|
107
|
p11: bool;
|
|
108
|
p12: bool;
|
|
109
|
p13: bool;
|
|
110
|
p14: bool;
|
|
111
|
p15: bool;
|
|
112
|
p16: bool;
|
|
113
|
p17: bool;
|
|
114
|
p18: bool;
|
|
115
|
p19: bool;
|
|
116
|
p20: bool;
|
|
117
|
p21: bool;
|
|
118
|
p22: bool;
|
|
119
|
p23: bool;
|
|
120
|
p24: bool;
|
|
121
|
p25: bool;
|
|
122
|
p26: bool;
|
|
123
|
p27: bool;
|
|
124
|
p28: bool;
|
|
125
|
p29: bool;
|
|
126
|
p30: bool;
|
|
127
|
p31: bool;
|
|
128
|
p32: bool;
|
|
129
|
p33: bool;
|
|
130
|
p34: bool;
|
|
131
|
p35: bool;
|
|
132
|
p36: bool;
|
|
133
|
p37: bool;
|
|
134
|
let
|
|
135
|
rlt__Arrow5 = (639 ->
|
|
136
|
(if (not (not SETUP))
|
|
137
|
then
|
|
138
|
(if (MWI_FcnMaxI_In13 > 0)
|
|
139
|
then MWI_FcnMaxI_In13
|
|
140
|
else 0)
|
|
141
|
else 639));
|
|
142
|
|
|
143
|
rlt__Arrow4 = (639 ->
|
|
144
|
(if (not SUSPENDED)
|
|
145
|
then
|
|
146
|
(if (MWI_FcnMaxI_In12 > 0)
|
|
147
|
then MWI_FcnMaxI_In12
|
|
148
|
else 0)
|
|
149
|
else 639));
|
|
150
|
|
|
151
|
rlt__Arrow3 = (639 ->
|
|
152
|
(if (not (not COOKING))
|
|
153
|
then
|
|
154
|
(if (MWI_FcnMaxI_In16 > 0)
|
|
155
|
then MWI_FcnMaxI_In16
|
|
156
|
else 0)
|
|
157
|
else 639));
|
|
158
|
|
|
159
|
rlt__Arrow2 = (639 ->
|
|
160
|
(if (not (not SUSPENDED))
|
|
161
|
then
|
|
162
|
(if (MWI_FcnMaxI_In15 > 0)
|
|
163
|
then MWI_FcnMaxI_In15
|
|
164
|
else 0)
|
|
165
|
else 639));
|
|
166
|
|
|
167
|
rlt__Arrow1 = (639 ->
|
|
168
|
(if (not COOKING)
|
|
169
|
then
|
|
170
|
(if (MWI_FcnMaxI_In11 > 0)
|
|
171
|
then MWI_FcnMaxI_In11
|
|
172
|
else 0)
|
|
173
|
else 639));
|
|
174
|
|
|
175
|
rlt__Arrow = (639 ->
|
|
176
|
(if (not SETUP)
|
|
177
|
then
|
|
178
|
(if (MWI_FcnMaxI_In1 > 0)
|
|
179
|
then MWI_FcnMaxI_In1
|
|
180
|
else 0)
|
|
181
|
else 639));
|
|
182
|
|
|
183
|
p18 = (((not (enable and
|
|
184
|
(not KP_CLEAR))) or
|
|
185
|
((not (((((((((KP_1 or
|
|
186
|
KP_2) or
|
|
187
|
KP_3) or
|
|
188
|
KP_4) or
|
|
189
|
KP_5) or
|
|
190
|
KP_6) or
|
|
191
|
KP_7) or
|
|
192
|
KP_8) or
|
|
193
|
KP_9) or
|
|
194
|
KP_0)) or
|
|
195
|
(LEFT_DIGIT = ((STEPS_TO_COOK div 1) div 60)))) -> ((not (enable and
|
|
196
|
(not KP_CLEAR))) or
|
|
197
|
((not ((((((((((KP_1 and
|
|
198
|
(not (pre KP_1))) or
|
|
199
|
(KP_2 and
|
|
200
|
(not (pre KP_2)))) or
|
|
201
|
(KP_3 and
|
|
202
|
(not (pre KP_3)))) or
|
|
203
|
(KP_4 and
|
|
204
|
(not (pre KP_4)))) or
|
|
205
|
(KP_5 and
|
|
206
|
(not (pre KP_5)))) or
|
|
207
|
(KP_6 and
|
|
208
|
(not (pre KP_6)))) or
|
|
209
|
(KP_7 and
|
|
210
|
(not (pre KP_7)))) or
|
|
211
|
(KP_8 and
|
|
212
|
(not (pre KP_8)))) or
|
|
213
|
(KP_9 and
|
|
214
|
(not (pre KP_9)))) or
|
|
215
|
(KP_0 and
|
|
216
|
(not (pre KP_0))))) or
|
|
217
|
(LEFT_DIGIT = ((STEPS_TO_COOK div 1) div 60)))));
|
|
218
|
|
|
219
|
p23 = (true -> (((not (enable and
|
|
220
|
(not KP_CLEAR))) or
|
|
221
|
(not ((((((((((KP_1 and
|
|
222
|
(not (pre KP_1))) or
|
|
223
|
(KP_2 and
|
|
224
|
(not (pre KP_2)))) or
|
|
225
|
(KP_3 and
|
|
226
|
(not (pre KP_3)))) or
|
|
227
|
(KP_4 and
|
|
228
|
(not (pre KP_4)))) or
|
|
229
|
(KP_5 and
|
|
230
|
(not (pre KP_5)))) or
|
|
231
|
(KP_6 and
|
|
232
|
(not (pre KP_6)))) or
|
|
233
|
(KP_7 and
|
|
234
|
(not (pre KP_7)))) or
|
|
235
|
(KP_8 and
|
|
236
|
(not (pre KP_8)))) or
|
|
237
|
(KP_9 and
|
|
238
|
(not (pre KP_9)))) or
|
|
239
|
(KP_0 and
|
|
240
|
(not (pre KP_0)))))) or
|
|
241
|
(MIDDLE_DIGIT = ((STEPS_TO_COOK - (STEPS_TO_COOK div 60)*60) div 10))));
|
|
242
|
|
|
243
|
p35 = (true -> ((not (enable and
|
|
244
|
(not KP_CLEAR))) or
|
|
245
|
((not ((KP_8 and
|
|
246
|
(not (pre KP_8))) and
|
|
247
|
((not (KP_7 and
|
|
248
|
(not (pre KP_7)))) and
|
|
249
|
((not (KP_6 and
|
|
250
|
(not (pre KP_6)))) and
|
|
251
|
((not (KP_5 and
|
|
252
|
(not (pre KP_5)))) and
|
|
253
|
((not (KP_4 and
|
|
254
|
(not (pre KP_4)))) and
|
|
255
|
((not (KP_3 and
|
|
256
|
(not (pre KP_3)))) and
|
|
257
|
((not (KP_2 and
|
|
258
|
(not (pre KP_2)))) and
|
|
259
|
((not (KP_1 and
|
|
260
|
(not (pre KP_1)))) and
|
|
261
|
(not (KP_0 and
|
|
262
|
(not (pre KP_0))))))))))))) or
|
|
263
|
(RIGHT_DIGIT = 8))));
|
|
264
|
|
|
265
|
p33 = (true -> ((not (enable and
|
|
266
|
(not KP_CLEAR))) or
|
|
267
|
((not ((KP_6 and
|
|
268
|
(not (pre KP_6))) and
|
|
269
|
((not (KP_5 and
|
|
270
|
(not (pre KP_5)))) and
|
|
271
|
((not (KP_4 and
|
|
272
|
(not (pre KP_4)))) and
|
|
273
|
((not (KP_3 and
|
|
274
|
(not (pre KP_3)))) and
|
|
275
|
((not (KP_2 and
|
|
276
|
(not (pre KP_2)))) and
|
|
277
|
((not (KP_1 and
|
|
278
|
(not (pre KP_1)))) and
|
|
279
|
(not (KP_0 and
|
|
280
|
(not (pre KP_0))))))))))) or
|
|
281
|
(RIGHT_DIGIT = 6))));
|
|
282
|
|
|
283
|
MIDDLE_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT;
|
|
284
|
|
|
285
|
RIGHT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER;
|
|
286
|
|
|
287
|
p25 = (enable or
|
|
288
|
(RIGHT_DIGIT = 0));
|
|
289
|
|
|
290
|
p22 = (true -> (((not (enable and
|
|
291
|
(not KP_CLEAR))) or
|
|
292
|
(not ((((((((((KP_1 and
|
|
293
|
(not (pre KP_1))) or
|
|
294
|
(KP_2 and
|
|
295
|
(not (pre KP_2)))) or
|
|
296
|
(KP_3 and
|
|
297
|
(not (pre KP_3)))) or
|
|
298
|
(KP_4 and
|
|
299
|
(not (pre KP_4)))) or
|
|
300
|
(KP_5 and
|
|
301
|
(not (pre KP_5)))) or
|
|
302
|
(KP_6 and
|
|
303
|
(not (pre KP_6)))) or
|
|
304
|
(KP_7 and
|
|
305
|
(not (pre KP_7)))) or
|
|
306
|
(KP_8 and
|
|
307
|
(not (pre KP_8)))) or
|
|
308
|
(KP_9 and
|
|
309
|
(not (pre KP_9)))) or
|
|
310
|
(KP_0 and
|
|
311
|
(not (pre KP_0)))))) or
|
|
312
|
(MIDDLE_DIGIT = (pre RIGHT_DIGIT))));
|
|
313
|
|
|
314
|
p36 = (true -> ((not (enable and
|
|
315
|
(not KP_CLEAR))) or
|
|
316
|
((not ((KP_9 and
|
|
317
|
(not (pre KP_9))) and
|
|
318
|
((not (KP_8 and
|
|
319
|
(not (pre KP_8)))) and
|
|
320
|
((not (KP_7 and
|
|
321
|
(not (pre KP_7)))) and
|
|
322
|
((not (KP_6 and
|
|
323
|
(not (pre KP_6)))) and
|
|
324
|
((not (KP_5 and
|
|
325
|
(not (pre KP_5)))) and
|
|
326
|
((not (KP_4 and
|
|
327
|
(not (pre KP_4)))) and
|
|
328
|
((not (KP_3 and
|
|
329
|
(not (pre KP_3)))) and
|
|
330
|
((not (KP_2 and
|
|
331
|
(not (pre KP_2)))) and
|
|
332
|
((not (KP_1 and
|
|
333
|
(not (pre KP_1)))) and
|
|
334
|
(not (KP_0 and
|
|
335
|
(not (pre KP_0)))))))))))))) or
|
|
336
|
(RIGHT_DIGIT = 9))));
|
|
337
|
|
|
338
|
MWI_FcnMaxI_In1 = ((pre rlt__Arrow) - 1);
|
|
339
|
|
|
340
|
CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and
|
|
341
|
(not (pre KP_CLEAR))));
|
|
342
|
|
|
343
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
|
|
344
|
|
|
345
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
|
|
346
|
|
|
347
|
SUSPENDED =
|
|
348
|
(if (3 = microwave_microwave_mode_logic_mode)
|
|
349
|
then true
|
|
350
|
else false);
|
|
351
|
|
|
352
|
p31 = (true -> ((not (enable and
|
|
353
|
(not KP_CLEAR))) or
|
|
354
|
((not ((KP_4 and
|
|
355
|
(not (pre KP_4))) and
|
|
356
|
((not (KP_3 and
|
|
357
|
(not (pre KP_3)))) and
|
|
358
|
((not (KP_2 and
|
|
359
|
(not (pre KP_2)))) and
|
|
360
|
((not (KP_1 and
|
|
361
|
(not (pre KP_1)))) and
|
|
362
|
(not (KP_0 and
|
|
363
|
(not (pre KP_0))))))))) or
|
|
364
|
(RIGHT_DIGIT = 4))));
|
|
365
|
|
|
366
|
p37 = (true -> ((not (enable and
|
|
367
|
(not KP_CLEAR))) or
|
|
368
|
(((((((((((KP_1 and
|
|
369
|
(not (pre KP_1))) or
|
|
370
|
(KP_2 and
|
|
371
|
(not (pre KP_2)))) or
|
|
372
|
(KP_3 and
|
|
373
|
(not (pre KP_3)))) or
|
|
374
|
(KP_4 and
|
|
375
|
(not (pre KP_4)))) or
|
|
376
|
(KP_5 and
|
|
377
|
(not (pre KP_5)))) or
|
|
378
|
(KP_6 and
|
|
379
|
(not (pre KP_6)))) or
|
|
380
|
(KP_7 and
|
|
381
|
(not (pre KP_7)))) or
|
|
382
|
(KP_8 and
|
|
383
|
(not (pre KP_8)))) or
|
|
384
|
(KP_9 and
|
|
385
|
(not (pre KP_9)))) or
|
|
386
|
(KP_0 and
|
|
387
|
(not (pre KP_0)))) or
|
|
388
|
(RIGHT_DIGIT = (pre RIGHT_DIGIT)))));
|
|
389
|
|
|
390
|
MWI_FcnMaxI_In11 = ((pre rlt__Arrow1) - 1);
|
|
391
|
|
|
392
|
MWI_FcnMaxI_In15 = ((pre rlt__Arrow2) - 1);
|
|
393
|
|
|
394
|
p24 = (true -> (((not (enable and
|
|
395
|
(not KP_CLEAR))) or
|
|
396
|
((((((((((KP_1 and
|
|
397
|
(not (pre KP_1))) or
|
|
398
|
(KP_2 and
|
|
399
|
(not (pre KP_2)))) or
|
|
400
|
(KP_3 and
|
|
401
|
(not (pre KP_3)))) or
|
|
402
|
(KP_4 and
|
|
403
|
(not (pre KP_4)))) or
|
|
404
|
(KP_5 and
|
|
405
|
(not (pre KP_5)))) or
|
|
406
|
(KP_6 and
|
|
407
|
(not (pre KP_6)))) or
|
|
408
|
(KP_7 and
|
|
409
|
(not (pre KP_7)))) or
|
|
410
|
(KP_8 and
|
|
411
|
(not (pre KP_8)))) or
|
|
412
|
(KP_9 and
|
|
413
|
(not (pre KP_9)))) or
|
|
414
|
(KP_0 and
|
|
415
|
(not (pre KP_0))))) or
|
|
416
|
(MIDDLE_DIGIT = (pre MIDDLE_DIGIT))));
|
|
417
|
|
|
418
|
p20 = (enable or
|
|
419
|
(MIDDLE_DIGIT = 0));
|
|
420
|
|
|
421
|
p26 = ((not (enable and
|
|
422
|
KP_CLEAR)) or
|
|
423
|
(RIGHT_DIGIT = 0));
|
|
424
|
|
|
425
|
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
|
|
426
|
|
|
427
|
p14 = (true -> ((not (enable and
|
|
428
|
(not KP_CLEAR))) or
|
|
429
|
(STEPS_TO_COOK = (((RIGHT_DIGIT + (MIDDLE_DIGIT * 10)) + (LEFT_DIGIT * 60)) * 1))));
|
|
430
|
|
|
431
|
MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
|
|
432
|
|
|
433
|
|
|
434
|
MWI_FcnMaxI_In12 = ((pre rlt__Arrow4) - 1);
|
|
435
|
|
|
436
|
p16 = ((not (enable and
|
|
437
|
KP_CLEAR)) or
|
|
438
|
(LEFT_DIGIT = 0));
|
|
439
|
|
|
440
|
p30 = (true -> ((not (enable and
|
|
441
|
(not KP_CLEAR))) or
|
|
442
|
((not ((KP_3 and
|
|
443
|
(not (pre KP_3))) and
|
|
444
|
((not (KP_2 and
|
|
445
|
(not (pre KP_2)))) and
|
|
446
|
((not (KP_1 and
|
|
447
|
(not (pre KP_1)))) and
|
|
448
|
(not (KP_0 and
|
|
449
|
(not (pre KP_0)))))))) or
|
|
450
|
(RIGHT_DIGIT = 3))));
|
|
451
|
|
|
452
|
COOKING =
|
|
453
|
(if (2 = microwave_microwave_mode_logic_mode)
|
|
454
|
then true
|
|
455
|
else false);
|
|
456
|
|
|
457
|
LEFT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT;
|
|
458
|
|
|
459
|
p11 = ((not KP_CLEAR) or
|
|
460
|
(not COOKING));
|
|
461
|
|
|
462
|
p15 = (enable or
|
|
463
|
(LEFT_DIGIT = 0));
|
|
464
|
|
|
465
|
START_PRESSED = (KP_START -> (KP_START and
|
|
466
|
(not (pre KP_START))));
|
|
467
|
|
|
468
|
chart_microwave_mode_logic_start =
|
|
469
|
(if (START_PRESSED = false)
|
|
470
|
then 0
|
|
471
|
else 1);
|
|
472
|
|
|
473
|
chart_microwave_mode_logic_clear_off =
|
|
474
|
(if (CLEAR_PRESSED = false)
|
|
475
|
then 0
|
|
476
|
else 1);
|
|
477
|
|
|
478
|
chart_microwave_mode_logic_door_closed =
|
|
479
|
(if (DOOR_CLOSED = false)
|
|
480
|
then 0
|
|
481
|
else 1);
|
|
482
|
|
|
483
|
chart_microwave_mode_logic____wakeup___ = true;
|
|
484
|
|
|
485
|
chart_microwave_mode_logic_rlt_evtInitStep = (true ->
|
|
486
|
(if (pre chart_microwave_mode_logic____wakeup___)
|
|
487
|
then false
|
|
488
|
else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
|
|
489
|
|
|
490
|
chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
|
|
491
|
|
|
492
|
chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
|
|
493
|
|
|
494
|
chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
|
|
495
|
|
|
496
|
chart_microwave_mode_logic_final_state_states___root =
|
|
497
|
(if chart_microwave_mode_logic____wakeup___
|
|
498
|
then
|
|
499
|
(if chart_microwave_mode_logic_rlt_evtInitStep
|
|
500
|
then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
|
|
501
|
else
|
|
502
|
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and
|
|
503
|
|
|
504
|
|
|
505
|
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and
|
|
506
|
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
|
|
507
|
then
|
|
508
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
|
|
509
|
then
|
|
510
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
|
|
511
|
then
|
|
512
|
|
|
513
|
3
|
|
514
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
|
|
515
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
|
|
516
|
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
|
|
517
|
else chart_microwave_mode_logic_begin_state_states___root);
|
|
518
|
|
|
519
|
chart_microwave_mode_logic_mode =
|
|
520
|
(if chart_microwave_mode_logic____wakeup___
|
|
521
|
then
|
|
522
|
(if chart_microwave_mode_logic_rlt_evtInitStep
|
|
523
|
then
|
|
524
|
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
|
|
525
|
then 1
|
|
526
|
else chart_microwave_mode_logic_begin_state_outports_mode)
|
|
527
|
else
|
|
528
|
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and
|
|
529
|
|
|
530
|
|
|
531
|
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and
|
|
532
|
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
|
|
533
|
then
|
|
534
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
|
|
535
|
then
|
|
536
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
|
|
537
|
then 3
|
|
538
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
|
|
539
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
|
|
540
|
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
|
|
541
|
else chart_microwave_mode_logic_begin_state_outports_mode);
|
|
542
|
|
|
543
|
chart_microwave_mode_logic_steps_remaining =
|
|
544
|
(if chart_microwave_mode_logic____wakeup___
|
|
545
|
then
|
|
546
|
(if chart_microwave_mode_logic_rlt_evtInitStep
|
|
547
|
then chart_microwave_mode_logic_begin_state_outports_steps_remaining
|
|
548
|
else
|
|
549
|
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and
|
|
550
|
|
|
551
|
|
|
552
|
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and
|
|
553
|
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
|
|
554
|
then
|
|
555
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
|
|
556
|
then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
|
|
557
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
|
|
558
|
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
|
|
559
|
else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
|
|
560
|
|
|
561
|
|
|
562
|
|
|
563
|
rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
|
|
564
|
|
|
565
|
|
|
566
|
|
|
567
|
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining =
|
|
568
|
(if rlt_eval_microwave_mode_logic_rlt_fired_0
|
|
569
|
then STEPS_TO_COOK
|
|
570
|
else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
|
|
571
|
|
|
572
|
|
|
573
|
|
|
574
|
rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and
|
|
575
|
((chart_microwave_mode_logic_begin_state_states___root = 4) and
|
|
576
|
(
|
|
577
|
(if (chart_microwave_mode_logic_start <> 0)
|
|
578
|
then true
|
|
579
|
else false) and
|
|
580
|
|
|
581
|
(if (
|
|
582
|
(if ((STEPS_TO_COOK > 0) = false)
|
|
583
|
then 0
|
|
584
|
else 1) <> 0)
|
|
585
|
then true
|
|
586
|
else false))));
|
|
587
|
|
|
588
|
|
|
589
|
|
|
590
|
rlt_eval_microwave_mode_logic_rlt_state_2_states___root =
|
|
591
|
(if rlt_eval_microwave_mode_logic_rlt_fired_1
|
|
592
|
then
|
|
593
|
(if (chart_microwave_mode_logic_begin_state_states___root = 4)
|
|
594
|
then
|
|
595
|
|
|
596
|
0
|
|
597
|
else chart_microwave_mode_logic_begin_state_states___root)
|
|
598
|
else chart_microwave_mode_logic_begin_state_states___root);
|
|
599
|
|
|
600
|
|
|
601
|
|
|
602
|
rlt_eval_microwave_mode_logic_rlt_state_3_states___root =
|
|
603
|
(if rlt_eval_microwave_mode_logic_rlt_fired_1
|
|
604
|
then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
|
|
605
|
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
|
|
606
|
|
|
607
|
|
|
608
|
|
|
609
|
|
|
610
|
|
|
611
|
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode =
|
|
612
|
(if rlt_eval_microwave_mode_logic_rlt_fired_1
|
|
613
|
then
|
|
614
|
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
|
|
615
|
then
|
|
616
|
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
|
|
617
|
then 3
|
|
618
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
|
|
619
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
|
|
620
|
else chart_microwave_mode_logic_begin_state_outports_mode);
|
|
621
|
|
|
622
|
|
|
623
|
|
|
624
|
|
|
625
|
|
|
626
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and
|
|
627
|
(rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and
|
|
628
|
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
|
|
629
|
|
|
630
|
|
|
631
|
|
|
632
|
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root =
|
|
633
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
|
|
634
|
then
|
|
635
|
(if
|
|
636
|
|
|
637
|
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and
|
|
638
|
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
|
|
639
|
then
|
|
640
|
|
|
641
|
0
|
|
642
|
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
|
|
643
|
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
|
|
644
|
|
|
645
|
|
|
646
|
|
|
647
|
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root =
|
|
648
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
|
|
649
|
then
|
|
650
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
|
|
651
|
then
|
|
652
|
|
|
653
|
4
|
|
654
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
|
|
655
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
|
|
656
|
|
|
657
|
|
|
658
|
|
|
659
|
|
|
660
|
|
|
661
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and
|
|
662
|
((
|
|
663
|
(if (chart_microwave_mode_logic_start <> 0)
|
|
664
|
then true
|
|
665
|
else false) and
|
|
666
|
|
|
667
|
(if (chart_microwave_mode_logic_door_closed <> 0)
|
|
668
|
then true
|
|
669
|
else false)) and
|
|
670
|
(not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
|
|
671
|
|
|
672
|
|
|
673
|
|
|
674
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or
|
|
675
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
|
|
676
|
|
|
677
|
|
|
678
|
|
|
679
|
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root =
|
|
680
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
|
|
681
|
then
|
|
682
|
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
|
|
683
|
then
|
|
684
|
|
|
685
|
1
|
|
686
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
|
|
687
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
|
|
688
|
|
|
689
|
|
|
690
|
|
|
691
|
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode =
|
|
692
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
|
|
693
|
then
|
|
694
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
|
|
695
|
then 1
|
|
696
|
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
|
|
697
|
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
|
|
698
|
|
|
699
|
|
|
700
|
|
|
701
|
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root =
|
|
702
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
|
|
703
|
then
|
|
704
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
|
|
705
|
then
|
|
706
|
|
|
707
|
2
|
|
708
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
|
|
709
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
|
|
710
|
|
|
711
|
|
|
712
|
|
|
713
|
|
|
714
|
|
|
715
|
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode =
|
|
716
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
|
|
717
|
then
|
|
718
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
|
|
719
|
then 2
|
|
720
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
|
|
721
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
|
|
722
|
|
|
723
|
|
|
724
|
|
|
725
|
|
|
726
|
|
|
727
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and
|
|
728
|
(
|
|
729
|
(if (chart_microwave_mode_logic_clear_off <> 0)
|
|
730
|
then true
|
|
731
|
else false) and
|
|
732
|
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and
|
|
733
|
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and
|
|
734
|
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
|
|
735
|
|
|
736
|
|
|
737
|
|
|
738
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or
|
|
739
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
|
|
740
|
|
|
741
|
|
|
742
|
|
|
743
|
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root =
|
|
744
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
|
|
745
|
then
|
|
746
|
(if
|
|
747
|
|
|
748
|
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and
|
|
749
|
(rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
|
|
750
|
then
|
|
751
|
|
|
752
|
0
|
|
753
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
|
|
754
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
|
|
755
|
|
|
756
|
|
|
757
|
|
|
758
|
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining =
|
|
759
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
|
|
760
|
then 0
|
|
761
|
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
|
|
762
|
|
|
763
|
|
|
764
|
|
|
765
|
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root =
|
|
766
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
|
|
767
|
then
|
|
768
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
|
|
769
|
then
|
|
770
|
|
|
771
|
4
|
|
772
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
|
|
773
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
|
|
774
|
|
|
775
|
|
|
776
|
|
|
777
|
|
|
778
|
|
|
779
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and
|
|
780
|
((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and
|
|
781
|
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
|
|
782
|
|
|
783
|
|
|
784
|
|
|
785
|
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode =
|
|
786
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
|
|
787
|
then
|
|
788
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
|
|
789
|
then 1
|
|
790
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
|
|
791
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
|
|
792
|
|
|
793
|
|
|
794
|
|
|
795
|
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root =
|
|
796
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
|
|
797
|
then
|
|
798
|
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
|
|
799
|
then
|
|
800
|
|
|
801
|
1
|
|
802
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
|
|
803
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
|
|
804
|
|
|
805
|
|
|
806
|
|
|
807
|
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root =
|
|
808
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
|
|
809
|
then
|
|
810
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
|
|
811
|
then
|
|
812
|
|
|
813
|
2
|
|
814
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
|
|
815
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
|
|
816
|
|
|
817
|
|
|
818
|
|
|
819
|
|
|
820
|
|
|
821
|
rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and
|
|
822
|
((
|
|
823
|
(if (chart_microwave_mode_logic_clear_off <> 0)
|
|
824
|
then true
|
|
825
|
else false) or
|
|
826
|
(not
|
|
827
|
(if (chart_microwave_mode_logic_door_closed <> 0)
|
|
828
|
then true
|
|
829
|
else false))) and
|
|
830
|
(not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or
|
|
831
|
rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
|
|
832
|
|
|
833
|
|
|
834
|
|
|
835
|
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root =
|
|
836
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
|
|
837
|
then
|
|
838
|
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
|
|
839
|
then
|
|
840
|
|
|
841
|
1
|
|
842
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
|
|
843
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
|
|
844
|
|
|
845
|
|
|
846
|
|
|
847
|
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode =
|
|
848
|
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
|
|
849
|
then
|
|
850
|
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
|
|
851
|
then 2
|
|
852
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
|
|
853
|
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
|
|
854
|
|
|
855
|
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root =
|
|
856
|
(if (not
|
|
857
|
|
|
858
|
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and
|
|
859
|
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
|
|
860
|
then
|
|
861
|
|
|
862
|
1
|
|
863
|
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
|
|
864
|
|
|
865
|
|
|
866
|
|
|
867
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not
|
|
868
|
|
|
869
|
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and
|
|
870
|
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and
|
|
871
|
|
|
872
|
|
|
873
|
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and
|
|
874
|
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
|
|
875
|
|
|
876
|
|
|
877
|
|
|
878
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and
|
|
879
|
(
|
|
880
|
|
|
881
|
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and
|
|
882
|
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and
|
|
883
|
|
|
884
|
(if (chart_microwave_mode_logic_door_closed <> 0)
|
|
885
|
then true
|
|
886
|
else false)));
|
|
887
|
|
|
888
|
|
|
889
|
|
|
890
|
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root =
|
|
891
|
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
|
|
892
|
then
|
|
893
|
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
|
|
894
|
then
|
|
895
|
|
|
896
|
2
|
|
897
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
|
|
898
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
|
|
899
|
|
|
900
|
|
|
901
|
|
|
902
|
|
|
903
|
|
|
904
|
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode =
|
|
905
|
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
|
|
906
|
then
|
|
907
|
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
|
|
908
|
then 2
|
|
909
|
else chart_microwave_mode_logic_begin_state_outports_mode)
|
|
910
|
else chart_microwave_mode_logic_begin_state_outports_mode);
|
|
911
|
|
|
912
|
|
|
913
|
|
|
914
|
|
|
915
|
|
|
916
|
rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and
|
|
917
|
(
|
|
918
|
|
|
919
|
((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and
|
|
920
|
(rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and
|
|
921
|
(not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
|
|
922
|
|
|
923
|
|
|
924
|
|
|
925
|
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root =
|
|
926
|
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
|
|
927
|
then
|
|
928
|
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
|
|
929
|
then
|
|
930
|
|
|
931
|
3
|
|
932
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
|
|
933
|
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
|
|
934
|
|
|
935
|
|
|
936
|
|
|
937
|
|
|
938
|
|
|
939
|
rlt_enter_microwave_mode_logic_rlt_state_2_states___root =
|
|
940
|
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
|
|
941
|
then
|
|
942
|
|
|
943
|
4
|
|
944
|
else chart_microwave_mode_logic_begin_state_states___root);
|
|
945
|
|
|
946
|
|
|
947
|
|
|
948
|
microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
|
|
949
|
|
|
950
|
p17 = (((not (enable and
|
|
951
|
(not KP_CLEAR))) or
|
|
952
|
((not (((((((((KP_1 or
|
|
953
|
KP_2) or
|
|
954
|
KP_3) or
|
|
955
|
KP_4) or
|
|
956
|
KP_5) or
|
|
957
|
KP_6) or
|
|
958
|
KP_7) or
|
|
959
|
KP_8) or
|
|
960
|
KP_9) or
|
|
961
|
KP_0)) or
|
|
962
|
(LEFT_DIGIT = 0))) -> ((not (enable and
|
|
963
|
(not KP_CLEAR))) or
|
|
964
|
((not ((((((((((KP_1 and
|
|
965
|
(not (pre KP_1))) or
|
|
966
|
(KP_2 and
|
|
967
|
(not (pre KP_2)))) or
|
|
968
|
(KP_3 and
|
|
969
|
(not (pre KP_3)))) or
|
|
970
|
(KP_4 and
|
|
971
|
(not (pre KP_4)))) or
|
|
972
|
(KP_5 and
|
|
973
|
(not (pre KP_5)))) or
|
|
974
|
(KP_6 and
|
|
975
|
(not (pre KP_6)))) or
|
|
976
|
(KP_7 and
|
|
977
|
(not (pre KP_7)))) or
|
|
978
|
(KP_8 and
|
|
979
|
(not (pre KP_8)))) or
|
|
980
|
(KP_9 and
|
|
981
|
(not (pre KP_9)))) or
|
|
982
|
(KP_0 and
|
|
983
|
(not (pre KP_0))))) or
|
|
984
|
(LEFT_DIGIT = (pre MIDDLE_DIGIT)))));
|
|
985
|
|
|
986
|
MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
|
|
987
|
|
|
988
|
OK = (true -> ((not COOKING) or
|
|
989
|
(
|
|
990
|
(if (not (not COOKING))
|
|
991
|
then
|
|
992
|
(if (MWI_FcnMaxI_In16 > 0)
|
|
993
|
then MWI_FcnMaxI_In16
|
|
994
|
else 0)
|
|
995
|
else 639) > 0)));
|
|
996
|
|
|
997
|
p27 = (((not (enable and
|
|
998
|
(not KP_CLEAR))) or
|
|
999
|
((not KP_0) or
|
|
1000
|
(RIGHT_DIGIT = 0))) -> ((not (enable and
|
|
1001
|
(not KP_CLEAR))) or
|
|
1002
|
((not (KP_0 and
|
|
1003
|
(not (pre KP_0)))) or
|
|
1004
|
(RIGHT_DIGIT = 0))));
|
|
1005
|
|
|
1006
|
rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = enable;
|
|
1007
|
|
|
1008
|
KP_01 = KP_0;
|
|
1009
|
|
|
1010
|
KP_11 = KP_1;
|
|
1011
|
|
|
1012
|
KP_21 = KP_2;
|
|
1013
|
|
|
1014
|
KP_31 = KP_3;
|
|
1015
|
|
|
1016
|
KP_41 = KP_4;
|
|
1017
|
|
|
1018
|
KP_51 = KP_5;
|
|
1019
|
|
|
1020
|
KP_61 = KP_6;
|
|
1021
|
|
|
1022
|
KP_71 = KP_7;
|
|
1023
|
|
|
1024
|
KP_81 = KP_8;
|
|
1025
|
|
|
1026
|
KP_91 = KP_9;
|
|
1027
|
|
|
1028
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY = (0 ->
|
|
1029
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
|
|
1030
|
then
|
|
1031
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
|
|
1032
|
then 0
|
|
1033
|
else
|
|
1034
|
(if KP_CLEAR
|
|
1035
|
then 0
|
|
1036
|
else
|
|
1037
|
(if
|
|
1038
|
(if (
|
|
1039
|
(if (KP_01 and
|
|
1040
|
(not (pre KP_01)))
|
|
1041
|
then 0
|
|
1042
|
else
|
|
1043
|
(if (KP_11 and
|
|
1044
|
(not (pre KP_11)))
|
|
1045
|
then 1
|
|
1046
|
else
|
|
1047
|
(if (KP_21 and
|
|
1048
|
(not (pre KP_21)))
|
|
1049
|
then 2
|
|
1050
|
else
|
|
1051
|
(if (KP_31 and
|
|
1052
|
(not (pre KP_31)))
|
|
1053
|
then 3
|
|
1054
|
else
|
|
1055
|
(if (KP_41 and
|
|
1056
|
(not (pre KP_41)))
|
|
1057
|
then 4
|
|
1058
|
else
|
|
1059
|
(if (KP_51 and
|
|
1060
|
(not (pre KP_51)))
|
|
1061
|
then 5
|
|
1062
|
else
|
|
1063
|
(if (KP_61 and
|
|
1064
|
(not (pre KP_61)))
|
|
1065
|
then 6
|
|
1066
|
else
|
|
1067
|
(if (KP_71 and
|
|
1068
|
(not (pre KP_71)))
|
|
1069
|
then 7
|
|
1070
|
else
|
|
1071
|
(if (KP_81 and
|
|
1072
|
(not (pre KP_81)))
|
|
1073
|
then 8
|
|
1074
|
else
|
|
1075
|
(if (KP_91 and
|
|
1076
|
(not (pre KP_91)))
|
|
1077
|
then 9
|
|
1078
|
else 10)))))))))) <= 9)
|
|
1079
|
then true
|
|
1080
|
else false)
|
|
1081
|
then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)
|
|
1082
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY))))
|
|
1083
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY)));
|
|
1084
|
|
|
1085
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY = (0 ->
|
|
1086
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
|
|
1087
|
then
|
|
1088
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
|
|
1089
|
then 0
|
|
1090
|
else
|
|
1091
|
(if KP_CLEAR
|
|
1092
|
then 0
|
|
1093
|
else
|
|
1094
|
(if
|
|
1095
|
(if (
|
|
1096
|
(if (KP_01 and
|
|
1097
|
(not (pre KP_01)))
|
|
1098
|
then 0
|
|
1099
|
else
|
|
1100
|
(if (KP_11 and
|
|
1101
|
(not (pre KP_11)))
|
|
1102
|
then 1
|
|
1103
|
else
|
|
1104
|
(if (KP_21 and
|
|
1105
|
(not (pre KP_21)))
|
|
1106
|
then 2
|
|
1107
|
else
|
|
1108
|
(if (KP_31 and
|
|
1109
|
(not (pre KP_31)))
|
|
1110
|
then 3
|
|
1111
|
else
|
|
1112
|
(if (KP_41 and
|
|
1113
|
(not (pre KP_41)))
|
|
1114
|
then 4
|
|
1115
|
else
|
|
1116
|
(if (KP_51 and
|
|
1117
|
(not (pre KP_51)))
|
|
1118
|
then 5
|
|
1119
|
else
|
|
1120
|
(if (KP_61 and
|
|
1121
|
(not (pre KP_61)))
|
|
1122
|
then 6
|
|
1123
|
else
|
|
1124
|
(if (KP_71 and
|
|
1125
|
(not (pre KP_71)))
|
|
1126
|
then 7
|
|
1127
|
else
|
|
1128
|
(if (KP_81 and
|
|
1129
|
(not (pre KP_81)))
|
|
1130
|
then 8
|
|
1131
|
else
|
|
1132
|
(if (KP_91 and
|
|
1133
|
(not (pre KP_91)))
|
|
1134
|
then 9
|
|
1135
|
else 10)))))))))) <= 9)
|
|
1136
|
then true
|
|
1137
|
else false)
|
|
1138
|
then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)
|
|
1139
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY))))
|
|
1140
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)));
|
|
1141
|
|
|
1142
|
microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY = (
|
|
1143
|
(if KP_CLEAR
|
|
1144
|
then 0
|
|
1145
|
else
|
|
1146
|
(if
|
|
1147
|
(if (
|
|
1148
|
(if KP_01
|
|
1149
|
then 0
|
|
1150
|
else
|
|
1151
|
(if KP_11
|
|
1152
|
then 1
|
|
1153
|
else
|
|
1154
|
(if KP_21
|
|
1155
|
then 2
|
|
1156
|
else
|
|
1157
|
(if KP_31
|
|
1158
|
then 3
|
|
1159
|
else
|
|
1160
|
(if KP_41
|
|
1161
|
then 4
|
|
1162
|
else
|
|
1163
|
(if KP_51
|
|
1164
|
then 5
|
|
1165
|
else
|
|
1166
|
(if KP_61
|
|
1167
|
then 6
|
|
1168
|
else
|
|
1169
|
(if KP_71
|
|
1170
|
then 7
|
|
1171
|
else
|
|
1172
|
(if KP_81
|
|
1173
|
then 8
|
|
1174
|
else
|
|
1175
|
(if KP_91
|
|
1176
|
then 9
|
|
1177
|
else 10)))))))))) <= 9)
|
|
1178
|
then true
|
|
1179
|
else false)
|
|
1180
|
then
|
|
1181
|
(if KP_01
|
|
1182
|
then 0
|
|
1183
|
else
|
|
1184
|
(if KP_11
|
|
1185
|
then 1
|
|
1186
|
else
|
|
1187
|
(if KP_21
|
|
1188
|
then 2
|
|
1189
|
else
|
|
1190
|
(if KP_31
|
|
1191
|
then 3
|
|
1192
|
else
|
|
1193
|
(if KP_41
|
|
1194
|
then 4
|
|
1195
|
else
|
|
1196
|
(if KP_51
|
|
1197
|
then 5
|
|
1198
|
else
|
|
1199
|
(if KP_61
|
|
1200
|
then 6
|
|
1201
|
else
|
|
1202
|
(if KP_71
|
|
1203
|
then 7
|
|
1204
|
else
|
|
1205
|
(if KP_81
|
|
1206
|
then 8
|
|
1207
|
else
|
|
1208
|
(if KP_91
|
|
1209
|
then 9
|
|
1210
|
else 10))))))))))
|
|
1211
|
else 0)) ->
|
|
1212
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
|
|
1213
|
then
|
|
1214
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
|
|
1215
|
then
|
|
1216
|
(if KP_CLEAR
|
|
1217
|
then 0
|
|
1218
|
else
|
|
1219
|
(if
|
|
1220
|
(if (
|
|
1221
|
(if KP_01
|
|
1222
|
then 0
|
|
1223
|
else
|
|
1224
|
(if KP_11
|
|
1225
|
then 1
|
|
1226
|
else
|
|
1227
|
(if KP_21
|
|
1228
|
then 2
|
|
1229
|
else
|
|
1230
|
(if KP_31
|
|
1231
|
then 3
|
|
1232
|
else
|
|
1233
|
(if KP_41
|
|
1234
|
then 4
|
|
1235
|
else
|
|
1236
|
(if KP_51
|
|
1237
|
then 5
|
|
1238
|
else
|
|
1239
|
(if KP_61
|
|
1240
|
then 6
|
|
1241
|
else
|
|
1242
|
(if KP_71
|
|
1243
|
then 7
|
|
1244
|
else
|
|
1245
|
(if KP_81
|
|
1246
|
then 8
|
|
1247
|
else
|
|
1248
|
(if KP_91
|
|
1249
|
then 9
|
|
1250
|
else 10)))))))))) <= 9)
|
|
1251
|
then true
|
|
1252
|
else false)
|
|
1253
|
then
|
|
1254
|
(if KP_01
|
|
1255
|
then 0
|
|
1256
|
else
|
|
1257
|
(if KP_11
|
|
1258
|
then 1
|
|
1259
|
else
|
|
1260
|
(if KP_21
|
|
1261
|
then 2
|
|
1262
|
else
|
|
1263
|
(if KP_31
|
|
1264
|
then 3
|
|
1265
|
else
|
|
1266
|
(if KP_41
|
|
1267
|
then 4
|
|
1268
|
else
|
|
1269
|
(if KP_51
|
|
1270
|
then 5
|
|
1271
|
else
|
|
1272
|
(if KP_61
|
|
1273
|
then 6
|
|
1274
|
else
|
|
1275
|
(if KP_71
|
|
1276
|
then 7
|
|
1277
|
else
|
|
1278
|
(if KP_81
|
|
1279
|
then 8
|
|
1280
|
else
|
|
1281
|
(if KP_91
|
|
1282
|
then 9
|
|
1283
|
else 10))))))))))
|
|
1284
|
else 0))
|
|
1285
|
else
|
|
1286
|
(if KP_CLEAR
|
|
1287
|
then 0
|
|
1288
|
else
|
|
1289
|
(if
|
|
1290
|
(if (
|
|
1291
|
(if (KP_01 and
|
|
1292
|
(not (pre KP_01)))
|
|
1293
|
then 0
|
|
1294
|
else
|
|
1295
|
(if (KP_11 and
|
|
1296
|
(not (pre KP_11)))
|
|
1297
|
then 1
|
|
1298
|
else
|
|
1299
|
(if (KP_21 and
|
|
1300
|
(not (pre KP_21)))
|
|
1301
|
then 2
|
|
1302
|
else
|
|
1303
|
(if (KP_31 and
|
|
1304
|
(not (pre KP_31)))
|
|
1305
|
then 3
|
|
1306
|
else
|
|
1307
|
(if (KP_41 and
|
|
1308
|
(not (pre KP_41)))
|
|
1309
|
then 4
|
|
1310
|
else
|
|
1311
|
(if (KP_51 and
|
|
1312
|
(not (pre KP_51)))
|
|
1313
|
then 5
|
|
1314
|
else
|
|
1315
|
(if (KP_61 and
|
|
1316
|
(not (pre KP_61)))
|
|
1317
|
then 6
|
|
1318
|
else
|
|
1319
|
(if (KP_71 and
|
|
1320
|
(not (pre KP_71)))
|
|
1321
|
then 7
|
|
1322
|
else
|
|
1323
|
(if (KP_81 and
|
|
1324
|
(not (pre KP_81)))
|
|
1325
|
then 8
|
|
1326
|
else
|
|
1327
|
(if (KP_91 and
|
|
1328
|
(not (pre KP_91)))
|
|
1329
|
then 9
|
|
1330
|
else 10)))))))))) <= 9)
|
|
1331
|
then true
|
|
1332
|
else false)
|
|
1333
|
then
|
|
1334
|
(if (KP_01 and
|
|
1335
|
(not (pre KP_01)))
|
|
1336
|
then 0
|
|
1337
|
else
|
|
1338
|
(if (KP_11 and
|
|
1339
|
(not (pre KP_11)))
|
|
1340
|
then 1
|
|
1341
|
else
|
|
1342
|
(if (KP_21 and
|
|
1343
|
(not (pre KP_21)))
|
|
1344
|
then 2
|
|
1345
|
else
|
|
1346
|
(if (KP_31 and
|
|
1347
|
(not (pre KP_31)))
|
|
1348
|
then 3
|
|
1349
|
else
|
|
1350
|
(if (KP_41 and
|
|
1351
|
(not (pre KP_41)))
|
|
1352
|
then 4
|
|
1353
|
else
|
|
1354
|
(if (KP_51 and
|
|
1355
|
(not (pre KP_51)))
|
|
1356
|
then 5
|
|
1357
|
else
|
|
1358
|
(if (KP_61 and
|
|
1359
|
(not (pre KP_61)))
|
|
1360
|
then 6
|
|
1361
|
else
|
|
1362
|
(if (KP_71 and
|
|
1363
|
(not (pre KP_71)))
|
|
1364
|
then 7
|
|
1365
|
else
|
|
1366
|
(if (KP_81 and
|
|
1367
|
(not (pre KP_81)))
|
|
1368
|
then 8
|
|
1369
|
else
|
|
1370
|
(if (KP_91 and
|
|
1371
|
(not (pre KP_91)))
|
|
1372
|
then 9
|
|
1373
|
else 10))))))))))
|
|
1374
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY))))
|
|
1375
|
else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)));
|
|
1376
|
|
|
1377
|
STEPS_TO_COOK = (
|
|
1378
|
(if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and
|
|
1379
|
(not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
|
|
1380
|
then 0
|
|
1381
|
else ((((microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + (microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY * 60)) * 1)) ->
|
|
1382
|
(if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and
|
|
1383
|
(not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
|
|
1384
|
then 0
|
|
1385
|
else
|
|
1386
|
(if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
|
|
1387
|
then ((((microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + (microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY * 60)) * 1)
|
|
1388
|
else (pre STEPS_TO_COOK))));
|
|
1389
|
|
|
1390
|
rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step = (true ->
|
|
1391
|
(if (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
|
|
1392
|
then true
|
|
1393
|
else
|
|
1394
|
(if (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
|
|
1395
|
then false
|
|
1396
|
else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
|
|
1397
|
|
|
1398
|
SETUP =
|
|
1399
|
(if (1 = microwave_microwave_mode_logic_mode)
|
|
1400
|
then true
|
|
1401
|
else false);
|
|
1402
|
|
|
1403
|
p32 = (true -> ((not (enable and
|
|
1404
|
(not KP_CLEAR))) or
|
|
1405
|
((not ((KP_5 and
|
|
1406
|
(not (pre KP_5))) and
|
|
1407
|
((not (KP_4 and
|
|
1408
|
(not (pre KP_4)))) and
|
|
1409
|
((not (KP_3 and
|
|
1410
|
(not (pre KP_3)))) and
|
|
1411
|
((not (KP_2 and
|
|
1412
|
(not (pre KP_2)))) and
|
|
1413
|
((not (KP_1 and
|
|
1414
|
(not (pre KP_1)))) and
|
|
1415
|
(not (KP_0 and
|
|
1416
|
(not (pre KP_0)))))))))) or
|
|
1417
|
(RIGHT_DIGIT = 5))));
|
|
1418
|
|
|
1419
|
enable = (true ->
|
|
1420
|
(if (1 = (pre microwave_microwave_mode_logic_mode))
|
|
1421
|
then true
|
|
1422
|
else false));
|
|
1423
|
|
|
1424
|
p28 = (true -> ((not (enable and
|
|
1425
|
(not KP_CLEAR))) or
|
|
1426
|
((not ((KP_1 and
|
|
1427
|
(not (pre KP_1))) and
|
|
1428
|
(not (KP_0 and
|
|
1429
|
(not (pre KP_0)))))) or
|
|
1430
|
(RIGHT_DIGIT = 1))));
|
|
1431
|
|
|
1432
|
p13 = ((not (enable and
|
|
1433
|
KP_CLEAR)) or
|
|
1434
|
(STEPS_TO_COOK = 0));
|
|
1435
|
|
|
1436
|
p19 = (true -> ((not (enable and
|
|
1437
|
(not KP_CLEAR))) or
|
|
1438
|
(((((((((((KP_1 and
|
|
1439
|
(not (pre KP_1))) or
|
|
1440
|
(KP_2 and
|
|
1441
|
(not (pre KP_2)))) or
|
|
1442
|
(KP_3 and
|
|
1443
|
(not (pre KP_3)))) or
|
|
1444
|
(KP_4 and
|
|
1445
|
(not (pre KP_4)))) or
|
|
1446
|
(KP_5 and
|
|
1447
|
(not (pre KP_5)))) or
|
|
1448
|
(KP_6 and
|
|
1449
|
(not (pre KP_6)))) or
|
|
1450
|
(KP_7 and
|
|
1451
|
(not (pre KP_7)))) or
|
|
1452
|
(KP_8 and
|
|
1453
|
(not (pre KP_8)))) or
|
|
1454
|
(KP_9 and
|
|
1455
|
(not (pre KP_9)))) or
|
|
1456
|
(KP_0 and
|
|
1457
|
(not (pre KP_0)))) or
|
|
1458
|
(LEFT_DIGIT = (pre LEFT_DIGIT)))));
|
|
1459
|
|
|
1460
|
p29 = (true -> ((not (enable and
|
|
1461
|
(not KP_CLEAR))) or
|
|
1462
|
((not ((KP_2 and
|
|
1463
|
(not (pre KP_2))) and
|
|
1464
|
((not (KP_1 and
|
|
1465
|
(not (pre KP_1)))) and
|
|
1466
|
(not (KP_0 and
|
|
1467
|
(not (pre KP_0))))))) or
|
|
1468
|
(RIGHT_DIGIT = 2))));
|
|
1469
|
|
|
1470
|
p34 = (true -> ((not (enable and
|
|
1471
|
(not KP_CLEAR))) or
|
|
1472
|
((not ((KP_7 and
|
|
1473
|
(not (pre KP_7))) and
|
|
1474
|
((not (KP_6 and
|
|
1475
|
(not (pre KP_6)))) and
|
|
1476
|
((not (KP_5 and
|
|
1477
|
(not (pre KP_5)))) and
|
|
1478
|
((not (KP_4 and
|
|
1479
|
(not (pre KP_4)))) and
|
|
1480
|
((not (KP_3 and
|
|
1481
|
(not (pre KP_3)))) and
|
|
1482
|
((not (KP_2 and
|
|
1483
|
(not (pre KP_2)))) and
|
|
1484
|
((not (KP_1 and
|
|
1485
|
(not (pre KP_1)))) and
|
|
1486
|
(not (KP_0 and
|
|
1487
|
(not (pre KP_0)))))))))))) or
|
|
1488
|
(RIGHT_DIGIT = 7))));
|
|
1489
|
|
|
1490
|
p12 = (enable or
|
|
1491
|
(STEPS_TO_COOK = 0));
|
|
1492
|
|
|
1493
|
p21 = ((not (enable and
|
|
1494
|
KP_CLEAR)) or
|
|
1495
|
(MIDDLE_DIGIT = 0));
|
|
1496
|
|
|
1497
|
--%PROPERTY OK=true;
|
|
1498
|
--%MAIN;
|
|
1499
|
|
|
1500
|
tel
|
|
1501
|
|