Project

General

Profile

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

View differences:

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

  
237
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
237
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
238 238

  
239
   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));
239
   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));
240 240

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

  
......
275 275

  
276 276

  
277 277

  
278
   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);
278
   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);
279 279

  
280 280
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
281 281

  
......
285 285

  
286 286

  
287 287
   COOKING = 
288
      (if (2 = microwave_microwave_mode_logic_mode)
288
      (if (2 = microwave_microwave_mode__logic_mode_)
289 289
         then true
290 290
         else false);
291 291

  
......
294 294
   START_PRESSED = (KP_START -> (KP_START and 
295 295
      (not (pre KP_START))));
296 296

  
297
   chart_microwave_mode_logic_start = 
297
   chart_microwave_mode__logic_start = 
298 298
      (if (START_PRESSED = false)
299 299
         then 0
300 300
         else 1);
301 301

  
302
   chart_microwave_mode_logic_clear_off = 
302
   chart_microwave_mode__logic_clear_off = 
303 303
      (if (CLEAR_PRESSED = false)
304 304
         then 0
305 305
         else 1);
306 306

  
307
   chart_microwave_mode_logic_door_closed = 
307
   chart_microwave_mode__logic_door_closed = 
308 308
      (if (DOOR_CLOSED = false)
309 309
         then 0
310 310
         else 1);
311 311

  
312
   chart_microwave_mode_logic____wakeup___ = true;
312
   chart_microwave_mode__logic____wakeup___ = true;
313 313

  
314
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
315
      (if (pre chart_microwave_mode_logic____wakeup___)
314
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
315
      (if (pre chart_microwave_mode__logic____wakeup___)
316 316
         then false
317
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
317
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
318 318

  
319
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
319
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
320 320

  
321
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
321
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
322 322

  
323
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
323
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
324 324

  
325
   chart_microwave_mode_logic_final_state_states___root = 
326
      (if chart_microwave_mode_logic____wakeup___
325
   chart_microwave_mode__logic_final_state_states___root = 
326
      (if chart_microwave_mode__logic____wakeup___
327 327
         then 
328
               (if chart_microwave_mode_logic_rlt_evtInitStep
329
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
328
               (if chart_microwave_mode__logic_rlt_evtInitStep
329
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
330 330
                  else 
331
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
331
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
332 332
                  
333 333
                  
334
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
335
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
334
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
335
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
336 336
                  then 
337
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
337
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
338 338
                           then 
339
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
339
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
340 340
                                    then 
341 341
                                          
342 342
                                          3
343
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
344
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
345
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
346
         else chart_microwave_mode_logic_begin_state_states___root);
343
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
344
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
345
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
346
         else chart_microwave_mode__logic_begin_state_states___root);
347 347

  
348
   chart_microwave_mode_logic_mode = 
349
      (if chart_microwave_mode_logic____wakeup___
348
   chart_microwave_mode__logic_mode_ = 
349
      (if chart_microwave_mode__logic____wakeup___
350 350
         then 
351
               (if chart_microwave_mode_logic_rlt_evtInitStep
351
               (if chart_microwave_mode__logic_rlt_evtInitStep
352 352
                  then 
353
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
353
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
354 354
                           then 1
355
                           else chart_microwave_mode_logic_begin_state_outports_mode)
355
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
356 356
                  else 
357
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
357
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
358 358
                  
359 359
                  
360
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
361
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
360
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
361
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
362 362
                  then 
363
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
363
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
364 364
                           then 
365
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
365
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
366 366
                                    then 3
367
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
368
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
369
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
370
         else chart_microwave_mode_logic_begin_state_outports_mode);
367
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
368
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
369
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
370
         else chart_microwave_mode__logic_begin_state_outports_mode_);
371 371

  
372
   chart_microwave_mode_logic_steps_remaining = 
373
      (if chart_microwave_mode_logic____wakeup___
372
   chart_microwave_mode__logic_steps_remaining = 
373
      (if chart_microwave_mode__logic____wakeup___
374 374
         then 
375
               (if chart_microwave_mode_logic_rlt_evtInitStep
376
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
375
               (if chart_microwave_mode__logic_rlt_evtInitStep
376
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
377 377
                  else 
378
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
378
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
379 379
                  
380 380
                  
381
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
382
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
381
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
382
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
383 383
                  then 
384
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
385
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
386
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
387
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
388
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
384
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
385
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
386
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
387
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
388
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
389 389

  
390 390
   
391 391
   
392
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
392
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
393 393

  
394 394
   
395 395
   
396
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
397
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
396
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
397
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
398 398
         then STEPS_TO_COOK
399
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
399
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
400 400

  
401 401
   
402 402
   
403
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
404
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
403
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
404
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
405 405
      (
406
      (if (chart_microwave_mode_logic_start <> 0)
406
      (if (chart_microwave_mode__logic_start <> 0)
407 407
         then true
408 408
         else false) and 
409 409
      
......
416 416

  
417 417
   
418 418
   
419
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
420
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
419
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
420
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
421 421
         then 
422
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
422
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
423 423
                  then 
424 424
                        
425 425
                        0
426
                  else chart_microwave_mode_logic_begin_state_states___root)
427
         else chart_microwave_mode_logic_begin_state_states___root);
426
                  else chart_microwave_mode__logic_begin_state_states___root)
427
         else chart_microwave_mode__logic_begin_state_states___root);
428 428

  
429 429
   
430 430
   
431
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
432
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
433
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
434
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
431
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
432
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
433
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
434
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
435 435
   
436 436
   
437 437

  
438 438
   
439 439
   
440
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
441
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
440
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
441
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
442 442
         then 
443
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
443
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
444 444
                  then 
445
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
445
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
446 446
                           then 3
447
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
448
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
449
         else chart_microwave_mode_logic_begin_state_outports_mode);
447
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
448
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
449
         else chart_microwave_mode__logic_begin_state_outports_mode_);
450 450
   
451 451
   
452 452

  
453 453
   
454 454
   
455
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
456
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
457
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
455
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
456
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
457
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
458 458

  
459 459
   
460 460
   
461
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
462
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
461
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
462
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
463 463
         then 
464 464
               (if 
465 465
                  
466
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
467
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
466
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
467
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
468 468
                  then 
469 469
                        
470 470
                        0
471
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
472
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
471
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
472
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
473 473

  
474 474
   
475 475
   
476
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
477
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
476
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
477
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
478 478
         then 
479
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
479
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
480 480
                  then 
481 481
                        
482 482
                        4
483
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
484
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
483
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
484
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
485 485
   
486 486
   
487 487

  
488 488
   
489 489
   
490
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
490
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
491 491
      ((
492
      (if (chart_microwave_mode_logic_start <> 0)
492
      (if (chart_microwave_mode__logic_start <> 0)
493 493
         then true
494 494
         else false) and 
495 495
      
496
      (if (chart_microwave_mode_logic_door_closed <> 0)
496
      (if (chart_microwave_mode__logic_door_closed <> 0)
497 497
         then true
498 498
         else false)) and 
499
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
499
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
500 500

  
501 501
   
502 502
   
503
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
504
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
503
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
504
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
505 505

  
506 506
   
507 507
   
508
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
509
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
508
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
509
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
510 510
         then 
511
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
511
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
512 512
                  then 
513 513
                        
514 514
                        1
515
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
516
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
515
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
516
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
517 517

  
518 518
   
519 519
   
520
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
521
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
520
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
521
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
522 522
         then 
523
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
523
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
524 524
                  then 1
525
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
526
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
525
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
526
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
527 527

  
528 528
   
529 529
   
530
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
531
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
530
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
531
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
532 532
         then 
533
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
533
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
534 534
                  then 
535 535
                        
536 536
                        2
537
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
538
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
537
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
538
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
539 539
   
540 540
   
541 541

  
542 542
   
543 543
   
544
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
545
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
544
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
545
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
546 546
         then 
547
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
547
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
548 548
                  then 2
549
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
550
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
549
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
550
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
551 551
   
552 552
   
553 553

  
554 554
   
555 555
   
556
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
556
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
557 557
      (
558
      (if (chart_microwave_mode_logic_clear_off <> 0)
558
      (if (chart_microwave_mode__logic_clear_off <> 0)
559 559
         then true
560 560
         else false) and 
561
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
562
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
563
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
561
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
562
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
563
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
568
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
567
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
568
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
569 569

  
570 570
   
571 571
   
572
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
573
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
572
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
573
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
574 574
         then 
575 575
               (if 
576 576
                  
577
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
578
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
577
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
578
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
579 579
                  then 
580 580
                        
581 581
                        0
582
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
583
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
582
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
583
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
584 584

  
585 585
   
586 586
   
587
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
588
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
587
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
588
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
589 589
         then 0
590
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
590
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
591 591

  
592 592
   
593 593
   
594
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
595
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
594
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
595
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
596 596
         then 
597
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
597
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
598 598
                  then 
599 599
                        
600 600
                        4
601
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
602
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
601
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
602
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
603 603
   
604 604
   
605 605

  
606 606
   
607 607
   
608
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
609
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
610
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
608
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
609
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
610
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
611 611

  
612 612
   
613 613
   
614
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
615
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
614
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
615
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
616 616
         then 
617
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
617
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
618 618
                  then 1
619
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
620
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
619
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
620
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
621 621

  
622 622
   
623 623
   
624
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
625
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
624
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
625
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
626 626
         then 
627
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
627
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
628 628
                  then 
629 629
                        
630 630
                        1
631
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
632
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
631
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
632
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
633 633

  
634 634
   
635 635
   
636
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
637
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
636
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
637
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
638 638
         then 
639
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
639
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
640 640
                  then 
641 641
                        
642 642
                        2
643
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
644
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
643
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
644
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
645 645
   
646 646
   
647 647

  
648 648
   
649 649
   
650
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
650
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
651 651
      ((
652
      (if (chart_microwave_mode_logic_clear_off <> 0)
652
      (if (chart_microwave_mode__logic_clear_off <> 0)
653 653
         then true
654 654
         else false) or 
655 655
      (not 
656
      (if (chart_microwave_mode_logic_door_closed <> 0)
656
      (if (chart_microwave_mode__logic_door_closed <> 0)
657 657
         then true
658 658
         else false))) and 
659
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
660
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
659
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
660
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
661 661

  
662 662
   
663 663
   
664
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
665
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
664
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
665
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
666 666
         then 
667
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
667
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
668 668
                  then 
669 669
                        
670 670
                        1
671
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
672
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
671
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
672
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
673 673

  
674 674
   
675 675
   
676
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
677
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
676
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
677
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
678 678
         then 
679
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
679
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
680 680
                  then 2
681
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
682
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
681
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
682
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
683 683

  
684
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
684
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
685 685
      (if (not 
686 686
         
687
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
688
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
687
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
688
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
689 689
         then 
690 690
               
691 691
               1
692
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
692
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
693 693

  
694 694
   
695 695
   
696
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
696
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
697 697
      
698
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
699
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
698
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
699
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
700 700
      
701 701
      
702
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
703
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
702
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
703
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
704 704

  
705 705
   
706 706
   
707
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
707
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
708 708
      (
709 709
      
710
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
711
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
710
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
711
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
712 712
      
713
      (if (chart_microwave_mode_logic_door_closed <> 0)
713
      (if (chart_microwave_mode__logic_door_closed <> 0)
714 714
         then true
715 715
         else false)));
716 716

  
717 717
   
718 718
   
719
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
720
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
719
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
720
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
721 721
         then 
722
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
722
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
723 723
                  then 
724 724
                        
725 725
                        2
726
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
727
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
726
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
727
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
728 728
   
729 729
   
730 730

  
731 731
   
732 732
   
733
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
734
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
733
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
734
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
735 735
         then 
736
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
736
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
737 737
                  then 2
738
                  else chart_microwave_mode_logic_begin_state_outports_mode)
739
         else chart_microwave_mode_logic_begin_state_outports_mode);
738
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
739
         else chart_microwave_mode__logic_begin_state_outports_mode_);
740 740
   
741 741
   
742 742

  
743 743
   
744 744
   
745
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
745
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
746 746
      (
747 747
      
748
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
749
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
750
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
748
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
749
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
750
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
751 751

  
752 752
   
753 753
   
754
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
755
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
754
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
755
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
756 756
         then 
757
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
757
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
758 758
                  then 
759 759
                        
760 760
                        3
761
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
762
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
761
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
762
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
763 763
   
764 764
   
765 765

  
766 766
   
767 767
   
768
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
769
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
768
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
769
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
770 770
         then 
771 771
               
772 772
               4
773
         else chart_microwave_mode_logic_begin_state_states___root);
773
         else chart_microwave_mode__logic_begin_state_states___root);
774 774
   
775 775
   
776 776

  
777
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
777
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
778 778

  
779 779

  
780 780
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1173 1173
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1174 1174

  
1175 1175
   SETUP = 
1176
      (if (1 = microwave_microwave_mode_logic_mode)
1176
      (if (1 = microwave_microwave_mode__logic_mode_)
1177 1177
         then true
1178 1178
         else false);
1179 1179

  
1180 1180
   enable = (true -> 
1181
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1181
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1182 1182
         then true
1183 1183
         else false));
1184 1184

  

Also available in: Unified diff