Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave24.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; 
......
294 294
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
295 295
      (not (pre KP_CLEAR))));
296 296

  
297
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
297
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
298 298

  
299
   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));
299
   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));
300 300

  
301 301
   SUSPENDED = 
302
      (if (3 = microwave_microwave_mode_logic_mode)
302
      (if (3 = microwave_microwave_mode__logic_mode_)
303 303
         then true
304 304
         else false);
305 305

  
......
374 374
      KP_CLEAR)) or 
375 375
      (RIGHT_DIGIT = 0));
376 376

  
377
   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);
377
   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);
378 378

  
379 379
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
380 380

  
......
395 395
      (RIGHT_DIGIT = 3))));
396 396

  
397 397
   COOKING = 
398
      (if (2 = microwave_microwave_mode_logic_mode)
398
      (if (2 = microwave_microwave_mode__logic_mode_)
399 399
         then true
400 400
         else false);
401 401

  
......
404 404
   START_PRESSED = (KP_START -> (KP_START and 
405 405
      (not (pre KP_START))));
406 406

  
407
   chart_microwave_mode_logic_start = 
407
   chart_microwave_mode__logic_start = 
408 408
      (if (START_PRESSED = false)
409 409
         then 0
410 410
         else 1);
411 411

  
412
   chart_microwave_mode_logic_clear_off = 
412
   chart_microwave_mode__logic_clear_off = 
413 413
      (if (CLEAR_PRESSED = false)
414 414
         then 0
415 415
         else 1);
416 416

  
417
   chart_microwave_mode_logic_door_closed = 
417
   chart_microwave_mode__logic_door_closed = 
418 418
      (if (DOOR_CLOSED = false)
419 419
         then 0
420 420
         else 1);
421 421

  
422
   chart_microwave_mode_logic____wakeup___ = true;
422
   chart_microwave_mode__logic____wakeup___ = true;
423 423

  
424
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
425
      (if (pre chart_microwave_mode_logic____wakeup___)
424
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
425
      (if (pre chart_microwave_mode__logic____wakeup___)
426 426
         then false
427
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
427
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
428 428

  
429
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
429
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
430 430

  
431
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
431
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
432 432

  
433
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
433
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
434 434

  
435
   chart_microwave_mode_logic_final_state_states___root = 
436
      (if chart_microwave_mode_logic____wakeup___
435
   chart_microwave_mode__logic_final_state_states___root = 
436
      (if chart_microwave_mode__logic____wakeup___
437 437
         then 
438
               (if chart_microwave_mode_logic_rlt_evtInitStep
439
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
438
               (if chart_microwave_mode__logic_rlt_evtInitStep
439
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
440 440
                  else 
441
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
441
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
442 442
                  
443 443
                  
444
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
445
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
444
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
445
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
446 446
                  then 
447
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
447
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
448 448
                           then 
449
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
449
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
450 450
                                    then 
451 451
                                          
452 452
                                          3
453
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
454
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
455
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
456
         else chart_microwave_mode_logic_begin_state_states___root);
453
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
454
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
455
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
456
         else chart_microwave_mode__logic_begin_state_states___root);
457 457

  
458
   chart_microwave_mode_logic_mode = 
459
      (if chart_microwave_mode_logic____wakeup___
458
   chart_microwave_mode__logic_mode_ = 
459
      (if chart_microwave_mode__logic____wakeup___
460 460
         then 
461
               (if chart_microwave_mode_logic_rlt_evtInitStep
461
               (if chart_microwave_mode__logic_rlt_evtInitStep
462 462
                  then 
463
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
463
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
464 464
                           then 1
465
                           else chart_microwave_mode_logic_begin_state_outports_mode)
465
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
466 466
                  else 
467
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
467
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
468 468
                  
469 469
                  
470
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
471
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
470
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
471
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
472 472
                  then 
473
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
473
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
474 474
                           then 
475
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
475
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
476 476
                                    then 3
477
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
478
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
479
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
480
         else chart_microwave_mode_logic_begin_state_outports_mode);
477
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
478
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
479
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
480
         else chart_microwave_mode__logic_begin_state_outports_mode_);
481 481

  
482
   chart_microwave_mode_logic_steps_remaining = 
483
      (if chart_microwave_mode_logic____wakeup___
482
   chart_microwave_mode__logic_steps_remaining = 
483
      (if chart_microwave_mode__logic____wakeup___
484 484
         then 
485
               (if chart_microwave_mode_logic_rlt_evtInitStep
486
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
485
               (if chart_microwave_mode__logic_rlt_evtInitStep
486
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
487 487
                  else 
488
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
488
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
489 489
                  
490 490
                  
491
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
492
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
491
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
492
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
493 493
                  then 
494
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
495
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
496
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
497
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
498
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
494
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
495
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
496
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
497
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
498
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
499 499

  
500 500
   
501 501
   
502
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
502
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
503 503

  
504 504
   
505 505
   
506
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
507
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
506
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
507
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
508 508
         then STEPS_TO_COOK
509
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
509
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
510 510

  
511 511
   
512 512
   
513
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
514
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
513
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
514
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
515 515
      (
516
      (if (chart_microwave_mode_logic_start <> 0)
516
      (if (chart_microwave_mode__logic_start <> 0)
517 517
         then true
518 518
         else false) and 
519 519
      
......
526 526

  
527 527
   
528 528
   
529
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
530
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
529
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
530
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
531 531
         then 
532
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
532
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
533 533
                  then 
534 534
                        
535 535
                        0
536
                  else chart_microwave_mode_logic_begin_state_states___root)
537
         else chart_microwave_mode_logic_begin_state_states___root);
536
                  else chart_microwave_mode__logic_begin_state_states___root)
537
         else chart_microwave_mode__logic_begin_state_states___root);
538 538

  
539 539
   
540 540
   
541
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
542
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
543
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
544
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
541
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
542
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
543
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
544
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
545 545
   
546 546
   
547 547

  
548 548
   
549 549
   
550
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
551
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
550
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
551
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
552 552
         then 
553
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
553
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
554 554
                  then 
555
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
555
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
556 556
                           then 3
557
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
558
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
559
         else chart_microwave_mode_logic_begin_state_outports_mode);
557
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
558
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
559
         else chart_microwave_mode__logic_begin_state_outports_mode_);
560 560
   
561 561
   
562 562

  
563 563
   
564 564
   
565
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
566
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
567
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
565
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
566
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
567
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
568 568

  
569 569
   
570 570
   
571
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
572
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
571
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
572
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
573 573
         then 
574 574
               (if 
575 575
                  
576
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
577
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
576
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
577
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
578 578
                  then 
579 579
                        
580 580
                        0
581
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
582
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
581
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
582
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
583 583

  
584 584
   
585 585
   
586
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
587
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
586
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
587
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
588 588
         then 
589
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
589
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
590 590
                  then 
591 591
                        
592 592
                        4
593
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
594
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
593
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
594
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
595 595
   
596 596
   
597 597

  
598 598
   
599 599
   
600
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
600
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
601 601
      ((
602
      (if (chart_microwave_mode_logic_start <> 0)
602
      (if (chart_microwave_mode__logic_start <> 0)
603 603
         then true
604 604
         else false) and 
605 605
      
606
      (if (chart_microwave_mode_logic_door_closed <> 0)
606
      (if (chart_microwave_mode__logic_door_closed <> 0)
607 607
         then true
608 608
         else false)) and 
609
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
609
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
610 610

  
611 611
   
612 612
   
613
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
614
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
613
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
614
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
615 615

  
616 616
   
617 617
   
618
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
619
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
618
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
619
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
620 620
         then 
621
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
621
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
622 622
                  then 
623 623
                        
624 624
                        1
625
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
626
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
625
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
626
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
627 627

  
628 628
   
629 629
   
630
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
631
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
630
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
631
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
632 632
         then 
633
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
633
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
634 634
                  then 1
635
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
636
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
635
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
636
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
637 637

  
638 638
   
639 639
   
640
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
641
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
640
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
641
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
642 642
         then 
643
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
643
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
644 644
                  then 
645 645
                        
646 646
                        2
647
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
648
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
647
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
648
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
649 649
   
650 650
   
651 651

  
652 652
   
653 653
   
654
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
655
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
654
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
655
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
656 656
         then 
657
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
657
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
658 658
                  then 2
659
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
660
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
659
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
660
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
661 661
   
662 662
   
663 663

  
664 664
   
665 665
   
666
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
666
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
667 667
      (
668
      (if (chart_microwave_mode_logic_clear_off <> 0)
668
      (if (chart_microwave_mode__logic_clear_off <> 0)
669 669
         then true
670 670
         else false) and 
671
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
672
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
673
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
671
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
672
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
673
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
674 674

  
675 675
   
676 676
   
677
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
678
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
677
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
678
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
679 679

  
680 680
   
681 681
   
682
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
683
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
682
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
683
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
684 684
         then 
685 685
               (if 
686 686
                  
687
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
688
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
687
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
688
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
689 689
                  then 
690 690
                        
691 691
                        0
692
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
693
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
692
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
693
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
694 694

  
695 695
   
696 696
   
697
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
698
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
697
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
698
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
699 699
         then 0
700
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
700
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
701 701

  
702 702
   
703 703
   
704
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
705
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
704
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
705
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
706 706
         then 
707
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
707
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
708 708
                  then 
709 709
                        
710 710
                        4
711
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
712
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
711
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
712
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
713 713
   
714 714
   
715 715

  
716 716
   
717 717
   
718
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
719
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
720
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
718
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
719
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
720
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
721 721

  
722 722
   
723 723
   
724
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
725
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
724
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
725
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
726 726
         then 
727
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
727
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
728 728
                  then 1
729
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
730
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
729
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
730
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
731 731

  
732 732
   
733 733
   
734
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
735
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
734
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
735
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
736 736
         then 
737
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
737
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
738 738
                  then 
739 739
                        
740 740
                        1
741
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
742
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
741
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
742
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
743 743

  
744 744
   
745 745
   
746
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
747
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
746
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
747
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
748 748
         then 
749
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
749
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
750 750
                  then 
751 751
                        
752 752
                        2
753
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
754
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
753
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
754
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
755 755
   
756 756
   
757 757

  
758 758
   
759 759
   
760
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
760
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
761 761
      ((
762
      (if (chart_microwave_mode_logic_clear_off <> 0)
762
      (if (chart_microwave_mode__logic_clear_off <> 0)
763 763
         then true
764 764
         else false) or 
765 765
      (not 
766
      (if (chart_microwave_mode_logic_door_closed <> 0)
766
      (if (chart_microwave_mode__logic_door_closed <> 0)
767 767
         then true
768 768
         else false))) and 
769
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
770
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
769
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
770
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
771 771

  
772 772
   
773 773
   
774
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
775
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
774
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
775
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
776 776
         then 
777
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
777
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
778 778
                  then 
779 779
                        
780 780
                        1
781
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
782
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
781
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
782
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
783 783

  
784 784
   
785 785
   
786
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
787
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
786
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
787
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
788 788
         then 
789
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
789
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
790 790
                  then 2
791
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
792
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
791
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
792
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
793 793

  
794
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
794
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
795 795
      (if (not 
796 796
         
797
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
798
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
797
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
798
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
799 799
         then 
800 800
               
801 801
               1
802
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
802
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
803 803

  
804 804
   
805 805
   
806
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
806
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
807 807
      
808
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
809
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
808
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
809
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
810 810
      
811 811
      
812
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
813
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
812
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
813
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
814 814

  
815 815
   
816 816
   
817
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
817
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
818 818
      (
819 819
      
820
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
821
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
820
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
821
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
822 822
      
823
      (if (chart_microwave_mode_logic_door_closed <> 0)
823
      (if (chart_microwave_mode__logic_door_closed <> 0)
824 824
         then true
825 825
         else false)));
826 826

  
827 827
   
828 828
   
829
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
830
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
829
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
830
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
831 831
         then 
832
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
832
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
833 833
                  then 
834 834
                        
835 835
                        2
836
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
837
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
836
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
837
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
838 838
   
839 839
   
840 840

  
841 841
   
842 842
   
843
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
844
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
843
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
844
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
845 845
         then 
846
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
846
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
847 847
                  then 2
848
                  else chart_microwave_mode_logic_begin_state_outports_mode)
849
         else chart_microwave_mode_logic_begin_state_outports_mode);
848
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
849
         else chart_microwave_mode__logic_begin_state_outports_mode_);
850 850
   
851 851
   
852 852

  
853 853
   
854 854
   
855
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
855
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
856 856
      (
857 857
      
858
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
859
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
860
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
858
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
859
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
860
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
861 861

  
862 862
   
863 863
   
864
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
865
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
864
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
865
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
866 866
         then 
867
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
867
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
868 868
                  then 
869 869
                        
870 870
                        3
871
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
872
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
871
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
872
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
873 873
   
874 874
   
875 875

  
876 876
   
877 877
   
878
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
879
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
878
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
879
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
880 880
         then 
881 881
               
882 882
               4
883
         else chart_microwave_mode_logic_begin_state_states___root);
883
         else chart_microwave_mode__logic_begin_state_states___root);
884 884
   
885 885
   
886 886

  
887
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
887
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
888 888

  
889 889

  
890 890
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1291 1291
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1292 1292

  
1293 1293
   SETUP = 
1294
      (if (1 = microwave_microwave_mode_logic_mode)
1294
      (if (1 = microwave_microwave_mode__logic_mode_)
1295 1295
         then true
1296 1296
         else false);
1297 1297

  
......
1312 1312
      (RIGHT_DIGIT = 5))));
1313 1313

  
1314 1314
   enable = (true -> 
1315
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1315
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1316 1316
         then true
1317 1317
         else false));
1318 1318

  

Also available in: Unified diff