Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (41.3 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
   p36: bool; 
107
   p37: bool; 
108
let 
109
   rlt__Arrow5 = (639 -> 
110
      (if (not (not SETUP))
111
         then 
112
               (if (MWI_FcnMaxI_In13 > 0)
113
                  then MWI_FcnMaxI_In13
114
                  else 0)
115
         else 639));
116

    
117
   rlt__Arrow4 = (639 -> 
118
      (if (not SUSPENDED)
119
         then 
120
               (if (MWI_FcnMaxI_In12 > 0)
121
                  then MWI_FcnMaxI_In12
122
                  else 0)
123
         else 639));
124

    
125
   rlt__Arrow3 = (639 -> 
126
      (if (not (not COOKING))
127
         then 
128
               (if (MWI_FcnMaxI_In16 > 0)
129
                  then MWI_FcnMaxI_In16
130
                  else 0)
131
         else 639));
132

    
133
   rlt__Arrow2 = (639 -> 
134
      (if (not (not SUSPENDED))
135
         then 
136
               (if (MWI_FcnMaxI_In15 > 0)
137
                  then MWI_FcnMaxI_In15
138
                  else 0)
139
         else 639));
140

    
141
   rlt__Arrow1 = (639 -> 
142
      (if (not COOKING)
143
         then 
144
               (if (MWI_FcnMaxI_In11 > 0)
145
                  then MWI_FcnMaxI_In11
146
                  else 0)
147
         else 639));
148

    
149
   rlt__Arrow = (639 -> 
150
      (if (not SETUP)
151
         then 
152
               (if (MWI_FcnMaxI_In1 > 0)
153
                  then MWI_FcnMaxI_In1
154
                  else 0)
155
         else 639));
156

    
157

    
158

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

    
181

    
182
   MIDDLE_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT;
183

    
184
   RIGHT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER;
185

    
186

    
187

    
188
   p36 = (true -> ((not (enable and 
189
      (not KP_CLEAR))) or 
190
      ((not ((KP_9 and 
191
      (not (pre KP_9))) and 
192
      ((not (KP_8 and 
193
      (not (pre KP_8)))) and 
194
      ((not (KP_7 and 
195
      (not (pre KP_7)))) and 
196
      ((not (KP_6 and 
197
      (not (pre KP_6)))) and 
198
      ((not (KP_5 and 
199
      (not (pre KP_5)))) and 
200
      ((not (KP_4 and 
201
      (not (pre KP_4)))) and 
202
      ((not (KP_3 and 
203
      (not (pre KP_3)))) and 
204
      ((not (KP_2 and 
205
      (not (pre KP_2)))) and 
206
      ((not (KP_1 and 
207
      (not (pre KP_1)))) and 
208
      (not (KP_0 and 
209
      (not (pre KP_0)))))))))))))) or 
210
      (RIGHT_DIGIT = 9))));
211

    
212
   MWI_FcnMaxI_In1 = ((pre rlt__Arrow) - 1);
213

    
214
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
215
      (not (pre KP_CLEAR))));
216

    
217
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
218

    
219
   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));
220

    
221
   SUSPENDED = 
222
      (if (3 = microwave_microwave_mode_logic_mode)
223
         then true
224
         else false);
225

    
226

    
227
   p37 = (true -> ((not (enable and 
228
      (not KP_CLEAR))) or 
229
      (((((((((((KP_1 and 
230
      (not (pre KP_1))) or 
231
      (KP_2 and 
232
      (not (pre KP_2)))) or 
233
      (KP_3 and 
234
      (not (pre KP_3)))) or 
235
      (KP_4 and 
236
      (not (pre KP_4)))) or 
237
      (KP_5 and 
238
      (not (pre KP_5)))) or 
239
      (KP_6 and 
240
      (not (pre KP_6)))) or 
241
      (KP_7 and 
242
      (not (pre KP_7)))) or 
243
      (KP_8 and 
244
      (not (pre KP_8)))) or 
245
      (KP_9 and 
246
      (not (pre KP_9)))) or 
247
      (KP_0 and 
248
      (not (pre KP_0)))) or 
249
      (RIGHT_DIGIT = (pre RIGHT_DIGIT)))));
