Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave31.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; 
......
239 239
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
240 240
      (not (pre KP_CLEAR))));
241 241

  
242
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
242
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
243 243

  
244
   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));
244
   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));
245 245

  
246 246
   SUSPENDED = 
247
      (if (3 = microwave_microwave_mode_logic_mode)
247
      (if (3 = microwave_microwave_mode__logic_mode_)
248 248
         then true
249 249
         else false);
250 250

  
......
293 293

  
294 294

  
295 295

  
296
   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);
296
   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);
297 297

  
298 298
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
299 299

  
......
314 314
      (RIGHT_DIGIT = 3))));
315 315

  
316 316
   COOKING = 
317
      (if (2 = microwave_microwave_mode_logic_mode)
317
      (if (2 = microwave_microwave_mode__logic_mode_)
318 318
         then true
319 319
         else false);
320 320

  
......
323 323
   START_PRESSED = (KP_START -> (KP_START and 
324 324
      (not (pre KP_START))));
325 325

  
326
   chart_microwave_mode_logic_start = 
326
   chart_microwave_mode__logic_start = 
327 327
      (if (START_PRESSED = false)
328 328
         then 0
329 329
         else 1);
330 330

  
331
   chart_microwave_mode_logic_clear_off = 
331
   chart_microwave_mode__logic_clear_off = 
332 332
      (if (CLEAR_PRESSED = false)
333 333
         then 0
334 334
         else 1);
335 335

  
336
   chart_microwave_mode_logic_door_closed = 
336
   chart_microwave_mode__logic_door_closed = 
337 337
      (if (DOOR_CLOSED = false)
338 338
         then 0
339 339
         else 1);
340 340

  
341
   chart_microwave_mode_logic____wakeup___ = true;
341
   chart_microwave_mode__logic____wakeup___ = true;
342 342

  
343
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
344
      (if (pre chart_microwave_mode_logic____wakeup___)
343
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
344
      (if (pre chart_microwave_mode__logic____wakeup___)
345 345
         then false
346
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
346
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
347 347

  
348
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
348
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
349 349

  
350
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
350
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
351 351

  
352
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
352
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
353 353

  
354
   chart_microwave_mode_logic_final_state_states___root = 
355
      (if chart_microwave_mode_logic____wakeup___
354
   chart_microwave_mode__logic_final_state_states___root = 
355
      (if chart_microwave_mode__logic____wakeup___
356 356
         then 
357
               (if chart_microwave_mode_logic_rlt_evtInitStep
358
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
357
               (if chart_microwave_mode__logic_rlt_evtInitStep
358
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
359 359
                  else 
360
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
360
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
361 361
                  
362 362
                  
363
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
364
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
363
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
364
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
365 365
                  then 
366
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
366
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
367 367
                           then 
368
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
368
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
369 369
                                    then 
370 370
                                          
371 371
                                          3
372
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
373
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
374
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
375
         else chart_microwave_mode_logic_begin_state_states___root);
372
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
373
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
374
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
375
         else chart_microwave_mode__logic_begin_state_states___root);
376 376

  
377
   chart_microwave_mode_logic_mode = 
378
      (if chart_microwave_mode_logic____wakeup___
377
   chart_microwave_mode__logic_mode_ = 
378
      (if chart_microwave_mode__logic____wakeup___
379 379
         then 
380
               (if chart_microwave_mode_logic_rlt_evtInitStep
380
               (if chart_microwave_mode__logic_rlt_evtInitStep
381 381
                  then 
382
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
382
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
383 383
                           then 1
384
                           else chart_microwave_mode_logic_begin_state_outports_mode)
384
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
385 385
                  else 
386
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
386
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
387 387
                  
388 388
                  
389
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
390
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
389
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
390
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
391 391
                  then 
392
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
392
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
393 393
                           then 
394
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
394
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
395 395
                                    then 3
396
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
397
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
398
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
399
         else chart_microwave_mode_logic_begin_state_outports_mode);
396
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
397
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
398
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
399
         else chart_microwave_mode__logic_begin_state_outports_mode_);
400 400

  
401
   chart_microwave_mode_logic_steps_remaining = 
402
      (if chart_microwave_mode_logic____wakeup___
401
   chart_microwave_mode__logic_steps_remaining = 
402
      (if chart_microwave_mode__logic____wakeup___
403 403
         then 
404
               (if chart_microwave_mode_logic_rlt_evtInitStep
405
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
404
               (if chart_microwave_mode__logic_rlt_evtInitStep
405
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
406 406
                  else 
407
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
407
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
408 408
                  
409 409
                  
410
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
411
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
410
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
411
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
412 412
                  then 
413
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
414
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
415
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
416
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
417
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
413
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
414
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
415
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
416
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
417
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
418 418

  
419 419
   
420 420
   
421
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
421
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
422 422

  
423 423
   
424 424
   
425
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
426
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
425
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
426
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
427 427
         then STEPS_TO_COOK
428
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
428
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
429 429

  
430 430
   
431 431
   
432
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
433
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
432
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
433
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
434 434
      (
435
      (if (chart_microwave_mode_logic_start <> 0)
435
      (if (chart_microwave_mode__logic_start <> 0)
436 436
         then true
437 437
         else false) and 
438 438
      
......
445 445

  
446 446
   
447 447
   
448
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
449
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
448
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
449
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
450 450
         then 
451
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
451
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
452 452
                  then 
453 453
                        
454 454
                        0
455
                  else chart_microwave_mode_logic_begin_state_states___root)
456
         else chart_microwave_mode_logic_begin_state_states___root);
455
                  else chart_microwave_mode__logic_begin_state_states___root)
456
         else chart_microwave_mode__logic_begin_state_states___root);
457 457

  
458 458
   
459 459
   
460
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
461
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
462
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
463
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
460
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
461
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
462
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
463
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
464 464
   
465 465
   
466 466

  
467 467
   
468 468
   
469
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
470
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
469
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
470
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
471 471
         then 
472
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
472
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
473 473
                  then 
474
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
474
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
475 475
                           then 3
476
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
477
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
478
         else chart_microwave_mode_logic_begin_state_outports_mode);
476
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
477
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
478
         else chart_microwave_mode__logic_begin_state_outports_mode_);
479 479
   
480 480
   
481 481

  
482 482
   
483 483
   
484
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
485
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
486
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
484
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
485
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
486
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
487 487

  
488 488
   
489 489
   
490
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
491
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
490
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
491
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
492 492
         then 
493 493
               (if 
494 494
                  
495
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
496
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
495
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
496
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
497 497
                  then 
498 498
                        
499 499
                        0
500
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
501
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
500
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
501
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
502 502

  
503 503
   
504 504
   
505
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
506
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
505
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
506
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
507 507
         then 
508
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
508
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
509 509
                  then 
510 510
                        
511 511
                        4
512
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
513
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
512
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
513
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
514 514
   
515 515
   
516 516

  
517 517
   
518 518
   
519
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
519
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
520 520
      ((
521
      (if (chart_microwave_mode_logic_start <> 0)
521
      (if (chart_microwave_mode__logic_start <> 0)
522 522
         then true
523 523
         else false) and 
524 524
      
525
      (if (chart_microwave_mode_logic_door_closed <> 0)
525
      (if (chart_microwave_mode__logic_door_closed <> 0)
526 526
         then true
527 527
         else false)) and 
528
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
528
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
529 529

  
530 530
   
531 531
   
532
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
533
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
532
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
533
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
534 534

  
535 535
   
536 536
   
537
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
538
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
537
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
538
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
539 539
         then 
540
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
540
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
541 541
                  then 
542 542
                        
543 543
                        1
544
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
545
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
544
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
545
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
546 546

  
547 547
   
548 548
   
549
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
550
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
549
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
550
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
551 551
         then 
552
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
552
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
553 553
                  then 1
554
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
555
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
554
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
555
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
556 556

  
557 557
   
558 558
   
559
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
560
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
559
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
560
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
561 561
         then 
562
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
562
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
563 563
                  then 
564 564
                        
565 565
                        2
566
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
567
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
566
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
567
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
568 568
   
569 569
   
570 570

  
571 571
   
572 572
   
573
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
574
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
573
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
574
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
575 575
         then 
576
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
576
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
577 577
                  then 2
578
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
579
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
578
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
579
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
580 580
   
581 581
   
582 582

  
583 583
   
584 584
   
585
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
585
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
586 586
      (
587
      (if (chart_microwave_mode_logic_clear_off <> 0)
587
      (if (chart_microwave_mode__logic_clear_off <> 0)
588 588
         then true
589 589
         else false) and 
590
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
591
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
592
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
590
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
591
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
592
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
593 593

  
594 594
   
595 595
   
596
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
597
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
596
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
597
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
598 598

  
599 599
   
600 600
   
601
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
602
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
601
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
602
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
603 603
         then 
604 604
               (if 
605 605
                  
606
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
607
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
606
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
607
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
608 608
                  then 
609 609
                        
610 610
                        0
611
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
612
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
611
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
612
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
613 613

  
614 614
   
615 615
   
616
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
617
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
616
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
617
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
618 618
         then 0
619
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
619
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
620 620

  
621 621
   
622 622
   
623
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
624
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
623
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
624
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
625 625
         then 
626
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
626
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
627 627
                  then 
628 628
                        
629 629
                        4
630
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
631
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
630
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
631
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
632 632
   
633 633
   
634 634

  
635 635
   
636 636
   
637
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
638
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
639
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
637
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
638
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
639
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
640 640

  
641 641
   
642 642
   
643
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
644
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
643
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
644
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
645 645
         then 
646
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
646
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
647 647
                  then 1
648
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
649
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
648
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
649
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
650 650

  
651 651
   
652 652
   
653
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
654
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
653
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
654
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
655 655
         then 
656
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
656
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
657 657
                  then 
658 658
                        
659 659
                        1
660
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
661
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
660
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
661
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
662 662

  
663 663
   
664 664
   
665
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
666
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
665
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
666
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
667 667
         then 
668
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
668
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
669 669
                  then 
670 670
                        
671 671
                        2
672
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
673
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
672
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
673
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
674 674
   
675 675
   
676 676

  
677 677
   
678 678
   
679
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
679
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
680 680
      ((
681
      (if (chart_microwave_mode_logic_clear_off <> 0)
681
      (if (chart_microwave_mode__logic_clear_off <> 0)
682 682
         then true
683 683
         else false) or 
684 684
      (not 
685
      (if (chart_microwave_mode_logic_door_closed <> 0)
685
      (if (chart_microwave_mode__logic_door_closed <> 0)
686 686
         then true
687 687
         else false))) and 
688
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
689
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
688
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
689
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
690 690

  
691 691
   
692 692
   
693
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
694
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
693
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
694
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
695 695
         then 
696
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
696
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
697 697
                  then 
698 698
                        
699 699
                        1
700
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
701
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
700
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
701
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
702 702

  
703 703
   
704 704
   
705
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
706
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
705
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
706
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
707 707
         then 
708
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
708
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
709 709
                  then 2
710
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
711
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
710
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
711
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
712 712

  
713
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
713
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
714 714
      (if (not 
715 715
         
716
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
717
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
716
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
717
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
718 718
         then 
719 719
               
720 720
               1
721
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
721
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
722 722

  
723 723
   
724 724
   
725
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
725
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
726 726
      
727
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
728
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
727
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
728
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
729 729
      
730 730
      
731
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
732
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
731
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
732
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
733 733

  
734 734
   
735 735
   
736
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
736
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
737 737
      (
738 738
      
739
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
740
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
739
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
740
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
741 741
      
742
      (if (chart_microwave_mode_logic_door_closed <> 0)
742
      (if (chart_microwave_mode__logic_door_closed <> 0)
743 743
         then true
744 744
         else false)));
745 745

  
746 746
   
747 747
   
748
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
749
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
748
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
749
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
750 750
         then 
751
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
751
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
752 752
                  then 
753 753
                        
754 754
                        2
755
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
756
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
755
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
756
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
757 757
   
758 758
   
759 759

  
760 760
   
761 761
   
762
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
763
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
762
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
763
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
764 764
         then 
765
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
765
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
766 766
                  then 2
767
                  else chart_microwave_mode_logic_begin_state_outports_mode)
768
         else chart_microwave_mode_logic_begin_state_outports_mode);
767
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
768
         else chart_microwave_mode__logic_begin_state_outports_mode_);
769 769
   
770 770
   
771 771

  
772 772
   
773 773
   
774
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
774
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
775 775
      (
776 776
      
777
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
778
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
779
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
777
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
778
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
779
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
780 780

  
781 781
   
782 782
   
783
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
784
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
783
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
784
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
785 785
         then 
786
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
786
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
787 787
                  then 
788 788
                        
789 789
                        3
790
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
791
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
790
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
791
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
792 792
   
793 793
   
794 794

  
795 795
   
796 796
   
797
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
798
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
797
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
798
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
799 799
         then 
800 800
               
801 801
               4
802
         else chart_microwave_mode_logic_begin_state_states___root);
802
         else chart_microwave_mode__logic_begin_state_states___root);
803 803
   
804 804
   
805 805

  
806
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
806
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
807 807

  
808 808

  
809 809
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1202 1202
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1203 1203

  
1204 1204
   SETUP = 
1205
      (if (1 = microwave_microwave_mode_logic_mode)
1205
      (if (1 = microwave_microwave_mode__logic_mode_)
1206 1206
         then true
1207 1207
         else false);
1208 1208

  
......
1223 1223
      (RIGHT_DIGIT = 5))));
1224 1224

  
1225 1225
   enable = (true -> 
1226
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1226
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1227 1227
         then true
1228 1228
         else false));
1229 1229

  

Also available in: Unified diff