Project

General

Profile

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

View differences:

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

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

  
249
   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));
249
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
250 250

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

  
......
301 301
      KP_CLEAR)) or 
302 302
      (RIGHT_DIGIT = 0));
303 303

  
304
   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);
304
   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);
305 305

  
306 306
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
307 307

  
......
322 322
      (RIGHT_DIGIT = 3))));
323 323

  
324 324
   COOKING = 
325
      (if (2 = microwave_microwave_mode_logic_mode)
325
      (if (2 = microwave_microwave_mode__logic_mode_)
326 326
         then true
327 327
         else false);
328 328

  
......
331 331
   START_PRESSED = (KP_START -> (KP_START and 
332 332
      (not (pre KP_START))));
333 333

  
334
   chart_microwave_mode_logic_start = 
334
   chart_microwave_mode__logic_start = 
335 335
      (if (START_PRESSED = false)
336 336
         then 0
337 337
         else 1);
338 338

  
339
   chart_microwave_mode_logic_clear_off = 
339
   chart_microwave_mode__logic_clear_off = 
340 340
      (if (CLEAR_PRESSED = false)
341 341
         then 0
342 342
         else 1);
343 343

  
344
   chart_microwave_mode_logic_door_closed = 
344
   chart_microwave_mode__logic_door_closed = 
345 345
      (if (DOOR_CLOSED = false)
346 346
         then 0
347 347
         else 1);
348 348

  
349
   chart_microwave_mode_logic____wakeup___ = true;
349
   chart_microwave_mode__logic____wakeup___ = true;
350 350

  
351
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
352
      (if (pre chart_microwave_mode_logic____wakeup___)
351
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
352
      (if (pre chart_microwave_mode__logic____wakeup___)
353 353
         then false
354
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
354
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
355 355

  
356
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
356
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
357 357

  
358
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
358
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
359 359

  
360
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
360
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
361 361

  
362
   chart_microwave_mode_logic_final_state_states___root = 
363
      (if chart_microwave_mode_logic____wakeup___
362
   chart_microwave_mode__logic_final_state_states___root = 
363
      (if chart_microwave_mode__logic____wakeup___
364 364
         then 
365
               (if chart_microwave_mode_logic_rlt_evtInitStep
366
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
365
               (if chart_microwave_mode__logic_rlt_evtInitStep
366
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
367 367
                  else 
368
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
368
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
369 369
                  
370 370
                  
371
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
372
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
371
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
372
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
373 373
                  then 
374
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
374
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
375 375
                           then 
376
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
376
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
377 377
                                    then 
378 378
                                          
379 379
                                          3
380
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
381
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
382
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
383
         else chart_microwave_mode_logic_begin_state_states___root);
380
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
381
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
382
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
383
         else chart_microwave_mode__logic_begin_state_states___root);
384 384

  
385
   chart_microwave_mode_logic_mode = 
386
      (if chart_microwave_mode_logic____wakeup___
385
   chart_microwave_mode__logic_mode_ = 
386
      (if chart_microwave_mode__logic____wakeup___
387 387
         then 
388
               (if chart_microwave_mode_logic_rlt_evtInitStep
388
               (if chart_microwave_mode__logic_rlt_evtInitStep
389 389
                  then 
390
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
390
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
391 391
                           then 1
392
                           else chart_microwave_mode_logic_begin_state_outports_mode)
392
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
393 393
                  else 
394
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
394
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
395 395
                  
396 396
                  
397
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
398
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
397
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
398
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
399 399
                  then 
400
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
400
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
401 401
                           then 
402
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
402
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
403 403
                                    then 3
404
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
405
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
406
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
407
         else chart_microwave_mode_logic_begin_state_outports_mode);
404
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
405
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
406
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
407
         else chart_microwave_mode__logic_begin_state_outports_mode_);
408 408

  
409
   chart_microwave_mode_logic_steps_remaining = 
410
      (if chart_microwave_mode_logic____wakeup___
409
   chart_microwave_mode__logic_steps_remaining = 
410
      (if chart_microwave_mode__logic____wakeup___
411 411
         then 
412
               (if chart_microwave_mode_logic_rlt_evtInitStep
413
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
412
               (if chart_microwave_mode__logic_rlt_evtInitStep
413
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
414 414
                  else 
415
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
415
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
416 416
                  
417 417
                  
418
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
419
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
418
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
419
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
420 420
                  then 
421
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
422
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
423
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
424
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
425
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
421
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
422
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
423
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
424
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
425
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
426 426

  
427 427
   
428 428
   
429
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
429
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
430 430

  
431 431
   
432 432
   
433
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
434
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
433
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
434
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
435 435
         then STEPS_TO_COOK
436
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
436
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
437 437

  
438 438
   
439 439
   
440
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
441
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
440
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
441
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
442 442
      (
443
      (if (chart_microwave_mode_logic_start <> 0)
443
      (if (chart_microwave_mode__logic_start <> 0)
444 444
         then true
445 445
         else false) and 
446 446
      
......
453 453

  
454 454
   
455 455
   
456
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
457
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
456
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
457
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
458 458
         then 
459
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
459
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
460 460
                  then 
461 461
                        
462 462
                        0
463
                  else chart_microwave_mode_logic_begin_state_states___root)
464
         else chart_microwave_mode_logic_begin_state_states___root);
463
                  else chart_microwave_mode__logic_begin_state_states___root)
464
         else chart_microwave_mode__logic_begin_state_states___root);
465 465

  
466 466
   
467 467
   
468
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
469
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
470
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
471
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
468
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
469
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
470
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
471
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
472 472
   
473 473
   
474 474

  
475 475
   
476 476
   
477
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
478
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
477
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
478
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
479 479
         then 
480
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
480
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
481 481
                  then 
482
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
482
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
483 483
                           then 3
484
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
485
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
486
         else chart_microwave_mode_logic_begin_state_outports_mode);
484
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
485
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
486
         else chart_microwave_mode__logic_begin_state_outports_mode_);
487 487
   
488 488
   
489 489

  
490 490
   
491 491
   
492
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
493
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
494
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
492
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
493
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
494
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
495 495

  
496 496
   
497 497
   
498
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
499
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
498
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
499
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
500 500
         then 
501 501
               (if 
502 502
                  
503
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
504
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
503
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
504
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
505 505
                  then 
506 506
                        
507 507
                        0
508
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
509
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
508
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
509
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
510 510

  
511 511
   
512 512
   
513
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
514
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
513
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
514
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
515 515
         then 
516
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
516
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
517 517
                  then 
518 518
                        
519 519
                        4
520
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
521
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
520
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
521
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
522 522
   
523 523
   
524 524

  
525 525
   
526 526
   
527
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
527
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
528 528
      ((
529
      (if (chart_microwave_mode_logic_start <> 0)
529
      (if (chart_microwave_mode__logic_start <> 0)
530 530
         then true
531 531
         else false) and 
532 532
      
533
      (if (chart_microwave_mode_logic_door_closed <> 0)
533
      (if (chart_microwave_mode__logic_door_closed <> 0)
534 534
         then true
535 535
         else false)) and 
536
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
536
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
537 537

  
538 538
   
539 539
   
540
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
541
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
540
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
541
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
542 542

  
543 543
   
544 544
   
545
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
546
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
545
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
546
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
547 547
         then 
548
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
548
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
549 549
                  then 
550 550
                        
551 551
                        1
552
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
553
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
552
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
553
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
554 554

  
555 555
   
556 556
   
557
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
558
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
557
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
558
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
559 559
         then 
560
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
560
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
561 561
                  then 1
562
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
563
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
562
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
563
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
568
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
567
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
568
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
569 569
         then 
570
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
570
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
571 571
                  then 
572 572
                        
573 573
                        2
574
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
575
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
574
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
575
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
576 576
   
577 577
   
578 578

  
579 579
   
580 580
   
581
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
582
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
581
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
582
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
583 583
         then 
584
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
584
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
585 585
                  then 2
586
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
587
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
586
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
587
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
588 588
   
589 589
   
590 590

  
591 591
   
592 592
   
593
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
593
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
594 594
      (
595
      (if (chart_microwave_mode_logic_clear_off <> 0)
595
      (if (chart_microwave_mode__logic_clear_off <> 0)
596 596
         then true
597 597
         else false) and 
598
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
599
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
600
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
598
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
599
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
600
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
601 601

  
602 602
   
603 603
   
604
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
605
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
604
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
605
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
606 606

  
607 607
   
608 608
   
609
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
610
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
609
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
610
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
611 611
         then 
612 612
               (if 
613 613
                  
614
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
615
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
614
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
615
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
616 616
                  then 
617 617
                        
618 618
                        0
619
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
620
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
619
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
620
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
621 621

  
622 622
   
623 623
   
624
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
625
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
624
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
625
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
626 626
         then 0
627
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
627
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
628 628

  
629 629
   
630 630
   
631
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
632
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
631
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
632
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
633 633
         then 
634
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
634
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
635 635
                  then 
636 636
                        
637 637
                        4
638
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
639
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
638
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
639
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
640 640
   
641 641
   
642 642

  
643 643
   
644 644
   
645
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
646
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
647
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
645
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
646
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
647
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
648 648

  
649 649
   
650 650
   
651
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
652
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
651
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
652
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
653 653
         then 
654
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
654
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
655 655
                  then 1
656
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
657
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
656
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
657
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
658 658

  
659 659
   
660 660
   
661
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
662
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
661
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
662
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
663 663
         then 
664
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
664
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
665 665
                  then 
666 666
                        
667 667
                        1
668
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
669
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
668
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
669
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
670 670

  
671 671
   
672 672
   
673
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
674
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
673
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
674
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
675 675
         then 
676
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
676
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
677 677
                  then 
678 678
                        
679 679
                        2
680
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
681
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
680
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
681
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
682 682
   
683 683
   
684 684

  
685 685
   
686 686
   
687
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
687
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
688 688
      ((
689
      (if (chart_microwave_mode_logic_clear_off <> 0)
689
      (if (chart_microwave_mode__logic_clear_off <> 0)
690 690
         then true
691 691
         else false) or 
692 692
      (not 
693
      (if (chart_microwave_mode_logic_door_closed <> 0)
693
      (if (chart_microwave_mode__logic_door_closed <> 0)
694 694
         then true
695 695
         else false))) and 
696
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
697
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
696
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
697
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
698 698

  
699 699
   
700 700
   
701
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
702
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
701
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
702
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
703 703
         then 
704
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
704
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
705 705
                  then 
706 706
                        
707 707
                        1
708
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
709
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
708
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
709
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
710 710

  
711 711
   
712 712
   
713
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
714
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
713
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
714
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
715 715
         then 
716
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
716
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
717 717
                  then 2
718
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
719
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
718
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
719
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
720 720

  
721
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
721
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
722 722
      (if (not 
723 723
         
724
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
725
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
724
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
725
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
726 726
         then 
727 727
               
728 728
               1
729
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
729
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
730 730

  
731 731
   
732 732
   
733
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
733
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
734 734
      
735
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
736
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
735
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
736
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
737 737
      
738 738
      
739
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
740
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
739
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
740
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
741 741

  
742 742
   
743 743
   
744
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
744
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
745 745
      (
746 746
      
747
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
748
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
747
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
748
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
749 749
      
750
      (if (chart_microwave_mode_logic_door_closed <> 0)
750
      (if (chart_microwave_mode__logic_door_closed <> 0)
751 751
         then true
752 752
         else false)));
753 753

  
754 754
   
755 755
   
756
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
757
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
756
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
757
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
758 758
         then 
759
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
759
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
760 760
                  then 
761 761
                        
762 762
                        2
763
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
764
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
763
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
764
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
765 765
   
766 766
   
767 767

  
768 768
   
769 769
   
770
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
771
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
770
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
771
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
772 772
         then 
773
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
773
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
774 774
                  then 2
775
                  else chart_microwave_mode_logic_begin_state_outports_mode)
776
         else chart_microwave_mode_logic_begin_state_outports_mode);
775
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
776
         else chart_microwave_mode__logic_begin_state_outports_mode_);
777 777
   
778 778
   
779 779

  
780 780
   
781 781
   
782
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
782
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
783 783
      (
784 784
      
785
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
786
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
787
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
785
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
786
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
787
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
788 788

  
789 789
   
790 790
   
791
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
792
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
791
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
792
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
793 793
         then 
794
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
794
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
795 795
                  then 
796 796
                        
797 797
                        3
798
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
799
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
798
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
799
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
800 800
   
801 801
   
802 802

  
803 803
   
804 804
   
805
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
806
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
805
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
806
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
807 807
         then 
808 808
               
809 809
               4
810
         else chart_microwave_mode_logic_begin_state_states___root);
810
         else chart_microwave_mode__logic_begin_state_states___root);
811 811
   
812 812
   
813 813

  
814
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
814
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
815 815

  
816 816

  
817 817
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1218 1218
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1219 1219

  
1220 1220
   SETUP = 
1221
      (if (1 = microwave_microwave_mode_logic_mode)
1221
      (if (1 = microwave_microwave_mode__logic_mode_)
1222 1222
         then true
1223 1223
         else false);
1224 1224

  
......
1239 1239
      (RIGHT_DIGIT = 5))));
1240 1240

  
1241 1241
   enable = (true -> 
1242
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1242
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1243 1243
         then true
1244 1244
         else false));
1245 1245

  

Also available in: Unified diff