Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (42.7 KB)

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
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
   p33: bool; 
107
   p34: bool; 
108
   p35: bool; 
109
   p36: bool; 
110
   p37: bool; 
111
let 
112
   rlt__Arrow5 = (639 -> 
113
      (if (not (not SETUP))
114
         then 
115
               (if (MWI_FcnMaxI_In13 > 0)
116
                  then MWI_FcnMaxI_In13
117
                  else 0)
118
         else 639));
119

    
120
   rlt__Arrow4 = (639 -> 
121
      (if (not SUSPENDED)
122
         then 
123
               (if (MWI_FcnMaxI_In12 > 0)
124
                  then MWI_FcnMaxI_In12
125
                  else 0)
126
         else 639));
127

    
128
   rlt__Arrow3 = (639 -> 
129
      (if (not (not COOKING))
130
         then 
131
               (if (MWI_FcnMaxI_In16 > 0)
132
                  then MWI_FcnMaxI_In16
133
                  else 0)
134
         else 639));
135

    
136
   rlt__Arrow2 = (639 -> 
137
      (if (not (not SUSPENDED))
138
         then 
139
               (if (MWI_FcnMaxI_In15 > 0)
140
                  then MWI_FcnMaxI_In15
141
                  else 0)
142
         else 639));
143

    
144
   rlt__Arrow1 = (639 -> 
145
      (if (not COOKING)
146
         then 
147
               (if (MWI_FcnMaxI_In11 > 0)
148
                  then MWI_FcnMaxI_In11
149
                  else 0)
150
         else 639));
151

    
152
   rlt__Arrow = (639 -> 
153
      (if (not SETUP)
154
         then 
155
               (if (MWI_FcnMaxI_In1 > 0)
156
                  then MWI_FcnMaxI_In1
157
                  else 0)
158
         else 639));
159

    
160

    
161

    
162
   p35 = (true -> ((not (enable and 
163
      (not KP_CLEAR))) or 
164
      ((not ((KP_8 and 
165
      (not (pre KP_8))) and 
166
      ((not (KP_7 and 
167
      (not (pre KP_7)))) and 
168
      ((not (KP_6 and 
169
      (not (pre KP_6)))) and 
170
      ((not (KP_5 and 
171
      (not (pre KP_5)))) and 
172
      ((not (KP_4 and 
173
      (not (pre KP_4)))) and 
174
      ((not (KP_3 and 
175
      (not (pre KP_3)))) and 
176
      ((not (KP_2 and 
177
      (not (pre KP_2)))) and 
178
      ((not (KP_1 and 
179
      (not (pre KP_1)))) and 
180
      (not (KP_0 and 
181
      (not (pre KP_0))))))))))))) or 
182
      (RIGHT_DIGIT = 8))));
183

    
184
   p33 = (true -> ((not (enable and 
185
      (not KP_CLEAR))) or 
186
      ((not ((KP_6 and 
187
      (not (pre KP_6))) and 
188
      ((not (KP_5 and 
189
      (not (pre KP_5)))) and 
190
      ((not (KP_4 and 
191
      (not (pre KP_4)))) and 
192
      ((not (KP_3 and 
193
      (not (pre KP_3)))) and 
194
      ((not (KP_2 and 
195
      (not (pre KP_2)))) and 
196
      ((not (KP_1 and 
197
      (not (pre KP_1)))) and 
198
      (not (KP_0 and 
199
      (not (pre KP_0))))))))))) or 
200
      (RIGHT_DIGIT = 6))));
201

    
202
   MIDDLE_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT;
203

    
204
   RIGHT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER;
205

    
206

    
207

    
208
   p36 = (true -> ((not (enable and 
209
      (not KP_CLEAR))) or 
210
      ((not ((KP_9 and 
211
      (not (pre KP_9))) and 
212
      ((not (KP_8 and 
213
      (not (pre KP_8)))) and 
214
      ((not (KP_7 and 
215
      (not (pre KP_7)))) and 
216
      ((not (KP_6 and 
217
      (not (pre KP_6)))) and 
218
      ((not (KP_5 and 
219
      (not (pre KP_5)))) and 
220
      ((not (KP_4 and 
221
      (not (pre KP_4)))) and 
222
      ((not (KP_3 and 
223
      (not (pre KP_3)))) and 
224
      ((not (KP_2 and 
225
      (not (pre KP_2)))) and 
226
      ((not (KP_1 and 
227
      (not (pre KP_1)))) and 
228
      (not (KP_0 and 
229
      (not (pre KP_0)))))))))))))) or 
230
      (RIGHT_DIGIT = 9))));
