Project

General

Profile

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

View differences:

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

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

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

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

  
......
291 291

  
292 292

  
293 293

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

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

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

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

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

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

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

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

  
339
   chart_microwave_mode_logic____wakeup___ = true;
339
   chart_microwave_mode__logic____wakeup___ = true;
340 340

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
486 486
   
487 487
   
488
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
489
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
488
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
489
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
490 490
         then 
491 491
               (if 
492 492
                  
493
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
494
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
493
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
494
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
495 495
                  then 
496 496
                        
497 497
                        0
498
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
499
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
498
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
499
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
500 500

  
501 501
   
502 502
   
503
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
504
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
503
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
504
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
505 505
         then 
506
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
506
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
507 507
                  then 
508 508
                        
509 509
                        4
510
                  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);
510
                  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 512
   
513 513
   
514 514

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

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

  
533 533
   
534 534
   
535
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
536
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
535
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
536
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
537 537
         then 
538
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
538
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
539 539
                  then 
540 540
                        
541 541
                        1
542
                  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);
542
                  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 544

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

  
555 555
   
556 556
   
557
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
558
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
557
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
558
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
559 559
         then 
560
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
560
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
561 561
                  then 
562 562
                        
563 563
                        2
564
                  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);
564
                  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 566
   
567 567
   
568 568

  
569 569
   
570 570
   
571
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
572
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
571
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
572
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
573 573
         then 
574
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
574
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
575 575
                  then 2
576
                  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);
576
                  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 578
   
579 579
   
580 580

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

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

  
597 597
   
598 598
   
599
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
600
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
599
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
600
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
601 601
         then 
602 602
               (if 
603 603
                  
604
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
605
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
604
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
605
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
606 606
                  then 
607 607
                        
608 608
                        0
609
                  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);
609
                  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 611

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

  
619 619
   
620 620
   
621
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
622
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
621
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
622
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
623 623
         then 
624
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
624
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
625 625
                  then 
626 626
                        
627 627
                        4
628
                  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);
628
                  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 630
   
631 631
   
632 632

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

  
639 639
   
640 640
   
641
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
642
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
641
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
642
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
643 643
         then 
644
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
644
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
645 645
                  then 1
646
                  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);
646
                  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 648

  
649 649
   
650 650
   
651
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
652
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
651
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
652
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
653 653
         then 
654
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
654
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
655 655
                  then 
656 656
                        
657 657
                        1
658
                  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);
658
                  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 660

  
661 661
   
662 662
   
663
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
664
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
663
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
664
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
665 665
         then 
666
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
666
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
667 667
                  then 
668 668
                        
669 669
                        2
670
                  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);
670
                  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 672
   
673 673
   
674 674

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

  
689 689
   
690 690
   
691
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
692
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
691
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
692
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
693 693
         then 
694
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
694
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
695 695
                  then 
696 696
                        
697 697
                        1
698
                  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);
698
                  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 700

  
701 701
   
702 702
   
703
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
704
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
703
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
704
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
705 705
         then 
706
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
706
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
707 707
                  then 2
708
                  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);
708
                  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 710

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

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

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

  
744 744
   
745 745
   
746
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
747
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
746
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
747
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
748 748
         then 
749
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
749
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
750 750
                  then 
751 751
                        
752 752
                        2
753
                  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);
753
                  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 755
   
756 756
   
757 757

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

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

  
779 779
   
780 780
   
781
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
782
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
781
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
782
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
783 783
         then 
784
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
784
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
785 785
                  then 
786 786
                        
787 787
                        3
788
                  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);
788
                  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 790
   
791 791
   
792 792

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

  
804
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
804
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
805 805

  
806 806

  
807 807
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1200 1200
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1201 1201

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

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

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

  

Also available in: Unified diff