Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave32.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; 
......
238 238
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
239 239
      (not (pre KP_CLEAR))));
240 240

  
241
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
241
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
242 242

  
243
   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));
243
   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));
244 244

  
245 245
   SUSPENDED = 
246
      (if (3 = microwave_microwave_mode_logic_mode)
246
      (if (3 = microwave_microwave_mode__logic_mode_)
247 247
         then true
248 248
         else false);
249 249

  
......
292 292

  
293 293

  
294 294

  
295
   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);
295
   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);
296 296

  
297 297
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
298 298

  
......
313 313
      (RIGHT_DIGIT = 3))));
314 314

  
315 315
   COOKING = 
316
      (if (2 = microwave_microwave_mode_logic_mode)
316
      (if (2 = microwave_microwave_mode__logic_mode_)
317 317
         then true
318 318
         else false);
319 319

  
......
322 322
   START_PRESSED = (KP_START -> (KP_START and 
323 323
      (not (pre KP_START))));
324 324

  
325
   chart_microwave_mode_logic_start = 
325
   chart_microwave_mode__logic_start = 
326 326
      (if (START_PRESSED = false)
327 327
         then 0
328 328
         else 1);
329 329

  
330
   chart_microwave_mode_logic_clear_off = 
330
   chart_microwave_mode__logic_clear_off = 
331 331
      (if (CLEAR_PRESSED = false)
332 332
         then 0
333 333
         else 1);
334 334

  
335
   chart_microwave_mode_logic_door_closed = 
335
   chart_microwave_mode__logic_door_closed = 
336 336
      (if (DOOR_CLOSED = false)
337 337
         then 0
338 338
         else 1);
339 339

  
340
   chart_microwave_mode_logic____wakeup___ = true;
340
   chart_microwave_mode__logic____wakeup___ = true;
341 341

  
342
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
343
      (if (pre chart_microwave_mode_logic____wakeup___)
342
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
343
      (if (pre chart_microwave_mode__logic____wakeup___)
344 344
         then false
345
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
345
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
346 346

  
347
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
347
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
348 348

  
349
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
349
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
350 350

  
351
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
351
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
352 352

  
353
   chart_microwave_mode_logic_final_state_states___root = 
354
      (if chart_microwave_mode_logic____wakeup___
353
   chart_microwave_mode__logic_final_state_states___root = 
354
      (if chart_microwave_mode__logic____wakeup___
355 355
         then 
356
               (if chart_microwave_mode_logic_rlt_evtInitStep
357
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
356
               (if chart_microwave_mode__logic_rlt_evtInitStep
357
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
358 358
                  else 
359
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
359
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
360 360
                  
361 361
                  
362
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
363
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
362
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
363
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
364 364
                  then 
365
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
365
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
366 366
                           then 
367
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
367
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
368 368
                                    then 
369 369
                                          
370 370
                                          3
371
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
372
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
373
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
374
         else chart_microwave_mode_logic_begin_state_states___root);
371
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
372
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
373
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
374
         else chart_microwave_mode__logic_begin_state_states___root);
375 375

  
376
   chart_microwave_mode_logic_mode = 
377
      (if chart_microwave_mode_logic____wakeup___
376
   chart_microwave_mode__logic_mode_ = 
377
      (if chart_microwave_mode__logic____wakeup___
378 378
         then 
379
               (if chart_microwave_mode_logic_rlt_evtInitStep
379
               (if chart_microwave_mode__logic_rlt_evtInitStep
380 380
                  then 
381
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
381
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
382 382
                           then 1
383
                           else chart_microwave_mode_logic_begin_state_outports_mode)
383
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
384 384
                  else 
385
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
385
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
386 386
                  
387 387
                  
388
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
389
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
388
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
389
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
390 390
                  then 
391
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
391
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
392 392
                           then 
393
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
393
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
394 394
                                    then 3
395
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
396
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
397
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
398
         else chart_microwave_mode_logic_begin_state_outports_mode);
395
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
396
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
397
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
398
         else chart_microwave_mode__logic_begin_state_outports_mode_);
399 399

  
400
   chart_microwave_mode_logic_steps_remaining = 
401
      (if chart_microwave_mode_logic____wakeup___
400
   chart_microwave_mode__logic_steps_remaining = 
401
      (if chart_microwave_mode__logic____wakeup___
402 402
         then 
403
               (if chart_microwave_mode_logic_rlt_evtInitStep
404
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
403
               (if chart_microwave_mode__logic_rlt_evtInitStep
404
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
405 405
                  else 
406
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
406
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
407 407
                  
408 408
                  
409
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
410
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
409
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
410
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
411 411
                  then 
412
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
413
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
414
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
415
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
416
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
412
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
413
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
414
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
415
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
416
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
417 417

  
418 418
   
419 419
   
420
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
420
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
421 421

  
422 422
   
423 423
   
424
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
425
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
424
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
425
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
426 426
         then STEPS_TO_COOK
427
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
427
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
428 428

  
429 429
   
430 430
   
431
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
432
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
431
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
432
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
433 433
      (
434
      (if (chart_microwave_mode_logic_start <> 0)
434
      (if (chart_microwave_mode__logic_start <> 0)
435 435
         then true
436 436
         else false) and 
437 437
      
......
444 444

  
445 445
   
446 446
   
447
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
448
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
447
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
448
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
449 449
         then 
450
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
450
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
451 451
                  then 
452 452
                        
453 453
                        0
454
                  else chart_microwave_mode_logic_begin_state_states___root)
455
         else chart_microwave_mode_logic_begin_state_states___root);
454
                  else chart_microwave_mode__logic_begin_state_states___root)
455
         else chart_microwave_mode__logic_begin_state_states___root);
456 456

  
457 457
   
458 458
   
459
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
460
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
461
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
462
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
459
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
460
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
461
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
462
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
463 463
   
464 464
   
465 465

  
466 466
   
467 467
   
468
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
469
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
468
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
469
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
470 470
         then 
471
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
471
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
472 472
                  then 
473
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
473
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
474 474
                           then 3
475
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
476
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
477
         else chart_microwave_mode_logic_begin_state_outports_mode);
475
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
476
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
477
         else chart_microwave_mode__logic_begin_state_outports_mode_);
478 478
   
479 479
   
480 480

  
481 481
   
482 482
   
483
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
484
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
485
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
483
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
484
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
485
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
486 486

  
487 487
   
488 488
   
489
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
490
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
489
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
490
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
491 491
         then 
492 492
               (if 
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 497
                        
498 498
                        0
499
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
500
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
499
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
500
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
501 501

  
502 502
   
503 503
   
504
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
505
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
504
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
505
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
506 506
         then 
507
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
507
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
508 508
                  then 
509 509
                        
510 510
                        4
511
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
512
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
511
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
512
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
513 513
   
514 514
   
515 515

  
516 516
   
517 517
   
518
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
518
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
519 519
      ((
520
      (if (chart_microwave_mode_logic_start <> 0)
520
      (if (chart_microwave_mode__logic_start <> 0)
521 521
         then true
522 522
         else false) and 
523 523
      
524
      (if (chart_microwave_mode_logic_door_closed <> 0)
524
      (if (chart_microwave_mode__logic_door_closed <> 0)
525 525
         then true
526 526
         else false)) and 
527
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
527
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
528 528

  
529 529
   
530 530
   
531
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
532
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
531
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
532
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
533 533

  
534 534
   
535 535
   
536
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
537
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
536
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
537
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
538 538
         then 
539
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
539
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
540 540
                  then 
541 541
                        
542 542
                        1
543
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
544
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
543
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
544
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
545 545

  
546 546
   
547 547
   
548
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
549
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
548
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
549
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
550 550
         then 
551
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
551
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
552 552
                  then 1
553
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
554
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
553
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
554
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
555 555

  
556 556
   
557 557
   
558
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
559
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
558
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
559
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
560 560
         then 
561
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
561
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
562 562
                  then 
563 563
                        
564 564
                        2
565
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
566
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
565
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
566
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
567 567
   
568 568
   
569 569

  
570 570
   
571 571
   
572
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
573
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
572
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
573
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
574 574
         then 
575
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
575
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
576 576
                  then 2
577
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
578
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
577
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
578
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
579 579
   
580 580
   
581 581

  
582 582
   
583 583
   
584
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
584
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
585 585
      (
586
      (if (chart_microwave_mode_logic_clear_off <> 0)
586
      (if (chart_microwave_mode__logic_clear_off <> 0)
587 587
         then true
588 588
         else false) and 
589
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
590
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
591
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
589
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
590
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
591
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
592 592

  
593 593
   
594 594
   
595
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
596
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
595
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
596
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
597 597

  
598 598
   
599 599
   
600
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
601
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
600
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
601
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
602 602
         then 
603 603
               (if 
604 604
                  
605
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
606
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
605
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
606
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
607 607
                  then 
608 608
                        
609 609
                        0
610
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
611
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
610
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
611
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
612 612

  
613 613
   
614 614
   
615
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
616
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
615
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
616
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
617 617
         then 0
618
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
618
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
619 619

  
620 620
   
621 621
   
622
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
623
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
622
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
623
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
624 624
         then 
625
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
625
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
626 626
                  then 
627 627
                        
628 628
                        4
629
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
630
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
629
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
630
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
631 631
   
632 632
   
633 633

  
634 634
   
635 635
   
636
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
637
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
638
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
636
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
637
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
638
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
639 639

  
640 640
   
641 641
   
642
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
643
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
642
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
643
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
644 644
         then 
645
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
645
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
646 646
                  then 1
647
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
648
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
647
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
648
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
649 649

  
650 650
   
651 651
   
652
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
653
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
652
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
653
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
654 654
         then 
655
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
655
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
656 656
                  then 
657 657
                        
658 658
                        1
659
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
660
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
659
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
660
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
661 661

  
662 662
   
663 663
   
664
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
665
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
664
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
665
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
666 666
         then 
667
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
667
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
668 668
                  then 
669 669
                        
670 670
                        2
671
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
672
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
671
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
672
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
673 673
   
674 674
   
675 675

  
676 676
   
677 677
   
678
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
678
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
679 679
      ((
680
      (if (chart_microwave_mode_logic_clear_off <> 0)
680
      (if (chart_microwave_mode__logic_clear_off <> 0)
681 681
         then true
682 682
         else false) or 
683 683
      (not 
684
      (if (chart_microwave_mode_logic_door_closed <> 0)
684
      (if (chart_microwave_mode__logic_door_closed <> 0)
685 685
         then true
686 686
         else false))) and 
687
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
688
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
687
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
688
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
689 689

  
690 690
   
691 691
   
692
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
693
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
692
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
693
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
694 694
         then 
695
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
695
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
696 696
                  then 
697 697
                        
698 698
                        1
699
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
700
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
699
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
700
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
701 701

  
702 702
   
703 703
   
704
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
705
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
704
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
705
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
706 706
         then 
707
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
707
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
708 708
                  then 2
709
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
710
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
709
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
710
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
711 711

  
712
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
712
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
713 713
      (if (not 
714 714
         
715
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
716
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
715
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
716
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
717 717
         then 
718 718
               
719 719
               1
720
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
720
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
721 721

  
722 722
   
723 723
   
724
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
724
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
725 725
      
726
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
727
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
726
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
727
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
728 728
      
729 729
      
730
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
731
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
730
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
731
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
732 732

  
733 733
   
734 734
   
735
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
735
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
736 736
      (
737 737
      
738
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
739
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
738
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
739
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
740 740
      
741
      (if (chart_microwave_mode_logic_door_closed <> 0)
741
      (if (chart_microwave_mode__logic_door_closed <> 0)
742 742
         then true
743 743
         else false)));
744 744

  
745 745
   
746 746
   
747
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
748
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
747
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
748
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
749 749
         then 
750
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
750
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
751 751
                  then 
752 752
                        
753 753
                        2
754
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
755
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
754
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
755
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
756 756
   
757 757
   
758 758

  
759 759
   
760 760
   
761
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
762
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
761
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
762
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
763 763
         then 
764
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
764
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
765 765
                  then 2
766
                  else chart_microwave_mode_logic_begin_state_outports_mode)
767
         else chart_microwave_mode_logic_begin_state_outports_mode);
766
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
767
         else chart_microwave_mode__logic_begin_state_outports_mode_);
768 768
   
769 769
   
770 770

  
771 771
   
772 772
   
773
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
773
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
774 774
      (
775 775
      
776
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
777
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
778
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
776
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
777
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
778
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
779 779

  
780 780
   
781 781
   
782
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
783
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
782
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
783
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
784 784
         then 
785
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
785
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
786 786
                  then 
787 787
                        
788 788
                        3
789
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
790
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
789
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
790
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
791 791
   
792 792
   
793 793

  
794 794
   
795 795
   
796
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
797
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
796
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
797
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
798 798
         then 
799 799
               
800 800
               4
801
         else chart_microwave_mode_logic_begin_state_states___root);
801
         else chart_microwave_mode__logic_begin_state_states___root);
802 802
   
803 803
   
804 804

  
805
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
805
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
806 806

  
807 807

  
808 808
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1201 1201
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1202 1202

  
1203 1203
   SETUP = 
1204
      (if (1 = microwave_microwave_mode_logic_mode)
1204
      (if (1 = microwave_microwave_mode__logic_mode_)
1205 1205
         then true
1206 1206
         else false);
1207 1207

  
......
1222 1222
      (RIGHT_DIGIT = 5))));
1223 1223

  
1224 1224
   enable = (true -> 
1225
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1225
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1226 1226
         then true
1227 1227
         else false));
1228 1228

  

Also available in: Unified diff