231

    
232
   MWI_FcnMaxI_In1 = ((pre rlt__Arrow) - 1);
233

    
234
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
235
      (not (pre KP_CLEAR))));
236

    
237
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
238

    
239
   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));
240

    
241
   SUSPENDED = 
242
      (if (3 = microwave_microwave_mode_logic_mode)
243
         then true
244
         else false);
245

    
246

    
247
   p37 = (true -> ((not (enable and 
248
      (not KP_CLEAR))) or 
249
      (((((((((((KP_1 and 
250
      (not (pre KP_1))) or 
251
      (KP_2 and 
252
      (not (pre KP_2)))) or 
253
      (KP_3 and 
254
      (not (pre KP_3)))) or 
255
      (KP_4 and 
256
      (not (pre KP_4)))) or 
257
      (KP_5 and 
258
      (not (pre KP_5)))) or 
259
      (KP_6 and 
260
      (not (pre KP_6)))) or 
261
      (KP_7 and 
262
      (not (pre KP_7)))) or 
263
      (KP_8 and 
264
      (not (pre KP_8)))) or 
265
      (KP_9 and 
266
      (not (pre KP_9)))) or 
267
      (KP_0 and 
268
      (not (pre KP_0)))) or 
269
      (RIGHT_DIGIT = (pre RIGHT_DIGIT)))));
270

    
271
   MWI_FcnMaxI_In11 = ((pre rlt__Arrow1) - 1);
272

    
273
   MWI_FcnMaxI_In15 = ((pre rlt__Arrow2) - 1);
274

    
275

    
276

    
277

    
278
   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);
279

    
280
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
281

    
282

    
283
   MWI_FcnMaxI_In12 = ((pre rlt__Arrow4) - 1);
284

    
285

    
286

    
287
   COOKING = 
288
      (if (2 = microwave_microwave_mode_logic_mode)
289
         then true
290
         else false);
291

    
292
   LEFT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT;
293

    
294
   START_PRESSED = (KP_START -> (KP_START and 
295
      (not (pre KP_START))));
296

    
297
   chart_microwave_mode_logic_start = 
298
      (if (START_PRESSED = false)
299
         then 0
300
         else 1);
301

    
302
   chart_microwave_mode_logic_clear_off = 
303
      (if (CLEAR_PRESSED = false)
304
         then 0
305
         else 1);
306

    
307
   chart_microwave_mode_logic_door_closed = 
308
      (if (DOOR_CLOSED = false)
309
         then 0
310
         else 1);
311

    
312
   chart_microwave_mode_logic____wakeup___ = true;
313

    
314
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
315
      (if (pre chart_microwave_mode_logic____wakeup___)
316
         then false
317
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
318

    
319
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
320

    
321
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
322

    
323
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
324

    
325
   chart_microwave_mode_logic_final_state_states___root = 
326
      (if chart_microwave_mode_logic____wakeup___
327
         then 
328
               (if chart_microwave_mode_logic_rlt_evtInitStep
329
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
330
                  else 
331
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
332
                  
333
                  
334
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
335
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
336
                  then 
337
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
338
                           then 
339
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
340
                                    then 
341
                                          
342
                                          3
343
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
344
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
345
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
346
         else chart_microwave_mode_logic_begin_state_states___root);
347

    
348
   chart_microwave_mode_logic_mode = 
349
      (if chart_microwave_mode_logic____wakeup___
350
         then 
351
               (if chart_microwave_mode_logic_rlt_evtInitStep
352
                  then 
353
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
354
                           then 1
355
                           else chart_microwave_mode_logic_begin_state_outports_mode)
356
                  else 
357
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
358
                  
359
                  
360
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
361
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
362
                  then 
363
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
364
                           then 
365
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
366
                                    then 3
367
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
368
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
369
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
370
         else chart_microwave_mode_logic_begin_state_outports_mode);
371

    
372
   chart_microwave_mode_logic_steps_remaining = 
373
      (if chart_microwave_mode_logic____wakeup___
374
         then 
375
               (if chart_microwave_mode_logic_rlt_evtInitStep
376
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
377
                  else 
378
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
379
                  
380
                  
381
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
382
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
383
                  then 
384
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
385
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
386
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
387
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
388
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
389

    
390
   
391
   
392
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
393

    
394
   
395
   
396
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
397
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
398
         then STEPS_TO_COOK
399
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
400

    
401
   
402
   
403
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
404
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
405
      (
406
      (if (chart_microwave_mode_logic_start <> 0)
407
         then true
408
         else false) and 
409
      
410
      (if (
411
         (if ((STEPS_TO_COOK > 0) = false)
412
            then 0
413
            else 1) <> 0)
414
         then true
415
         else false))));
416

    
417
   
418
   
419
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
420
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
421
         then 
422
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
423
                  then 
424
                        
425
                        0
426
                  else chart_microwave_mode_logic_begin_state_states___root)
427
         else chart_microwave_mode_logic_begin_state_states___root);
