Project

General

Profile

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

View differences:

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

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

  
300
   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
   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 301

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

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

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

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

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

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

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

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

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

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

  
425
   chart_microwave_mode_logic____wakeup___ = true;
425
   chart_microwave_mode__logic____wakeup___ = true;
426 426

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
587 587
   
588 588
   
589
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
590
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
589
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
590
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
591 591
         then 
592
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
592
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
593 593
                  then 
594 594
                        
595 595
                        4
596
                  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);
596
                  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 598
   
599 599
   
600 600

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

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

  
619 619
   
620 620
   
621
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
622
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
621
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
622
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
623 623
         then 
624
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
624
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
625 625
                  then 
626 626
                        
627 627
                        1
628
                  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);
628
                  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 630

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

  
641 641
   
642 642
   
643
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
644
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
643
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
644
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
645 645
         then 
646
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
646
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
647 647
                  then 
648 648
                        
649 649
                        2
650
                  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);
650
                  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 652
   
653 653
   
654 654

  
655 655
   
656 656
   
657
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
658
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
657
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
658
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
659 659
         then 
660
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
660
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
661 661
                  then 2
662
                  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);
662
                  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 664
   
665 665
   
666 666

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

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

  
683 683
   
684 684
   
685
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
686
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
685
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
686
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
687 687
         then 
688 688
               (if 
689 689
                  
690
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
691
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
690
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
691
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
692 692
                  then 
693 693
                        
694 694
                        0
695
                  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);
695
                  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 697

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

  
705 705
   
706 706
   
707
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
708
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
707
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
708
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
709 709
         then 
710
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
710
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
711 711
                  then 
712 712
                        
713 713
                        4
714
                  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);
714
                  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 716
   
717 717
   
718 718

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

  
725 725
   
726 726
   
727
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
728
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
727
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
728
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
729 729
         then 
730
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
730
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
731 731
                  then 1
732
                  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);
732
                  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 734

  
735 735
   
736 736
   
737
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
738
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
737
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
738
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
739 739
         then 
740
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
740
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
741 741
                  then 
742 742
                        
743 743
                        1
744
                  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);
744
                  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 746

  
747 747
   
748 748
   
749
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
750
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
749
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
750
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
751 751
         then 
752
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
752
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
753 753
                  then 
754 754
                        
755 755
                        2
756
                  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);
756
                  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 758
   
759 759
   
760 760

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

  
775 775
   
776 776
   
777
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
778
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
777
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
778
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
779 779
         then 
780
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
780
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
781 781
                  then 
782 782
                        
783 783
                        1
784
                  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);
784
                  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 786

  
787 787
   
788 788
   
789
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
790
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
789
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
790
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
791 791
         then 
792
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
792
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
793 793
                  then 2
794
                  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);
794
                  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 796

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

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

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

  
830 830
   
831 831
   
832
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
833
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
832
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
833
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
834 834
         then 
835
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
835
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
836 836
                  then 
837 837
                        
838 838
                        2
839
                  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);
839
                  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 841
   
842 842
   
843 843

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

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

  
865 865
   
866 866
   
867
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
868
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
867
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
868
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
869 869
         then 
870
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
870
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
871 871
                  then 
872 872
                        
873 873
                        3
874
                  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);
874
                  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 876
   
877 877
   
878 878

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

  
890
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
890
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
891 891

  
892 892

  
893 893
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1294 1294
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1295 1295

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

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

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

  

Also available in: Unified diff