Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / TIMEOUT / microwave38.lus @ b8dc00eb

History | View | Annotate | Download (41.3 KB)

1
--@ ensures OK;
2
node top(KP_START: bool; 
3
      KP_CLEAR: bool; 
4
      KP_0: bool; 
5
      KP_1: bool; 
6
      KP_2: bool; 
7
      KP_3: bool; 
8
      KP_4: bool; 
9
      KP_5: bool; 
10
      KP_6: bool; 
11
      KP_7: bool; 
12
      KP_8: bool; 
13
      KP_9: bool; 
14
      DOOR_CLOSED: bool
15
) returns (OK:bool);
16

    
17
   
18
var
19
   LEFT_DIGIT: int; 
20
      SETUP: bool; 
21
      COOKING: bool; 
22
      SUSPENDED: bool; 
23
      START_PRESSED: bool; 
24
      CLEAR_PRESSED: bool; 
25
      MIDDLE_DIGIT: int; 
26
      RIGHT_DIGIT: int; 
27
      enable: bool; 
28
      STEPS_TO_COOK: int;
29
      
30
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock: bool; 
31
   KP_01: bool; 
32
   KP_11: bool; 
33
   KP_21: bool; 
34
   KP_31: bool; 
35
   KP_41: bool; 
36
   KP_51: bool; 
37
   KP_61: bool; 
38
   KP_71: bool; 
39
   KP_81: bool; 
40
   KP_91: bool; 
41
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step: bool; 
42
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY: int; 
43
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY: int; 
44
   microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY: int; 
45
   rlt__Arrow5: int; 
46
   rlt__Arrow4: int; 
47
   rlt__Arrow3: int; 
48
   rlt__Arrow2: int; 
49
   rlt__Arrow1: int; 
50
   rlt__Arrow: int; 
51
   chart_microwave_mode_logic_start: int; 
52
   chart_microwave_mode_logic_clear_off: int; 
53
   chart_microwave_mode_logic_door_closed: int; 
54
   chart_microwave_mode_logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; 
62
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; 
64
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; 
71
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; 
76
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; 
81
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; 
89
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode_logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode_logic_begin_state_states___root: int; 
92
   chart_microwave_mode_logic_begin_state_outports_mode: int; 
93
   chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode_logic_final_state_states___root: int; 
95
   chart_microwave_mode_logic_mode: int; 
96
   chart_microwave_mode_logic_steps_remaining: int; 
97
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100
   microwave_microwave_mode_logic_mode: int; 
101
   MWI_FcnMaxI_In16: int; 
102
   MWI_FcnMaxI_In15: int; 
103
   MWI_FcnMaxI_In13: int; 
104
   MWI_FcnMaxI_In12: int; 
105
   MWI_FcnMaxI_In11: int; 
106
   MWI_FcnMaxI_In1: int; 
107
   p36: bool; 
108
   p37: bool; 
109
let 
110
   rlt__Arrow5 = (639 -> 
111
      (if (not (not SETUP))
112
         then 
113
               (if (MWI_FcnMaxI_In13 > 0)
114
                  then MWI_FcnMaxI_In13
115
                  else 0)
116
         else 639));
117

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

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

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

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

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

    
158

    
159

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

    
182

    
183
   MIDDLE_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT;
184

    
185
   RIGHT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER;
186

    
187

    
188

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

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

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

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

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

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

    
227

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

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

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

    
256

    
257

    
258

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

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

    
263

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

    
266

    
267

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

    
273
   LEFT_DIGIT = microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT;
274

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

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

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

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

    
293
   chart_microwave_mode_logic____wakeup___ = true;
294

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    
440
   
441
   
442
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
443
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
444
         then 
445
               (if 
446
                  
447
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
448
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
449
                  then 
450
                        
451
                        0
452
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
453
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
454

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

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

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

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

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

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

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

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

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

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

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

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

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

    
593
   
594
   
595
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
596
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
597
         then 
598
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
599
                  then 1
600
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
601
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
602

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

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

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

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

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

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

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

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

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

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

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

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

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

    
758
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
759

    
760

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

    
763

    
764
   rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = enable;
765

    
766
   KP_01 = KP_0;
767

    
768
   KP_11 = KP_1;
769

    
770
   KP_21 = KP_2;
771

    
772
   KP_31 = KP_3;
773

    
774
   KP_41 = KP_4;
775

    
776
   KP_51 = KP_5;
777

    
778
   KP_61 = KP_6;
779

    
780
   KP_71 = KP_7;
781

    
782
   KP_81 = KP_8;
783

    
784
   KP_91 = KP_9;
785

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

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

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

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

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

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

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

    
1166

    
1167

    
1168

    
1169

    
1170

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

    
1174
tel
1175