428

    
429
   
430
   
431
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
432
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
433
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
434
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
435
   
436
   
437

    
438
   
439
   
440
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
441
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
442
         then 
443
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
444
                  then 
445
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
446
                           then 3
447
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
448
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
449
         else chart_microwave_mode_logic_begin_state_outports_mode);
450
   
451
   
452

    
453
   
454
   
455
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
456
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
457
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
458

    
459
   
460
   
461
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
462
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
463
         then 
464
               (if 
465
                  
466
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
467
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
468
                  then 
469
                        
470
                        0
471
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
472
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
473

    
474
   
475
   
476
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
477
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
478
         then 
479
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
480
                  then 
481
                        
482
                        4
483
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
484
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
485
   
486
   
487

    
488
   
489
   
490
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
491
      ((
492
      (if (chart_microwave_mode_logic_start <> 0)
493
         then true
494
         else false) and 
495
      
496
      (if (chart_microwave_mode_logic_door_closed <> 0)
497
         then true
498
         else false)) and 
499
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
500

    
501
   
502
   
503
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
504
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
505

    
506
   
507
   
508
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
509
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
510
         then 
511
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
512
                  then 
513
                        
514
                        1
515
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
516
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
517

    
518
   
519
   
520
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
521
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
522
         then 
523
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
524
                  then 1
525
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
526
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
527

    
528
   
529
   
530
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
531
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
532
         then 
533
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
534
                  then 
535
                        
536
                        2
537
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
538
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
539
   
540
   
541

    
542
   
543
   
544
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
545
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
546
         then 
547
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
548
                  then 2
549
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
550
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
551
   
552
   
553

    
554
   
555
   
556
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
557
      (
558
      (if (chart_microwave_mode_logic_clear_off <> 0)
559
         then true
560
         else false) and 
561
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
562
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
563
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
564

    
565
   
566
   
567
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
568
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
569

    
570
   
571
   
572
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
573
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
574
         then 
575
               (if 
576
                  
577
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
578
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
579
                  then 
580
                        
581
                        0
582
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
583
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
584

    
585
   
586
   
587
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
588
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
589
         then 0
590
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
591

    
592
   
593
   
594
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
595
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
596
         then 
597
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
598
                  then 
599
                        
600
                        4
601
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
602
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
603
   
604
   
605

    
606
   
607
   
608
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
609
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
610
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
611

    
612
   
613
   
614
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
615
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
616
         then 
617
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
618
                  then 1
619
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
620
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
621

    
622
   
623
   
624
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
625
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
626
         then 
627
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
628
                  then 
629
                        
630
                        1
631
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
632
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
633

    
634
   
635
   
636
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
637
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
638
         then 
639
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
640
                  then 
641
                        
642
                        2
643
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
644
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
645
   
646
   
647

    
648
   
649
   
650
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
651
      ((
652
      (if (chart_microwave_mode_logic_clear_off <> 0)
653
         then true
654
         else false) or 
655
      (not 
656
      (if (chart_microwave_mode_logic_door_closed <> 0)
657
         then true
658
         else false))) and 
659
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
660
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
661

    
662
   
663
   
664
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
665
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
666
         then 
667
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
668
                  then 
669
                        
670
                        1
671
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
672
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
673

    
674
   
675
   
676
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
677
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
678
         then 
679
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
680
                  then 2
681
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
682
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
683

    
684
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
685
      (if (not 
686
         
687
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
688
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
689
         then 
690
               
691
               1
692
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
693

    
694
   
695
   
696
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
697
      
698
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
699
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
700
      
701
      
702
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
703
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
704

    
705
   
706
   
707
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
708
      (
709
      
710
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
711
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
712
      
713
      (if (chart_microwave_mode_logic_door_closed <> 0)
714
         then true
715
         else false)));
716

    
717
   
718
   
719
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
720
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
721
         then 
722
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
723
                  then 
724
                        
725
                        2
726
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
727
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
728
   
729
   
730

    
731
   
732
   
733
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
734
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
735
         then 
736
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
737
                  then 2
738
                  else chart_microwave_mode_logic_begin_state_outports_mode)
739
         else chart_microwave_mode_logic_begin_state_outports_mode);
740
   
741
   
742

    
743
   
744
   
745
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
746
      (
747
      
748
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
749
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
750
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
751

    
752
   
753
   
754
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
755
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
756
         then 
757
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
758
                  then 
759
                        
760
                        3
761
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
762
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
763
   
764
   
765

    
766
   
767
   
768
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
769
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
770
         then 
771
               
772
               4
773
         else chart_microwave_mode_logic_begin_state_states___root);
774
   
775
   
776

    
777
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
778

    
779

    
780
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
781

    
782

    
783
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = enable;
784

    
785
   KP_01 = KP_0;
786

    
787
   KP_11 = KP_1;
788

    
789
   KP_21 = KP_2;
790

    
791
   KP_31 = KP_3;
792

    
793
   KP_41 = KP_4;
794

    
795
   KP_51 = KP_5;
796

    
797
   KP_61 = KP_6;
798

    
799
   KP_71 = KP_7;
800

    
801
   KP_81 = KP_8;
802

    
803
   KP_91 = KP_9;
804

    
805
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY = (0 -> 
806
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
807
         then 
808
               (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
809
                  then 0
810
                  else 
811
               (if KP_CLEAR
812
                  then 0
813
                  else 
814
               (if 
815
                  (if (
816
                     (if (KP_01 and 
817
                        (not (pre KP_01)))
818
                        then 0
819
                        else 
820
                     (if (KP_11 and 
821
                        (not (pre KP_11)))
822
                        then 1
823
                        else 
824
                     (if (KP_21 and 
825
                        (not (pre KP_21)))
826
                        then 2
827
                        else 
828
                     (if (KP_31 and 
829
                        (not (pre KP_31)))
830
                        then 3
831
                        else 
832
                     (if (KP_41 and 
833
                        (not (pre KP_41)))
834
                        then 4
835
                        else 
836
                     (if (KP_51 and 
837
                        (not (pre KP_51)))
838
                        then 5
839
                        else 
840
                     (if (KP_61 and 
841
                        (not (pre KP_61)))
842
                        then 6
843
                        else 
844
                     (if (KP_71 and 
845
                        (not (pre KP_71)))
846
                        then 7
847
                        else 
848
                     (if (KP_81 and 
849
                        (not (pre KP_81)))
850
                        then 8
851
                        else 
852
                     (if (KP_91 and 
853
                        (not (pre KP_91)))
854
                        then 9
855
                        else 10)))))))))) <= 9)
856
                     then true
857
                     else false)
858
                  then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)
859
                  else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY))))
860
         else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY)));
