Project

General

Profile

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

View differences:

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

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

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

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

  
......
294 294

  
295 295

  
296 296

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

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

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

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

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

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

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

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

  
342
   chart_microwave_mode_logic____wakeup___ = true;
342
   chart_microwave_mode__logic____wakeup___ = true;
343 343

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
504 504
   
505 505
   
506
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
507
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
506
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
507
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
508 508
         then 
509
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
509
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
510 510
                  then 
511 511
                        
512 512
                        4
513
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
514
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
515 515
   
516 516
   
517 517

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

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

  
536 536
   
537 537
   
538
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
539
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
538
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
539
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
540 540
         then 
541
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
541
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
542 542
                  then 
543 543
                        
544 544
                        1
545
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
546
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
547 547

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

  
558 558
   
559 559
   
560
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
561
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
560
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
561
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
562 562
         then 
563
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
563
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
564 564
                  then 
565 565
                        
566 566
                        2
567
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
568
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
569 569
   
570 570
   
571 571

  
572 572
   
573 573
   
574
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
575
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
574
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
575
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
576 576
         then 
577
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
577
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
578 578
                  then 2
579
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
580
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
581 581
   
582 582
   
583 583

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

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

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

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

  
622 622
   
623 623
   
624
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
625
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
624
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
625
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
626 626
         then 
627
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
627
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
628 628
                  then 
629 629
                        
630 630
                        4
631
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
632
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
633 633
   
634 634
   
635 635

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

  
642 642
   
643 643
   
644
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
645
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
644
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
645
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
646 646
         then 
647
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
647
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
648 648
                  then 1
649
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
650
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
651 651

  
652 652
   
653 653
   
654
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
655
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
654
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
655
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
656 656
         then 
657
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
657
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
658 658
                  then 
659 659
                        
660 660
                        1
661
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
662
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
663 663

  
664 664
   
665 665
   
666
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
667
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
666
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
667
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
668 668
         then 
669
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
669
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
670 670
                  then 
671 671
                        
672 672
                        2
673
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
674
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
675 675
   
676 676
   
677 677

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

  
692 692
   
693 693
   
694
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
695
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
694
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
695
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
696 696
         then 
697
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
697
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
698 698
                  then 
699 699
                        
700 700
                        1
701
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
702
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
703 703

  
704 704
   
705 705
   
706
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
707
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
706
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
707
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
708 708
         then 
709
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
709
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
710 710
                  then 2
711
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
712
         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
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
713 713

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

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

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

  
747 747
   
748 748
   
749
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
750
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
749
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
750
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
751 751
         then 
752
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
752
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
753 753
                  then 
754 754
                        
755 755
                        2
756
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
757
         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
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
758 758
   
759 759
   
760 760

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

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

  
782 782
   
783 783
   
784
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
785
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
784
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
785
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
786 786
         then 
787
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
787
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
788 788
                  then 
789 789
                        
790 790
                        3
791
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
792
         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
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
793 793
   
794 794
   
795 795

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

  
807
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
807
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
808 808

  
809 809

  
810 810
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1211 1211
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1212 1212

  
1213 1213
   SETUP = 
1214
      (if (1 = microwave_microwave_mode_logic_mode)
1214
      (if (1 = microwave_microwave_mode__logic_mode_)
1215 1215
         then true
1216 1216
         else false);
1217 1217

  
......
1232 1232
      (RIGHT_DIGIT = 5))));
1233 1233

  
1234 1234
   enable = (true -> 
1235
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1235
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1236 1236
         then true
1237 1237
         else false));
1238 1238

  

Also available in: Unified diff