Project

General

Profile

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

View differences:

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

  
299
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
299
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
300 300

  
301
   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));
301
   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));
302 302

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

  
......
378 378
      KP_CLEAR)) or 
379 379
      (RIGHT_DIGIT = 0));
380 380

  
381
   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);
381
   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);
382 382

  
383 383
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
384 384

  
......
399 399
      (RIGHT_DIGIT = 3))));
400 400

  
401 401
   COOKING = 
402
      (if (2 = microwave_microwave_mode_logic_mode)
402
      (if (2 = microwave_microwave_mode__logic_mode_)
403 403
         then true
404 404
         else false);
405 405

  
......
408 408
   START_PRESSED = (KP_START -> (KP_START and 
409 409
      (not (pre KP_START))));
410 410

  
411
   chart_microwave_mode_logic_start = 
411
   chart_microwave_mode__logic_start = 
412 412
      (if (START_PRESSED = false)
413 413
         then 0
414 414
         else 1);
415 415

  
416
   chart_microwave_mode_logic_clear_off = 
416
   chart_microwave_mode__logic_clear_off = 
417 417
      (if (CLEAR_PRESSED = false)
418 418
         then 0
419 419
         else 1);
420 420

  
421
   chart_microwave_mode_logic_door_closed = 
421
   chart_microwave_mode__logic_door_closed = 
422 422
      (if (DOOR_CLOSED = false)
423 423
         then 0
424 424
         else 1);
425 425

  
426
   chart_microwave_mode_logic____wakeup___ = true;
426
   chart_microwave_mode__logic____wakeup___ = true;
427 427

  
428
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
429
      (if (pre chart_microwave_mode_logic____wakeup___)
428
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
429
      (if (pre chart_microwave_mode__logic____wakeup___)
430 430
         then false
431
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
431
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
432 432

  
433
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
433
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
434 434

  
435
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
435
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
436 436

  
437
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
437
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
438 438

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

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

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

  
504 504
   
505 505
   
506
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
506
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
507 507

  
508 508
   
509 509
   
510
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
511
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
510
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
511
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
512 512
         then STEPS_TO_COOK
513
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
513
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
514 514

  
515 515
   
516 516
   
517
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
518
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
517
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
518
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
519 519
      (
520
      (if (chart_microwave_mode_logic_start <> 0)
520
      (if (chart_microwave_mode__logic_start <> 0)
521 521
         then true
522 522
         else false) and 
523 523
      
......
530 530

  
531 531
   
532 532
   
533
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
534
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
533
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
534
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
535 535
         then 
536
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
536
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
537 537
                  then 
538 538
                        
539 539
                        0
540
                  else chart_microwave_mode_logic_begin_state_states___root)
541
         else chart_microwave_mode_logic_begin_state_states___root);
540
                  else chart_microwave_mode__logic_begin_state_states___root)
541
         else chart_microwave_mode__logic_begin_state_states___root);
542 542

  
543 543
   
544 544
   
545
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
546
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
547
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
548
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
545
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
546
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
547
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
548
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
549 549
   
550 550
   
551 551

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

  
567 567
   
568 568
   
569
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
570
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
571
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
569
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
570
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
571
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
572 572

  
573 573
   
574 574
   
575
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
576
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
575
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
576
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
577 577
         then 
578 578
               (if 
579 579
                  
580
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
581
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
580
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
581
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
582 582
                  then 
583 583
                        
584 584
                        0
585
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
586
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
585
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
586
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
587 587

  
588 588
   
589 589
   
590
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
591
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
590
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
591
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
592 592
         then 
593
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
593
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
594 594
                  then 
595 595
                        
596 596
                        4
597
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
598
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
597
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
598
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
599 599
   
600 600
   
601 601

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

  
615 615
   
616 616
   
617
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
618
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
617
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
618
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
619 619

  
620 620
   
621 621
   
622
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
623
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
622
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
623
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
624 624
         then 
625
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
625
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
626 626
                  then 
627 627
                        
628 628
                        1
629
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
630
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
629
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
630
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
631 631

  
632 632
   
633 633
   
634
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
635
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
634
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
635
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
636 636
         then 
637
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
637
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
638 638
                  then 1
639
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
640
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
639
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
640
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
641 641

  
642 642
   
643 643
   
644
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
645
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
644
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
645
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
646 646
         then 
647
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
647
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
648 648
                  then 
649 649
                        
650 650
                        2
651
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
652
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
651
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
652
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
653 653
   
654 654
   
655 655

  
656 656
   
657 657
   
658
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
659
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
658
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
659
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
660 660
         then 
661
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
661
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
662 662
                  then 2
663
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
664
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
663
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
664
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
665 665
   
666 666
   
667 667

  
668 668
   
669 669
   
670
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
670
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
671 671
      (
672
      (if (chart_microwave_mode_logic_clear_off <> 0)
672
      (if (chart_microwave_mode__logic_clear_off <> 0)
673 673
         then true
674 674
         else false) and 
675
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
676
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
677
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
675
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
676
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
677
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
678 678

  
679 679
   
680 680
   
681
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
682
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
681
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
682
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
683 683

  
684 684
   
685 685
   
686
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
687
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
686
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
687
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
688 688
         then 
689 689
               (if 
690 690
                  
691
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
692
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
691
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
692
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
693 693
                  then 
694 694
                        
695 695
                        0
696
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
697
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
696
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
697
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
698 698

  
699 699
   
700 700
   
701
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
702
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
701
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
702
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
703 703
         then 0
704
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
704
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
705 705

  
706 706
   
707 707
   
708
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
709
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
708
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
709
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
710 710
         then 
711
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
711
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
712 712
                  then 
713 713
                        
714 714
                        4
715
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
716
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
715
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
716
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
717 717
   
718 718
   
719 719

  
720 720
   
721 721
   
722
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
723
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
724
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
722
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
723
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
724
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
725 725

  
726 726
   
727 727
   
728
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
729
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
728
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
729
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
730 730
         then 
731
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
731
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
732 732
                  then 1
733
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
734
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
733
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
734
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
735 735

  
736 736
   
737 737
   
738
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
739
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
738
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
739
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
740 740
         then 
741
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
741
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
742 742
                  then 
743 743
                        
744 744
                        1
745
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
746
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
745
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
746
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
747 747

  
748 748
   
749 749
   
750
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
751
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
750
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
751
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
752 752
         then 
753
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
753
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
754 754
                  then 
755 755
                        
756 756
                        2
757
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
758
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
757
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
758
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
759 759
   
760 760
   
761 761

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

  
776 776
   
777 777
   
778
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
779
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
778
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
779
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
780 780
         then 
781
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
781
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
782 782
                  then 
783 783
                        
784 784
                        1
785
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
786
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
785
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
786
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
787 787

  
788 788
   
789 789
   
790
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
791
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
790
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
791
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
792 792
         then 
793
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
793
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
794 794
                  then 2
795
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
796
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
795
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
796
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
797 797

  
798
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
798
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
799 799
      (if (not 
800 800
         
801
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
802
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
801
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
802
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
803 803
         then 
804 804
               
805 805
               1
806
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
806
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
807 807

  
808 808
   
809 809
   
810
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
810
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
811 811
      
812
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
813
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
812
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
813
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
814 814
      
815 815
      
816
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
817
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
816
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
817
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
818 818

  
819 819
   
820 820
   
821
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
821
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
822 822
      (
823 823
      
824
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
825
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
824
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
825
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
826 826
      
827
      (if (chart_microwave_mode_logic_door_closed <> 0)
827
      (if (chart_microwave_mode__logic_door_closed <> 0)
828 828
         then true
829 829
         else false)));
830 830

  
831 831
   
832 832
   
833
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
834
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
833
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
834
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
835 835
         then 
836
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
836
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
837 837
                  then 
838 838
                        
839 839
                        2
840
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
841
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
840
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
841
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
842 842
   
843 843
   
844 844

  
845 845
   
846 846
   
847
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
848
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
847
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
848
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
849 849
         then 
850
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
850
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
851 851
                  then 2
852
                  else chart_microwave_mode_logic_begin_state_outports_mode)
853
         else chart_microwave_mode_logic_begin_state_outports_mode);
852
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
853
         else chart_microwave_mode__logic_begin_state_outports_mode_);
854 854
   
855 855
   
856 856

  
857 857
   
858 858
   
859
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
859
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
860 860
      (
861 861
      
862
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
863
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
864
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
862
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
863
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
864
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
865 865

  
866 866
   
867 867
   
868
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
869
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
868
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
869
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
870 870
         then 
871
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
871
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
872 872
                  then 
873 873
                        
874 874
                        3
875
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
876
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
875
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
876
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
877 877
   
878 878
   
879 879

  
880 880
   
881 881
   
882
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
883
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
882
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
883
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
884 884
         then 
885 885
               
886 886
               4
887
         else chart_microwave_mode_logic_begin_state_states___root);
887
         else chart_microwave_mode__logic_begin_state_states___root);
888 888
   
889 889
   
890 890

  
891
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
891
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
892 892

  
893 893

  
894 894
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1295 1295
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1296 1296

  
1297 1297
   SETUP = 
1298
      (if (1 = microwave_microwave_mode_logic_mode)
1298
      (if (1 = microwave_microwave_mode__logic_mode_)
1299 1299
         then true
1300 1300
         else false);
1301 1301

  
......
1316 1316
      (RIGHT_DIGIT = 5))));
1317 1317

  
1318 1318
   enable = (true -> 
1319
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1319
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1320 1320
         then true
1321 1321
         else false));
1322 1322

  

Also available in: Unified diff