861

    
862
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY = (0 -> 
863
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
864
         then 
865
               (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
866
                  then 0
867
                  else 
868
               (if KP_CLEAR
869
                  then 0
870
                  else 
871
               (if 
872
                  (if (
873
                     (if (KP_01 and 
874
                        (not (pre KP_01)))
875
                        then 0
876
                        else 
877
                     (if (KP_11 and 
878
                        (not (pre KP_11)))
879
                        then 1
880
                        else 
881
                     (if (KP_21 and 
882
                        (not (pre KP_21)))
883
                        then 2
884
                        else 
885
                     (if (KP_31 and 
886
                        (not (pre KP_31)))
887
                        then 3
888
                        else 
889
                     (if (KP_41 and 
890
                        (not (pre KP_41)))
891
                        then 4
892
                        else 
893
                     (if (KP_51 and 
894
                        (not (pre KP_51)))
895
                        then 5
896
                        else 
897
                     (if (KP_61 and 
898
                        (not (pre KP_61)))
899
                        then 6
900
                        else 
901
                     (if (KP_71 and 
902
                        (not (pre KP_71)))
903
                        then 7
904
                        else 
905
                     (if (KP_81 and 
906
                        (not (pre KP_81)))
907
                        then 8
908
                        else 
909
                     (if (KP_91 and 
910
                        (not (pre KP_91)))
911
                        then 9
912
                        else 10)))))))))) <= 9)
913
                     then true
914
                     else false)
915
                  then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)
916
                  else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY))))
