Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave27.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; 
......
245 245
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
246 246
      (not (pre KP_CLEAR))));
247 247

  
248
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
248
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
249 249

  
250
   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));
250
   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));
251 251

  
252 252
   SUSPENDED = 
253
      (if (3 = microwave_microwave_mode_logic_mode)
253
      (if (3 = microwave_microwave_mode__logic_mode_)
254 254
         then true
255 255
         else false);
256 256

  
......
325 325
      KP_CLEAR)) or 
326 326
      (RIGHT_DIGIT = 0));
327 327

  
328
   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);
328
   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);
329 329

  
330 330
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
331 331

  
......
346 346
      (RIGHT_DIGIT = 3))));
347 347

  
348 348
   COOKING = 
349
      (if (2 = microwave_microwave_mode_logic_mode)
349
      (if (2 = microwave_microwave_mode__logic_mode_)
350 350
         then true
351 351
         else false);
352 352

  
......
355 355
   START_PRESSED = (KP_START -> (KP_START and 
356 356
      (not (pre KP_START))));
357 357

  
358
   chart_microwave_mode_logic_start = 
358
   chart_microwave_mode__logic_start = 
359 359
      (if (START_PRESSED = false)
360 360
         then 0
361 361
         else 1);
362 362

  
363
   chart_microwave_mode_logic_clear_off = 
363
   chart_microwave_mode__logic_clear_off = 
364 364
      (if (CLEAR_PRESSED = false)
365 365
         then 0
366 366
         else 1);
367 367

  
368
   chart_microwave_mode_logic_door_closed = 
368
   chart_microwave_mode__logic_door_closed = 
369 369
      (if (DOOR_CLOSED = false)
370 370
         then 0
371 371
         else 1);
372 372

  
373
   chart_microwave_mode_logic____wakeup___ = true;
373
   chart_microwave_mode__logic____wakeup___ = true;
374 374

  
375
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
376
      (if (pre chart_microwave_mode_logic____wakeup___)
375
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
376
      (if (pre chart_microwave_mode__logic____wakeup___)
377 377
         then false
378
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
378
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
379 379

  
380
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
380
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
381 381

  
382
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
382
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
383 383

  
384
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
384
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
385 385

  
386
   chart_microwave_mode_logic_final_state_states___root = 
387
      (if chart_microwave_mode_logic____wakeup___
386
   chart_microwave_mode__logic_final_state_states___root = 
387
      (if chart_microwave_mode__logic____wakeup___
388 388
         then 
389
               (if chart_microwave_mode_logic_rlt_evtInitStep
390
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
389
               (if chart_microwave_mode__logic_rlt_evtInitStep
390
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
391 391
                  else 
392
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
392
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
393 393
                  
394 394
                  
395
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
396
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
395
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
396
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
397 397
                  then 
398
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
398
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
399 399
                           then 
400
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
400
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
401 401
                                    then 
402 402
                                          
403 403
                                          3
404
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
405
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
406
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
407
         else chart_microwave_mode_logic_begin_state_states___root);
404
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
405
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
406
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
407
         else chart_microwave_mode__logic_begin_state_states___root);
408 408

  
409
   chart_microwave_mode_logic_mode = 
410
      (if chart_microwave_mode_logic____wakeup___
409
   chart_microwave_mode__logic_mode_ = 
410
      (if chart_microwave_mode__logic____wakeup___
411 411
         then 
412
               (if chart_microwave_mode_logic_rlt_evtInitStep
412
               (if chart_microwave_mode__logic_rlt_evtInitStep
413 413
                  then 
414
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
414
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
415 415
                           then 1
416
                           else chart_microwave_mode_logic_begin_state_outports_mode)
416
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
417 417
                  else 
418
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
418
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
419 419
                  
420 420
                  
421
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
422
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
421
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
422
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
423 423
                  then 
424
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
424
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
425 425
                           then 
426
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
426
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
427 427
                                    then 3
428
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
429
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
430
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
431
         else chart_microwave_mode_logic_begin_state_outports_mode);
428
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
429
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
430
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
431
         else chart_microwave_mode__logic_begin_state_outports_mode_);
432 432

  
433
   chart_microwave_mode_logic_steps_remaining = 
434
      (if chart_microwave_mode_logic____wakeup___
433
   chart_microwave_mode__logic_steps_remaining = 
434
      (if chart_microwave_mode__logic____wakeup___
435 435
         then 
436
               (if chart_microwave_mode_logic_rlt_evtInitStep
437
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
436
               (if chart_microwave_mode__logic_rlt_evtInitStep
437
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
438 438
                  else 
439
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
439
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
440 440
                  
441 441
                  
442
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
443
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
442
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
443
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
444 444
                  then 
445
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
446
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
447
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
448
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
449
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
445
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
446
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
447
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
448
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
449
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
450 450

  
451 451
   
452 452
   
453
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
453
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
454 454

  
455 455
   
456 456
   
457
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
458
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
457
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
458
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
459 459
         then STEPS_TO_COOK
460
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
460
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
461 461

  
462 462
   
463 463
   
464
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
465
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
464
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
465
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
466 466
      (
467
      (if (chart_microwave_mode_logic_start <> 0)
467
      (if (chart_microwave_mode__logic_start <> 0)
468 468
         then true
469 469
         else false) and 
470 470
      
......
477 477

  
478 478
   
479 479
   
480
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
481
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
480
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
481
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
482 482
         then 
483
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
483
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
484 484
                  then 
485 485
                        
486 486
                        0
487
                  else chart_microwave_mode_logic_begin_state_states___root)
488
         else chart_microwave_mode_logic_begin_state_states___root);
487
                  else chart_microwave_mode__logic_begin_state_states___root)
488
         else chart_microwave_mode__logic_begin_state_states___root);
489 489

  
490 490
   
491 491
   
492
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
493
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
494
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
495
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
492
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
493
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
494
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
495
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
496 496
   
497 497
   
498 498

  
499 499
   
500 500
   
501
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
502
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
501
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
502
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
503 503
         then 
504
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
504
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
505 505
                  then 
506
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
506
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
507 507
                           then 3
508
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
509
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
510
         else chart_microwave_mode_logic_begin_state_outports_mode);
508
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
509
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
510
         else chart_microwave_mode__logic_begin_state_outports_mode_);
511 511
   
512 512
   
513 513

  
514 514
   
515 515
   
516
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
517
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
518
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
516
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
517
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
518
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
519 519

  
520 520
   
521 521
   
522
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
523
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
522
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
523
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
524 524
         then 
525 525
               (if 
526 526
                  
527
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
528
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
527
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
528
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
529 529
                  then 
530 530
                        
531 531
                        0
532
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
533
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
532
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
533
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
534 534

  
535 535
   
536 536
   
537
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
538
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
537
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
538
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
539 539
         then 
540
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
540
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
541 541
                  then 
542 542
                        
543 543
                        4
544
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
545
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
544
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
545
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
546 546
   
547 547
   
548 548

  
549 549
   
550 550
   
551
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
551
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
552 552
      ((
553
      (if (chart_microwave_mode_logic_start <> 0)
553
      (if (chart_microwave_mode__logic_start <> 0)
554 554
         then true
555 555
         else false) and 
556 556
      
557
      (if (chart_microwave_mode_logic_door_closed <> 0)
557
      (if (chart_microwave_mode__logic_door_closed <> 0)
558 558
         then true
559 559
         else false)) and 
560
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
560
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
561 561

  
562 562
   
563 563
   
564
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
565
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
564
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
565
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
566 566

  
567 567
   
568 568
   
569
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
570
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
569
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
570
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
571 571
         then 
572
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
572
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
573 573
                  then 
574 574
                        
575 575
                        1
576
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
577
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
576
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
577
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
578 578

  
579 579
   
580 580
   
581
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
582
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
581
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
582
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
583 583
         then 
584
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
584
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
585 585
                  then 1
586
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
587
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
586
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
587
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
588 588

  
589 589
   
590 590
   
591
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
592
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
591
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
592
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
593 593
         then 
594
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
594
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
595 595
                  then 
596 596
                        
597 597
                        2
598
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
599
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
598
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
599
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
600 600
   
601 601
   
602 602

  
603 603
   
604 604
   
605
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
606
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
605
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
606
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
607 607
         then 
608
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
608
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
609 609
                  then 2
610
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
611
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
610
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
611
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
612 612
   
613 613
   
614 614

  
615 615
   
616 616
   
617
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
617
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
618 618
      (
619
      (if (chart_microwave_mode_logic_clear_off <> 0)
619
      (if (chart_microwave_mode__logic_clear_off <> 0)
620 620
         then true
621 621
         else false) and 
622
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
623
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
624
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
622
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
623
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
624
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
625 625

  
626 626
   
627 627
   
628
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
629
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
628
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
629
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
630 630

  
631 631
   
632 632
   
633
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
634
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
633
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
634
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
635 635
         then 
636 636
               (if 
637 637
                  
638
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
639
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
638
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
639
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
640 640
                  then 
641 641
                        
642 642
                        0
643
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
644
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
643
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
644
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
645 645

  
646 646
   
647 647
   
648
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
649
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
648
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
649
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
650 650
         then 0
651
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
651
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
652 652

  
653 653
   
654 654
   
655
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
656
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
655
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
656
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
657 657
         then 
658
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
658
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
659 659
                  then 
660 660
                        
661 661
                        4
662
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
663
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
662
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
663
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
664 664
   
665 665
   
666 666

  
667 667
   
668 668
   
669
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
670
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
671
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
669
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
670
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
671
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
672 672

  
673 673
   
674 674
   
675
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
676
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
675
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
676
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
677 677
         then 
678
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
678
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
679 679
                  then 1
680
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
681
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
680
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
681
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
682 682

  
683 683
   
684 684
   
685
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
686
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
685
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
686
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
687 687
         then 
688
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
688
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
689 689
                  then 
690 690
                        
691 691
                        1
692
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
693
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
692
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
693
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
694 694

  
695 695
   
696 696
   
697
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
698
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
697
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
698
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
699 699
         then 
700
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
700
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
701 701
                  then 
702 702
                        
703 703
                        2
704
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
705
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
704
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
705
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
706 706
   
707 707
   
708 708

  
709 709
   
710 710
   
711
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
711
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
712 712
      ((
713
      (if (chart_microwave_mode_logic_clear_off <> 0)
713
      (if (chart_microwave_mode__logic_clear_off <> 0)
714 714
         then true
715 715
         else false) or 
716 716
      (not 
717
      (if (chart_microwave_mode_logic_door_closed <> 0)
717
      (if (chart_microwave_mode__logic_door_closed <> 0)
718 718
         then true
719 719
         else false))) and 
720
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
721
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
720
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
721
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
722 722

  
723 723
   
724 724
   
725
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
726
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
725
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
726
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
727 727
         then 
728
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
728
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
729 729
                  then 
730 730
                        
731 731
                        1
732
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
733
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
732
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
733
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
734 734

  
735 735
   
736 736
   
737
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
738
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
737
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
738
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
739 739
         then 
740
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
740
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
741 741
                  then 2
742
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
743
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
742
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
743
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
744 744

  
745
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
745
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
746 746
      (if (not 
747 747
         
748
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
749
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
748
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
749
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
750 750
         then 
751 751
               
752 752
               1
753
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
753
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
754 754

  
755 755
   
756 756
   
757
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
757
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
758 758
      
759
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
760
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
759
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
760
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
761 761
      
762 762
      
763
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
764
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
763
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
764
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
765 765

  
766 766
   
767 767
   
768
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
768
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
769 769
      (
770 770
      
771
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
772
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
771
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
772
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
773 773
      
774
      (if (chart_microwave_mode_logic_door_closed <> 0)
774
      (if (chart_microwave_mode__logic_door_closed <> 0)
775 775
         then true
776 776
         else false)));
777 777

  
778 778
   
779 779
   
780
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
781
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
780
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
781
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
782 782
         then 
783
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
783
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
784 784
                  then 
785 785
                        
786 786
                        2
787
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
788
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
787
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
788
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
789 789
   
790 790
   
791 791

  
792 792
   
793 793
   
794
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
795
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
794
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
795
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
796 796
         then 
797
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
797
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
798 798
                  then 2
799
                  else chart_microwave_mode_logic_begin_state_outports_mode)
800
         else chart_microwave_mode_logic_begin_state_outports_mode);
799
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
800
         else chart_microwave_mode__logic_begin_state_outports_mode_);
801 801
   
802 802
   
803 803

  
804 804
   
805 805
   
806
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
806
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
807 807
      (
808 808
      
809
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
810
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
811
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
809
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
810
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
811
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
812 812

  
813 813
   
814 814
   
815
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
816
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
815
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
816
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
817 817
         then 
818
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
818
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
819 819
                  then 
820 820
                        
821 821
                        3
822
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
823
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
822
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
823
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
824 824
   
825 825
   
826 826

  
827 827
   
828 828
   
829
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
830
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
829
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
830
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
831 831
         then 
832 832
               
833 833
               4
834
         else chart_microwave_mode_logic_begin_state_states___root);
834
         else chart_microwave_mode__logic_begin_state_states___root);
835 835
   
836 836
   
837 837

  
838
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
838
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
839 839

  
840 840

  
841 841
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1242 1242
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1243 1243

  
1244 1244
   SETUP = 
1245
      (if (1 = microwave_microwave_mode_logic_mode)
1245
      (if (1 = microwave_microwave_mode__logic_mode_)
1246 1246
         then true
1247 1247
         else false);
1248 1248

  
......
1263 1263
      (RIGHT_DIGIT = 5))));
1264 1264

  
1265 1265
   enable = (true -> 
1266
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1266
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1267 1267
         then true
1268 1268
         else false));
1269 1269

  

Also available in: Unified diff