250

    
251
   MWI_FcnMaxI_In11 = ((pre rlt__Arrow1) - 1);
252

    
253
   MWI_FcnMaxI_In15 = ((pre rlt__Arrow2) - 1);
254

    
255

    
256

    
257

    
258
   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);
259

    
260
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
261

    
262

    
263
   MWI_FcnMaxI_In12 = ((pre rlt__Arrow4) - 1);
264

    
265

    
266

    
267
   COOKING = 
268
      (if (2 = microwave_microwave_mode_logic_mode)
269
         then true
270
         else false);
271

    
272
   LEFT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT;
273

    
274
   START_PRESSED = (KP_START -> (KP_START and 
275
      (not (pre KP_START))));
276

    
277
   chart_microwave_mode_logic_start = 
278
      (if (START_PRESSED = false)
279
         then 0
280
         else 1);
281

    
282
   chart_microwave_mode_logic_clear_off = 
283
      (if (CLEAR_PRESSED = false)
284
         then 0
285
         else 1);
286

    
287
   chart_microwave_mode_logic_door_closed = 
288
      (if (DOOR_CLOSED = false)
289
         then 0
290
         else 1);
291

    
292
   chart_microwave_mode_logic____wakeup___ = true;
293

    
294
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
295
      (if (pre chart_microwave_mode_logic____wakeup___)
296
         then false
297
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
298

    
299
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
300

    
301
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
302

    
303
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
304

    
305
   chart_microwave_mode_logic_final_state_states___root = 
306
      (if chart_microwave_mode_logic____wakeup___
307
         then 
308
               (if chart_microwave_mode_logic_rlt_evtInitStep
309
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
310
                  else 
311
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
312
                  
313
                  
314
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
315
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
316
                  then 
317
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
318
                           then 
319
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
320
                                    then 
321
                                          
322
                                          3
323
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
324
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
325
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
326
         else chart_microwave_mode_logic_begin_state_states___root);
327

    
328
   chart_microwave_mode_logic_mode = 
329
      (if chart_microwave_mode_logic____wakeup___
330
         then 
331
               (if chart_microwave_mode_logic_rlt_evtInitStep
332
                  then 
333
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
334
                           then 1
335
                           else chart_microwave_mode_logic_begin_state_outports_mode)
336
                  else 
337
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
338
                  
339
                  
340
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
341
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
342
                  then 
343
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
344
                           then 
345
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
346
                                    then 3
347
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
348
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
349
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
350
         else chart_microwave_mode_logic_begin_state_outports_mode);
351

    
352
   chart_microwave_mode_logic_steps_remaining = 
353
      (if chart_microwave_mode_logic____wakeup___
354
         then 
355
               (if chart_microwave_mode_logic_rlt_evtInitStep
356
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
357
                  else 
358
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
359
                  
360
                  
361
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
362
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
363
                  then 
364
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
365
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
366
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
367
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
368
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
369

    
370
   
371
   
372
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
373

    
374
   
375
   
376
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
377
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
378
         then STEPS_TO_COOK
379
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
380

    
381
   
382
   
383
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
384
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
385
      (
386
      (if (chart_microwave_mode_logic_start <> 0)
387
         then true
388
         else false) and 
389
      
390
      (if (
391
         (if ((STEPS_TO_COOK > 0) = false)
392
            then 0
393
            else 1) <> 0)
394
         then true
395
         else false))));
396

    
397
   
398
   
399
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
400
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
401
         then 
402
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
403
                  then 
404
                        
405
                        0
406
                  else chart_microwave_mode_logic_begin_state_states___root)
407
         else chart_microwave_mode_logic_begin_state_states___root);
408

    
409
   
410
   
411
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
412
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
413
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
414
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
415
   
416
   
417

    
418
   
419
   
420
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
421
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
422
         then 
423
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
424
                  then 
425
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
426
                           then 3
427
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
428
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
429
         else chart_microwave_mode_logic_begin_state_outports_mode);
430
   
431
   
432

    
433
   
434
   
435
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
436
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
437
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
438

    
439
   
440
   
441
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
442
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
443
         then 