917
         else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)));
918

    
919
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY = (
920
      (if KP_CLEAR
921
         then 0
922
         else 
923
      (if 
924
         (if (
925
            (if KP_01
926
               then 0
927
               else 
928
            (if KP_11
929
               then 1
930
               else 
931
            (if KP_21
932
               then 2
933
               else 
934
            (if KP_31
935
               then 3
936
               else 
937
            (if KP_41
938
               then 4
939
               else 
940
            (if KP_51
941
               then 5
942
               else 
943
            (if KP_61
944
               then 6
945
               else 
946
            (if KP_71
947
               then 7
948
               else 
949
            (if KP_81
950
               then 8
951
               else 
952
            (if KP_91
953
               then 9
954
               else 10)))))))))) <= 9)
955
            then true
956
            else false)
957
         then 
958
               (if KP_01
959
                  then 0
960
                  else 
961
               (if KP_11
962
                  then 1
963
                  else 
964
               (if KP_21
965
                  then 2
966
                  else 
967
               (if KP_31
968
                  then 3
969
                  else 
970
               (if KP_41
971
                  then 4
972
                  else 
973
               (if KP_51
974
                  then 5
975
                  else 
976
               (if KP_61
977
                  then 6
978
                  else 
979
               (if KP_71
980
                  then 7
981
                  else 
982
               (if KP_81
983
                  then 8
984
                  else 
985
               (if KP_91
986
                  then 9
987
                  else 10))))))))))
988
         else 0)) -> 
989
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
990
         then 
991
               (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
992
                  then 
993
                        (if KP_CLEAR
994
                           then 0
995
                           else 
996
                        (if 
997
                           (if (
998
                              (if KP_01
999
                                 then 0
1000
                                 else 
1001
                              (if KP_11
1002
                                 then 1
1003
                                 else 
1004
                              (if KP_21
1005
                                 then 2
1006
                                 else 
1007
                              (if KP_31
1008
                                 then 3
1009
                                 else 
1010
                              (if KP_41
1011
                                 then 4
1012
                                 else 
1013
                              (if KP_51
1014
                                 then 5
1015
                                 else 
1016
                              (if KP_61
1017
                                 then 6
1018
                                 else 
1019
                              (if KP_71
1020
                                 then 7
1021
                                 else 
1022
                              (if KP_81
1023
                                 then 8
1024
                                 else 
1025
                              (if KP_91
1026
                                 then 9
1027
                                 else 10)))))))))) <= 9)
1028
                              then true
1029
                              else false)
1030
                           then 
1031
                                 (if KP_01
1032
                                    then 0
1033
                                    else 
1034
                                 (if KP_11
1035
                                    then 1
1036
                                    else 
1037
                                 (if KP_21
1038
                                    then 2
1039
                                    else 
1040
                                 (if KP_31
1041
                                    then 3
1042
                                    else 
1043
                                 (if KP_41
1044
                                    then 4
1045
                                    else 
1046
                                 (if KP_51
1047
                                    then 5
1048
                                    else 
1049
                                 (if KP_61
1050
                                    then 6
1051
                                    else 
1052
                                 (if KP_71
1053
                                    then 7
1054
                                    else 
1055
                                 (if KP_81
1056
                                    then 8
1057
                                    else 
1058
                                 (if KP_91
1059
                                    then 9
1060
                                    else 10))))))))))
1061
                           else 0))
1062
                  else 
1063
               (if KP_CLEAR
1064
                  then 0
1065
                  else 
1066
               (if 
1067
                  (if (
1068
                     (if (KP_01 and 
1069
                        (not (pre KP_01)))
1070
                        then 0
1071
                        else 
1072
                     (if (KP_11 and 
1073
                        (not (pre KP_11)))
1074
                        then 1
1075
                        else 
1076
                     (if (KP_21 and 
1077
                        (not (pre KP_21)))
1078
                        then 2
1079
                        else 
1080
                     (if (KP_31 and 
1081
                        (not (pre KP_31)))
1082
                        then 3
1083
                        else 
1084
                     (if (KP_41 and 
1085
                        (not (pre KP_41)))
1086
                        then 4
1087
                        else 
1088
                     (if (KP_51 and 
1089
                        (not (pre KP_51)))
1090
                        then 5
1091
                        else 
1092
                     (if (KP_61 and 
1093
                        (not (pre KP_61)))
1094
                        then 6
1095
                        else 
1096
                     (if (KP_71 and 
1097
                        (not (pre KP_71)))
1098
                        then 7
1099
                        else 
1100
                     (if (KP_81 and 
1101
                        (not (pre KP_81)))
1102
                        then 8
1103
                        else 
1104
                     (if (KP_91 and 
1105
                        (not (pre KP_91)))
1106
                        then 9
1107
                        else 10)))))))))) <= 9)
1108
                     then true
1109
                     else false)
1110
                  then 
1111
                        (if (KP_01 and 
1112
                           (not (pre KP_01)))
1113
                           then 0
1114
                           else 
1115
                        (if (KP_11 and 
1116
                           (not (pre KP_11)))
1117
                           then 1
1118
                           else 
1119
                        (if (KP_21 and 
1120
                           (not (pre KP_21)))
1121
                           then 2
1122
                           else 
1123
                        (if (KP_31 and 
1124
                           (not (pre KP_31)))
1125
                           then 3
1126
                           else 
1127
                        (if (KP_41 and 
1128
                           (not (pre KP_41)))
1129
                           then 4
1130
                           else 
1131
                        (if (KP_51 and 
1132
                           (not (pre KP_51)))
1133
                           then 5
1134
                           else 
1135
                        (if (KP_61 and 
1136
                           (not (pre KP_61)))
1137
                           then 6
1138
                           else 
1139
                        (if (KP_71 and 
1140
                           (not (pre KP_71)))
1141
                           then 7
1142
                           else 
1143
                        (if (KP_81 and 
1144
                           (not (pre KP_81)))
1145
                           then 8
1146
                           else 
1147
                        (if (KP_91 and 
1148
                           (not (pre KP_91)))
1149
                           then 9
1150
                           else 10))))))))))
1151
                  else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY))))
