Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/microwave38.lus

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave38.lus
48 48
   rlt__Arrow2: int; 
49 49
   rlt__Arrow1: int; 
50 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; 
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 97
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98 98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99 99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100
   microwave_microwave_mode_logic_mode: int; 
100
   microwave_microwave_mode__logic_mode_: int; 
101 101
   MWI_FcnMaxI_In16: int; 
102 102
   MWI_FcnMaxI_In15: int; 
103 103
   MWI_FcnMaxI_In13: int; 
......
215 215
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
216 216
      (not (pre KP_CLEAR))));
217 217

  
218
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
218
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
219 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));
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 221

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

  
......
256 256

  
257 257

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

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

  
......
266 266

  
267 267

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

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

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

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

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

  
293
   chart_microwave_mode_logic____wakeup___ = true;
293
   chart_microwave_mode__logic____wakeup___ = true;
294 294

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

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

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

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

  
306
   chart_microwave_mode_logic_final_state_states___root = 
307
      (if chart_microwave_mode_logic____wakeup___
306
   chart_microwave_mode__logic_final_state_states___root = 
307
      (if chart_microwave_mode__logic____wakeup___
308 308
         then 
309
               (if chart_microwave_mode_logic_rlt_evtInitStep
310
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
309
               (if chart_microwave_mode__logic_rlt_evtInitStep
310
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
311 311
                  else 
312
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
312
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
313 313
                  
314 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)))
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 317
                  then 
318
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
318
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
319 319
                           then 
320
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
320
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
321 321
                                    then 
322 322
                                          
323 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);
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 328

  
329
   chart_microwave_mode_logic_mode = 
330
      (if chart_microwave_mode_logic____wakeup___
329
   chart_microwave_mode__logic_mode_ = 
330
      (if chart_microwave_mode__logic____wakeup___
331 331
         then 
332
               (if chart_microwave_mode_logic_rlt_evtInitStep
332
               (if chart_microwave_mode__logic_rlt_evtInitStep
333 333
                  then 
334
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
334
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
335 335
                           then 1
336
                           else chart_microwave_mode_logic_begin_state_outports_mode)
336
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
337 337
                  else 
338
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
338
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
339 339
                  
340 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)))
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 343
                  then 
344
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
344
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
345 345
                           then 
346
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
346
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
347 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);
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 352

  
353
   chart_microwave_mode_logic_steps_remaining = 
354
      (if chart_microwave_mode_logic____wakeup___
353
   chart_microwave_mode__logic_steps_remaining = 
354
      (if chart_microwave_mode__logic____wakeup___
355 355
         then 
356
               (if chart_microwave_mode_logic_rlt_evtInitStep
357
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
356
               (if chart_microwave_mode__logic_rlt_evtInitStep
357
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
358 358
                  else 
359
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
359
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
360 360
                  
361 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)))
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 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);
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 370

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

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

  
382 382
   
383 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 
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 386
      (
387
      (if (chart_microwave_mode_logic_start <> 0)
387
      (if (chart_microwave_mode__logic_start <> 0)
388 388
         then true
389 389
         else false) and 
390 390
      
......
397 397

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

  
410 410
   
411 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);
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 416
   
417 417
   
418 418

  
419 419
   
420 420
   
421
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
422
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
421
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
422
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
423 423
         then 
424
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
424
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
425 425
                  then 
426
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
426
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
427 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);
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 431
   
432 432
   
433 433

  
434 434
   
435 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));
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 439

  
440 440
   
441 441
   
442
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
443
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
442
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
443
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
444 444
         then 
445 445
               (if 
446 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))
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 449
                  then 
450 450
                        
451 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);
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 454

  
455 455
   
456 456
   
457
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
458
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
457
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
458
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
459 459
         then 
460
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
460
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
461 461
                  then 
462 462
                        
463 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);
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 466
   
467 467
   
468 468

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

  
482 482
   
483 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);
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 486

  
487 487
   
488 488
   
489
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
490
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
489
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
490
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
491 491
         then 