444
               (if 
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
                        
450
                        0
451
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
452
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
453

    
454
   
455
   
456
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
457
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
458
         then 
459
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
460
                  then 
461
                        
462
                        4
463
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
464
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
465
   
466
   
467

    
468
   
469
   
470
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
471
      ((
472
      (if (chart_microwave_mode_logic_start <> 0)
473
         then true
474
         else false) and 
475
      
476
      (if (chart_microwave_mode_logic_door_closed <> 0)
477
         then true
478
         else false)) and 
479
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
480

    
481
   
482
   
483
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
484
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
485

    
486
   
487
   
488
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
489
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
490
         then 
491
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
492
                  then 
493
                        
494
                        1
495
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
496
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
497

    
498
   
499
   
500
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
501
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
502
         then 
503
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
504
                  then 1
505
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
506
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
507

    
508
   
509
   
510
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
511
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
512
         then 
513
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
514
                  then 
515
                        
516
                        2
517
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
518
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
519
   
520
   
521

    
522
   
523
   
524
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
525
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
526
         then 
527
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
528
                  then 2
529
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
530
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
531
   
532
   
533

    
534
   
535
   
536
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
537
      (
538
      (if (chart_microwave_mode_logic_clear_off <> 0)
539
         then true
540
         else false) and 
541
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
542
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
543
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
544

    
545
   
546
   
547
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
548
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
549

    
550
   
551
   
552
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
553
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
554
         then 
555
               (if 
556
                  
557
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
558
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
559
                  then 
560
                        
561
                        0
562
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
563
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
564

    
565
   
566
   
567
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
568
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
569
         then 0
570
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
571

    
572
   
573
   
574
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
575
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
576
         then 
577
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
578
                  then 
579
                        
580
                        4
581
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
582
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
583
   
584
   
585

    
586
   
587
   
588
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
589
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
590
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
591

    
592
   
593
   
594
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
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 1
599
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
600
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
601

    
602
   
603
   
604
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
605
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
606
         then 
607
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
608
                  then 
609
                        
610
                        1
611
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
612
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
613

    
614
   
615
   
616
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
617
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
618
         then 
619
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
620
                  then 
621
                        
622
                        2
623
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
624
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
625
   
626
   
627

    
628
   
629
   
630
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
631
      ((
632
      (if (chart_microwave_mode_logic_clear_off <> 0)
633
         then true
634
         else false) or 
635
      (not 
636
      (if (chart_microwave_mode_logic_door_closed <> 0)
637
         then true
638
         else false))) and 
639
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
640
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
641

    
642
   
643
   
644
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
645
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
646
         then 
647
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
648
                  then 
649
                        
650
                        1
651
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
652
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
653

    
654
   
655
   
656
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
657
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
658
         then 
659
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
660
                  then 2
661
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
662
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
663

    
664
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
665
      (if (not 
666
         
667
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
668
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
669
         then 
670
               
671
               1
672
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
673

    
674
   
675
   
676
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
677
      
678
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
679
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
680
      
681
      
682
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
683
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
684

    
685
   
686
   
687
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
688
      (
689
      
690
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
691
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
692
      
693
      (if (chart_microwave_mode_logic_door_closed <> 0)
694
         then true
695
         else false)));
696

    
697
   
698
   
699
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
700
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
701
         then 
702
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
703
                  then 
704
                        
705
                        2
706
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
707
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
708
   
709
   
710

    
711
   
712
   
713
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
714
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
715
         then 
716
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
717
                  then 2
718
                  else chart_microwave_mode_logic_begin_state_outports_mode)
719
         else chart_microwave_mode_logic_begin_state_outports_mode);
720
   
721
   
722

    
723
   
724
   
725
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
726
      (
727
      
728
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
729
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
730
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
731

    
732
   
733
   
734
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
735
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
736
         then 
737
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
738
                  then 
739
                        
740
                        3
741
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
742
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
743
   
744
   
745

    
746
   
747
   
748
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
749
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
750
         then 
751
               
752
               4
753
         else chart_microwave_mode_logic_begin_state_states___root);
754
   
755
   
756

    
757
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
758

    
759

    
760
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
761

    
762

    
763
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = enable;
764

    
765
   KP_01 = KP_0;
766

    
767
   KP_11 = KP_1;
768

    
769
   KP_21 = KP_2;
770

    
771
   KP_31 = KP_3;
772

    
773
   KP_41 = KP_4;
774

    
775
   KP_51 = KP_5;
776

    
777
   KP_61 = KP_6;
778

    
779
   KP_71 = KP_7;
780

    
781
   KP_81 = KP_8;
782

    
783
   KP_91 = KP_9;
784

    
785
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY = (0 -> 
786
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
787
         then 
788
               (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
789
                  then 0
790
                  else 
791
               (if KP_CLEAR
792
                  then 0
793
                  else 
794
               (if 
795
                  (if (
796
                     (if (KP_01 and 
797
                        (not (pre KP_01)))
798
                        then 0
799
                        else 
800
                     (if (KP_11 and 
801
                        (not (pre KP_11)))
802
                        then 1
803
                        else 
804
                     (if (KP_21 and 
805
                        (not (pre KP_21)))
806
                        then 2
807
                        else 
808
                     (if (KP_31 and 
809
                        (not (pre KP_31)))
810
                        then 3
811
                        else 
812
                     (if (KP_41 and 
813
                        (not (pre KP_41)))
814
                        then 4
815
                        else 
816
                     (if (KP_51 and 
817
                        (not (pre KP_51)))
818
                        then 5
819
                        else 
820
                     (if (KP_61 and 
821
                        (not (pre KP_61)))
822
                        then 6
823
                        else 
824
                     (if (KP_71 and 
825
                        (not (pre KP_71)))
826
                        then 7
827
                        else 
828
                     (if (KP_81 and 
829
                        (not (pre KP_81)))
830
                        then 8
831
                        else 
832
                     (if (KP_91 and 
833
                        (not (pre KP_91)))
834
                        then 9
835
                        else 10)))))))))) <= 9)
836
                     then true
837
                     else false)
838
                  then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)
839
                  else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY))))
840
         else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY)));