1152
         else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)));
1153

    
1154
   STEPS_TO_COOK = (
1155
      (if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
1156
         (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
1157
         then 0
1158
         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)) -> 
1159
      (if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
1160
         (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
1161
         then 0
1162
         else 
1163
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
1164
         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)
1165
         else (pre STEPS_TO_COOK))));
1166

    
1167
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step = (true -> 
1168
      (if (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
1169
         then true
1170
         else 
1171
      (if (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
1172
         then false
1173
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1174

    
1175
   SETUP = 
1176
      (if (1 = microwave_microwave_mode_logic_mode)
1177
         then true
1178
         else false);
1179

    
1180
   OK = (true -> ((not (enable and 
1181
      (not KP_CLEAR))) or 
1182
      ((not ((KP_5 and 
1183
      (not (pre KP_5))) and 
1184
      ((not (KP_4 and 
1185
      (not (pre KP_4)))) and 
1186
      ((not (KP_3 and 
1187
      (not (pre KP_3)))) and 
1188
      ((not (KP_2 and 
1189
      (not (pre KP_2)))) and 
1190
      ((not (KP_1 and 
1191
      (not (pre KP_1)))) and 
1192
      (not (KP_0 and 
1193
      (not (pre KP_0)))))))))) or 
1194
      (RIGHT_DIGIT = 5))));
1195

    
1196
   enable = (true -> 
1197
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1198
         then true
1199
         else false));
1200

    
1201

    
1202

    
1203

    
1204
   p34 = (true -> ((not (enable and 
1205
      (not KP_CLEAR))) or 
1206
      ((not ((KP_7 and 
1207
      (not (pre KP_7))) and 
1208
      ((not (KP_6 and 
1209
      (not (pre KP_6)))) and 
1210
      ((not (KP_5 and 
1211
      (not (pre KP_5)))) and 
1212
      ((not (KP_4 and 
1213
      (not (pre KP_4)))) and 
1214
      ((not (KP_3 and 
1215
      (not (pre KP_3)))) and 
1216
      ((not (KP_2 and 
1217
      (not (pre KP_2)))) and 
1218
      ((not (KP_1 and 
1219
      (not (pre KP_1)))) and 
1220
      (not (KP_0 and 
1221
      (not (pre KP_0)))))))))))) or 
1222
      (RIGHT_DIGIT = 7))));
1223

    
1224

    
1225
  --%PROPERTY OK=true;
1226
  --%MAIN;
1227

    
1228
tel
1229