Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / kind_fmcad08 / large / microwave23.lus @ 22fe1c93

History | View | Annotate | Download (46.1 KB)

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