841

    
842
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY = (0 -> 
843
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
844
         then 
845
               (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step
846
                  then 0
847
                  else 
848
               (if KP_CLEAR
849
                  then 0
850
                  else 
851
               (if 
852
                  (if (
853
                     (if (KP_01 and 
854
                        (not (pre KP_01)))
855
                        then 0
856
                        else 
857
                     (if (KP_11 and 
858
                        (not (pre KP_11)))
859
                        then 1
860
                        else 
861
                     (if (KP_21 and 
862
                        (not (pre KP_21)))
863
                        then 2
864
                        else 
865
                     (if (KP_31 and 
866
                        (not (pre KP_31)))
867
                        then 3
868
                        else 
869
                     (if (KP_41 and 
870
                        (not (pre KP_41)))
871
                        then 4
872
                        else 
873
                     (if (KP_51 and 
874
                        (not (pre KP_51)))
875
                        then 5
876
                        else 
877
                     (if (KP_61 and 
878
                        (not (pre KP_61)))
879
                        then 6
880
                        else 
881
                     (if (KP_71 and 
882
                        (not (pre KP_71)))
883
                        then 7
884
                        else 
885
                     (if (KP_81 and 
886
                        (not (pre KP_81)))
887
                        then 8
888
                        else 
889
                     (if (KP_91 and 
890
                        (not (pre KP_91)))
891
                        then 9
892
                        else 10)))))))))) <= 9)
893
                     then true
894
                     else false)
895
                  then (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)
896
                  else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY))))
897
         else (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)));
898

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

    
1134
   STEPS_TO_COOK = (
1135
      (if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
1136
         (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
1137
         then 0
1138
         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)) -> 
1139
      (if (rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
1140
         (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock))
1141
         then 0
1142
         else 
1143
      (if rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock
1144
         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)
1145
         else (pre STEPS_TO_COOK))));
1146

    
1147
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step = (true -> 
1148
      (if (not rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
1149
         then true
1150
         else 
1151
      (if (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)
1152
         then false
1153
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1154

    
1155
   SETUP = 
1156
      (if (1 = microwave_microwave_mode_logic_mode)
1157
         then true
1158
         else false);
1159

    
1160
   enable = (true -> 
1161
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1162
         then true
1163
         else false));
1164

    
1165

    
1166

    
1167

    
1168

    
1169

    
1170
  --%PROPERTY OK=true;
1171
  --%MAIN;
1172

    
1173
tel
1174