492
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
492
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
493 493
                  then 
494 494
                        
495 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);
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 498

  
499 499
   
500 500
   
501
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
502
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
501
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
502
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
503 503
         then 
504
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
504
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
505 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);
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 508

  
509 509
   
510 510
   
511
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
512
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
511
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
512
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
513 513
         then 
514
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
514
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
515 515
                  then 
516 516
                        
517 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);
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 520
   
521 521
   
522 522

  
523 523
   
524 524
   
525
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
526
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
525
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
526
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
527 527
         then 
528
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
528
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
529 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);
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 532
   
533 533
   
534 534

  
535 535
   
536 536
   
537
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
537
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
538 538
      (
539
      (if (chart_microwave_mode_logic_clear_off <> 0)
539
      (if (chart_microwave_mode__logic_clear_off <> 0)
540 540
         then true
541 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)));
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 545

  
546 546
   
547 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);
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 550

  
551 551
   
552 552
   
553
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
554
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
553
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
554
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
555 555
         then 
556 556
               (if 
557 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))
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 560
                  then 
561 561
                        
562 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);
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 565

  
566 566
   
567 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
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 570
         then 0
571
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
571
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
572 572

  
573 573
   
574 574
   
575
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
576
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
575
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
576
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
577 577
         then 
578
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
578
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
579 579
                  then 
580 580
                        
581 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);
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 584
   
585 585
   
586 586

  
587 587
   
588 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)));
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 592

  
593 593
   
594 594
   
595
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
596
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
595
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
596
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
597 597
         then 
598
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
598
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
599 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);
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 602

  
603 603
   
604 604
   
605
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
606
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
605
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
606
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
607 607
         then 
608
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
608
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
609 609
                  then 
610 610
                        
611 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);
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 614

  
615 615
   
616 616
   
617
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
618
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
617
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
618
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
619 619
         then 
620
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
620
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
621 621
                  then 
622 622
                        
623 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);
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 626
   
627 627
   
628 628

  
629 629
   
630 630
   
631
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
631
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
632 632
      ((
633
      (if (chart_microwave_mode_logic_clear_off <> 0)
633
      (if (chart_microwave_mode__logic_clear_off <> 0)
634 634
         then true
635 635
         else false) or 
636 636
      (not 
637
      (if (chart_microwave_mode_logic_door_closed <> 0)
637
      (if (chart_microwave_mode__logic_door_closed <> 0)
638 638
         then true
639 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))));
640
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
641
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
642 642

  
643 643
   
644 644
   
645
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
646
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
645
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
646
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
647 647
         then 
648
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
648
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
649 649
                  then 
650 650
                        
651 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);
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 654

  
655 655
   
656 656
   
657
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
658
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
657
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
658
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
659 659
         then 
660
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
660
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
661 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);
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 664

  
665
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
665
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
666 666
      (if (not 
667 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)))
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 670
         then 
671 671
               
672 672
               1
673
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
673
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
674 674

  
675 675
   
676 676
   
677
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
677
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
678 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 
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 681
      
682 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)));
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 685

  
686 686
   
687 687
   
688
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
688
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
689 689
      (
690 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 
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 693
      
694
      (if (chart_microwave_mode_logic_door_closed <> 0)
694
      (if (chart_microwave_mode__logic_door_closed <> 0)
695 695
         then true
696 696
         else false)));
697 697

  
698 698
   
699 699
   
700
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
701
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
700
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
701
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
702 702
         then 
703
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
703
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
704 704
                  then 
705 705
                        
706 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);
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 709
   
710 710
   
711 711

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

  
724 724
   
725 725
   
726
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
726
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
727 727
      (
728 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)));
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 732

  
733 733
   
734 734
   
735
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
736
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
735
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
736
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
737 737
         then 
738
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
738
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
739 739
                  then 
740 740
                        
741 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);
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 744
   
745 745
   
746 746

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

  
758
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
758
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
759 759

  
760 760

  
761 761
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1154 1154
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1155 1155

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

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

  

Also available in: Unified diff