Project

General

Profile

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

View differences:

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

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

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

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

  
......
290 290

  
291 291

  
292 292

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

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

  
......
300 300

  
301 301

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

  
......
309 309
   START_PRESSED = (KP_START -> (KP_START and 
310 310
      (not (pre KP_START))));
311 311

  
312
   chart_microwave_mode_logic_start = 
312
   chart_microwave_mode__logic_start = 
313 313
      (if (START_PRESSED = false)
314 314
         then 0
315 315
         else 1);
316 316

  
317
   chart_microwave_mode_logic_clear_off = 
317
   chart_microwave_mode__logic_clear_off = 
318 318
      (if (CLEAR_PRESSED = false)
319 319
         then 0
320 320
         else 1);
321 321

  
322
   chart_microwave_mode_logic_door_closed = 
322
   chart_microwave_mode__logic_door_closed = 
323 323
      (if (DOOR_CLOSED = false)
324 324
         then 0
325 325
         else 1);
326 326

  
327
   chart_microwave_mode_logic____wakeup___ = true;
327
   chart_microwave_mode__logic____wakeup___ = true;
328 328

  
329
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
330
      (if (pre chart_microwave_mode_logic____wakeup___)
329
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
330
      (if (pre chart_microwave_mode__logic____wakeup___)
331 331
         then false
332
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
332
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
333 333

  
334
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
334
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
335 335

  
336
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
336
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
337 337

  
338
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
338
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
339 339

  
340
   chart_microwave_mode_logic_final_state_states___root = 
341
      (if chart_microwave_mode_logic____wakeup___
340
   chart_microwave_mode__logic_final_state_states___root = 
341
      (if chart_microwave_mode__logic____wakeup___
342 342
         then 
343
               (if chart_microwave_mode_logic_rlt_evtInitStep
344
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
343
               (if chart_microwave_mode__logic_rlt_evtInitStep
344
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
345 345
                  else 
346
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
346
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
347 347
                  
348 348
                  
349
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
350
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
349
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
350
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
351 351
                  then 
352
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
352
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
353 353
                           then 
354
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
354
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
355 355
                                    then 
356 356
                                          
357 357
                                          3
358
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
359
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
360
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
361
         else chart_microwave_mode_logic_begin_state_states___root);
358
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
359
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
360
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
361
         else chart_microwave_mode__logic_begin_state_states___root);
362 362

  
363
   chart_microwave_mode_logic_mode = 
364
      (if chart_microwave_mode_logic____wakeup___
363
   chart_microwave_mode__logic_mode_ = 
364
      (if chart_microwave_mode__logic____wakeup___
365 365
         then 
366
               (if chart_microwave_mode_logic_rlt_evtInitStep
366
               (if chart_microwave_mode__logic_rlt_evtInitStep
367 367
                  then 
368
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
368
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
369 369
                           then 1
370
                           else chart_microwave_mode_logic_begin_state_outports_mode)
370
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
371 371
                  else 
372
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
372
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
373 373
                  
374 374
                  
375
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
376
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
375
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
376
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
377 377
                  then 
378
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
378
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
379 379
                           then 
380
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
380
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
381 381
                                    then 3
382
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
383
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
384
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
385
         else chart_microwave_mode_logic_begin_state_outports_mode);
382
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
383
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
384
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
385
         else chart_microwave_mode__logic_begin_state_outports_mode_);
386 386

  
387
   chart_microwave_mode_logic_steps_remaining = 
388
      (if chart_microwave_mode_logic____wakeup___
387
   chart_microwave_mode__logic_steps_remaining = 
388
      (if chart_microwave_mode__logic____wakeup___
389 389
         then 
390
               (if chart_microwave_mode_logic_rlt_evtInitStep
391
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
390
               (if chart_microwave_mode__logic_rlt_evtInitStep
391
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
392 392
                  else 
393
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
393
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
394 394
                  
395 395
                  
396
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
397
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
396
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
397
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
398 398
                  then 
399
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
400
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
401
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
402
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
403
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
399
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
400
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
401
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
402
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
403
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
404 404

  
405 405
   
406 406
   
407
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
407
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
408 408

  
409 409
   
410 410
   
411
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
412
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
411
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
412
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
413 413
         then STEPS_TO_COOK
414
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
414
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
415 415

  
416 416
   
417 417
   
418
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
419
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
418
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
419
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
420 420
      (
421
      (if (chart_microwave_mode_logic_start <> 0)
421
      (if (chart_microwave_mode__logic_start <> 0)
422 422
         then true
423 423
         else false) and 
424 424
      
......
431 431

  
432 432
   
433 433
   
434
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
435
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
434
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
435
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
436 436
         then 
437
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
437
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
438 438
                  then 
439 439
                        
440 440
                        0
441
                  else chart_microwave_mode_logic_begin_state_states___root)
442
         else chart_microwave_mode_logic_begin_state_states___root);
441
                  else chart_microwave_mode__logic_begin_state_states___root)
442
         else chart_microwave_mode__logic_begin_state_states___root);
443 443

  
444 444
   
445 445
   
446
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
447
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
448
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
449
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
446
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
447
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
448
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
449
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
450 450
   
451 451
   
452 452

  
453 453
   
454 454
   
455
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
456
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
455
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
456
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
457 457
         then 
458
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
458
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
459 459
                  then 
460
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
460
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
461 461
                           then 3
462
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
463
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
464
         else chart_microwave_mode_logic_begin_state_outports_mode);
462
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
463
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
464
         else chart_microwave_mode__logic_begin_state_outports_mode_);
465 465
   
466 466
   
467 467

  
468 468
   
469 469
   
470
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
471
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
472
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
470
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
471
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
472
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
473 473

  
474 474
   
475 475
   
476
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
477
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
476
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
477
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
478 478
         then 
479 479
               (if 
480 480
                  
481
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
482
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
481
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
482
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
483 483
                  then 
484 484
                        
485 485
                        0
486
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
487
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
486
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
487
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
488 488

  
489 489
   
490 490
   
491
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
492
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
491
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
492
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
493 493
         then 
494
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
494
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
495 495
                  then 
496 496
                        
497 497
                        4
498
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
499
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
498
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
499
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
500 500
   
501 501
   
502 502

  
503 503
   
504 504
   
505
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
505
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
506 506
      ((
507
      (if (chart_microwave_mode_logic_start <> 0)
507
      (if (chart_microwave_mode__logic_start <> 0)
508 508
         then true
509 509
         else false) and 
510 510
      
511
      (if (chart_microwave_mode_logic_door_closed <> 0)
511
      (if (chart_microwave_mode__logic_door_closed <> 0)
512 512
         then true
513 513
         else false)) and 
514
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
514
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
515 515

  
516 516
   
517 517
   
518
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
519
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
518
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
519
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
520 520

  
521 521
   
522 522
   
523
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
524
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
523
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
524
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
525 525
         then 
526
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
526
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
527 527
                  then 
528 528
                        
529 529
                        1
530
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
531
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
530
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
531
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
532 532

  
533 533
   
534 534
   
535
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
536
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
535
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
536
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
537 537
         then 
538
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
538
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
539 539
                  then 1
540
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
541
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
540
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
541
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
542 542

  
543 543
   
544 544
   
545
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
546
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
545
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
546
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
547 547
         then 
548
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
548
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
549 549
                  then 
550 550
                        
551 551
                        2
552
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
553
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
552
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
553
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
554 554
   
555 555
   
556 556

  
557 557
   
558 558
   
559
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
560
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
559
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
560
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
561 561
         then 
562
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
562
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
563 563
                  then 2
564
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
565
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
564
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
565
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
566 566
   
567 567
   
568 568

  
569 569
   
570 570
   
571
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
571
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
572 572
      (
573
      (if (chart_microwave_mode_logic_clear_off <> 0)
573
      (if (chart_microwave_mode__logic_clear_off <> 0)
574 574
         then true
575 575
         else false) and 
576
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
577
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
578
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
576
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
577
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
578
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
579 579

  
580 580
   
581 581
   
582
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
583
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
582
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
583
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
584 584

  
585 585
   
586 586
   
587
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
588
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
587
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
588
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
589 589
         then 
590 590
               (if 
591 591
                  
592
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
593
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
592
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
593
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
594 594
                  then 
595 595
                        
596 596
                        0
597
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
598
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
597
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
598
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
599 599

  
600 600
   
601 601
   
602
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
603
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
602
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
603
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
604 604
         then 0
605
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
605
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
606 606

  
607 607
   
608 608
   
609
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
610
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
609
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
610
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
611 611
         then 
612
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
612
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
613 613
                  then 
614 614
                        
615 615
                        4
616
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
617
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
616
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
617
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
618 618
   
619 619
   
620 620

  
621 621
   
622 622
   
623
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
624
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
625
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
623
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
624
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
625
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
626 626

  
627 627
   
628 628
   
629
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
630
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
629
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
630
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
631 631
         then 
632
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
632
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
633 633
                  then 1
634
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
635
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
634
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
635
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
636 636

  
637 637
   
638 638
   
639
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
640
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
639
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
640
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
641 641
         then 
642
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
642
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
643 643
                  then 
644 644
                        
645 645
                        1
646
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
647
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
646
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
647
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
648 648

  
649 649
   
650 650
   
651
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
652
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
651
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
652
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
653 653
         then 
654
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
654
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
655 655
                  then 
656 656
                        
657 657
                        2
658
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
659
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
658
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
659
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
660 660
   
661 661
   
662 662

  
663 663
   
664 664
   
665
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
665
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
666 666
      ((
667
      (if (chart_microwave_mode_logic_clear_off <> 0)
667
      (if (chart_microwave_mode__logic_clear_off <> 0)
668 668
         then true
669 669
         else false) or 
670 670
      (not 
671
      (if (chart_microwave_mode_logic_door_closed <> 0)
671
      (if (chart_microwave_mode__logic_door_closed <> 0)
672 672
         then true
673 673
         else false))) and 
674
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
675
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
674
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
675
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
676 676

  
677 677
   
678 678
   
679
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
680
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
679
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
680
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
681 681
         then 
682
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
682
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
683 683
                  then 
684 684
                        
685 685
                        1
686
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
687
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
686
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
687
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
688 688

  
689 689
   
690 690
   
691
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
692
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
691
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
692
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
693 693
         then 
694
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
694
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
695 695
                  then 2
696
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
697
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
696
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
697
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
698 698

  
699
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
699
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
700 700
      (if (not 
701 701
         
702
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
703
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
702
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
703
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
704 704
         then 
705 705
               
706 706
               1
707
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
707
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
708 708

  
709 709
   
710 710
   
711
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
711
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
712 712
      
713
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
714
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
713
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
714
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
715 715
      
716 716
      
717
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
718
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
717
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
718
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
719 719

  
720 720
   
721 721
   
722
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
722
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
723 723
      (
724 724
      
725
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
726
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
725
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
726
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
727 727
      
728
      (if (chart_microwave_mode_logic_door_closed <> 0)
728
      (if (chart_microwave_mode__logic_door_closed <> 0)
729 729
         then true
730 730
         else false)));
731 731

  
732 732
   
733 733
   
734
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
735
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
734
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
735
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
736 736
         then 
737
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
737
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
738 738
                  then 
739 739
                        
740 740
                        2
741
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
742
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
741
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
742
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
743 743
   
744 744
   
745 745

  
746 746
   
747 747
   
748
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
749
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
748
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
749
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
750 750
         then 
751
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
751
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
752 752
                  then 2
753
                  else chart_microwave_mode_logic_begin_state_outports_mode)
754
         else chart_microwave_mode_logic_begin_state_outports_mode);
753
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
754
         else chart_microwave_mode__logic_begin_state_outports_mode_);
755 755
   
756 756
   
757 757

  
758 758
   
759 759
   
760
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
760
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
761 761
      (
762 762
      
763
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
764
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
765
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
763
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
764
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
765
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
766 766

  
767 767
   
768 768
   
769
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
770
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
769
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
770
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
771 771
         then 
772
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
772
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
773 773
                  then 
774 774
                        
775 775
                        3
776
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
777
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
776
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
777
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
778 778
   
779 779
   
780 780

  
781 781
   
782 782
   
783
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
784
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
783
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
784
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
785 785
         then 
786 786
               
787 787
               4
788
         else chart_microwave_mode_logic_begin_state_states___root);
788
         else chart_microwave_mode__logic_begin_state_states___root);
789 789
   
790 790
   
791 791

  
792
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
792
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
793 793

  
794 794

  
795 795
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1188 1188
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1189 1189

  
1190 1190
   SETUP = 
1191
      (if (1 = microwave_microwave_mode_logic_mode)
1191
      (if (1 = microwave_microwave_mode__logic_mode_)
1192 1192
         then true
1193 1193
         else false);
1194 1194

  
......
1209 1209
      (RIGHT_DIGIT = 5))));
1210 1210

  
1211 1211
   enable = (true -> 
1212
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1212
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1213 1213
         then true
1214 1214
         else false));
1215 1215

  

Also available in: Unified diff