Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave37.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; 
......
216 216
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
217 217
      (not (pre KP_CLEAR))));
218 218

  
219
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
219
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
220 220

  
221
   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));
221
   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));
222 222

  
223 223
   SUSPENDED = 
224
      (if (3 = microwave_microwave_mode_logic_mode)
224
      (if (3 = microwave_microwave_mode__logic_mode_)
225 225
         then true
226 226
         else false);
227 227

  
......
257 257

  
258 258

  
259 259

  
260
   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);
260
   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);
261 261

  
262 262
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
263 263

  
......
267 267

  
268 268

  
269 269
   COOKING = 
270
      (if (2 = microwave_microwave_mode_logic_mode)
270
      (if (2 = microwave_microwave_mode__logic_mode_)
271 271
         then true
272 272
         else false);
273 273

  
......
276 276
   START_PRESSED = (KP_START -> (KP_START and 
277 277
      (not (pre KP_START))));
278 278

  
279
   chart_microwave_mode_logic_start = 
279
   chart_microwave_mode__logic_start = 
280 280
      (if (START_PRESSED = false)
281 281
         then 0
282 282
         else 1);
283 283

  
284
   chart_microwave_mode_logic_clear_off = 
284
   chart_microwave_mode__logic_clear_off = 
285 285
      (if (CLEAR_PRESSED = false)
286 286
         then 0
287 287
         else 1);
288 288

  
289
   chart_microwave_mode_logic_door_closed = 
289
   chart_microwave_mode__logic_door_closed = 
290 290
      (if (DOOR_CLOSED = false)
291 291
         then 0
292 292
         else 1);
293 293

  
294
   chart_microwave_mode_logic____wakeup___ = true;
294
   chart_microwave_mode__logic____wakeup___ = true;
295 295

  
296
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
297
      (if (pre chart_microwave_mode_logic____wakeup___)
296
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
297
      (if (pre chart_microwave_mode__logic____wakeup___)
298 298
         then false
299
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
299
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
300 300

  
301
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
301
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
302 302

  
303
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
303
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
304 304

  
305
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
305
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
306 306

  
307
   chart_microwave_mode_logic_final_state_states___root = 
308
      (if chart_microwave_mode_logic____wakeup___
307
   chart_microwave_mode__logic_final_state_states___root = 
308
      (if chart_microwave_mode__logic____wakeup___
309 309
         then 
310
               (if chart_microwave_mode_logic_rlt_evtInitStep
311
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
310
               (if chart_microwave_mode__logic_rlt_evtInitStep
311
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
312 312
                  else 
313
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
313
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
314 314
                  
315 315
                  
316
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
317
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
316
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
317
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
318 318
                  then 
319
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
319
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
320 320
                           then 
321
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
321
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
322 322
                                    then 
323 323
                                          
324 324
                                          3
325
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
326
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
327
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
328
         else chart_microwave_mode_logic_begin_state_states___root);
325
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
326
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
327
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
328
         else chart_microwave_mode__logic_begin_state_states___root);
329 329

  
330
   chart_microwave_mode_logic_mode = 
331
      (if chart_microwave_mode_logic____wakeup___
330
   chart_microwave_mode__logic_mode_ = 
331
      (if chart_microwave_mode__logic____wakeup___
332 332
         then 
333
               (if chart_microwave_mode_logic_rlt_evtInitStep
333
               (if chart_microwave_mode__logic_rlt_evtInitStep
334 334
                  then 
335
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
335
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
336 336
                           then 1
337
                           else chart_microwave_mode_logic_begin_state_outports_mode)
337
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
338 338
                  else 
339
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
339
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
340 340
                  
341 341
                  
342
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
343
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
342
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
343
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
344 344
                  then 
345
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
345
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
346 346
                           then 
347
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
347
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
348 348
                                    then 3
349
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
350
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
351
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
352
         else chart_microwave_mode_logic_begin_state_outports_mode);
349
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
350
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
351
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
352
         else chart_microwave_mode__logic_begin_state_outports_mode_);
353 353

  
354
   chart_microwave_mode_logic_steps_remaining = 
355
      (if chart_microwave_mode_logic____wakeup___
354
   chart_microwave_mode__logic_steps_remaining = 
355
      (if chart_microwave_mode__logic____wakeup___
356 356
         then 
357
               (if chart_microwave_mode_logic_rlt_evtInitStep
358
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
357
               (if chart_microwave_mode__logic_rlt_evtInitStep
358
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
359 359
                  else 
360
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
360
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
361 361
                  
362 362
                  
363
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
364
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
363
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
364
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
365 365
                  then 
366
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
367
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
368
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
369
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
370
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
366
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
367
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
368
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
369
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
370
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
371 371

  
372 372
   
373 373
   
374
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
374
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
375 375

  
376 376
   
377 377
   
378
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
379
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
378
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
379
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
380 380
         then STEPS_TO_COOK
381
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
381
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
382 382

  
383 383
   
384 384
   
385
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
386
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
385
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
386
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
387 387
      (
388
      (if (chart_microwave_mode_logic_start <> 0)
388
      (if (chart_microwave_mode__logic_start <> 0)
389 389
         then true
390 390
         else false) and 
391 391
      
......
398 398

  
399 399
   
400 400
   
401
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
402
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
401
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
402
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
403 403
         then 
404
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
404
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
405 405
                  then 
406 406
                        
407 407
                        0
408
                  else chart_microwave_mode_logic_begin_state_states___root)
409
         else chart_microwave_mode_logic_begin_state_states___root);
408
                  else chart_microwave_mode__logic_begin_state_states___root)
409
         else chart_microwave_mode__logic_begin_state_states___root);
410 410

  
411 411
   
412 412
   
413
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
414
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
415
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
416
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
413
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
414
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
415
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
416
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
417 417
   
418 418
   
419 419

  
420 420
   
421 421
   
422
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
423
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
422
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
423
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
424 424
         then 
425
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
425
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
426 426
                  then 
427
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
427
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
428 428
                           then 3
429
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
430
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
431
         else chart_microwave_mode_logic_begin_state_outports_mode);
429
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
430
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
431
         else chart_microwave_mode__logic_begin_state_outports_mode_);
432 432
   
433 433
   
434 434

  
435 435
   
436 436
   
437
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
438
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
439
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
437
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
438
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
439
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
440 440

  
441 441
   
442 442
   
443
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
444
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
443
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
444
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
445 445
         then 
446 446
               (if 
447 447
                  
448
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
449
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
448
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
449
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
450 450
                  then 
451 451
                        
452 452
                        0
453
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
454
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
453
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
454
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
455 455

  
456 456
   
457 457
   
458
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
459
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
458
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
459
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
460 460
         then 
461
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
461
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
462 462
                  then 
463 463
                        
464 464
                        4
465
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
466
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
465
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
466
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
467 467
   
468 468
   
469 469

  
470 470
   
471 471
   
472
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
472
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
473 473
      ((
474
      (if (chart_microwave_mode_logic_start <> 0)
474
      (if (chart_microwave_mode__logic_start <> 0)
475 475
         then true
476 476
         else false) and 
477 477
      
478
      (if (chart_microwave_mode_logic_door_closed <> 0)
478
      (if (chart_microwave_mode__logic_door_closed <> 0)
479 479
         then true
480 480
         else false)) and 
481
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
481
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
482 482

  
483 483
   
484 484
   
485
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
486
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
485
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
486
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
487 487

  
488 488
   
489 489
   
490
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
491
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
490
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
491
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
492 492
         then 
493
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
493
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
494 494
                  then 
495 495
                        
496 496
                        1
497
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
498
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
497
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
498
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
499 499

  
500 500
   
501 501
   
502
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
503
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
502
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
503
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
504 504
         then 
505
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
505
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
506 506
                  then 1
507
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
508
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
507
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
508
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
509 509

  
510 510
   
511 511
   
512
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
513
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
512
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
513
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
514 514
         then 
515
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
515
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
516 516
                  then 
517 517
                        
518 518
                        2
519
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
520
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
519
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
520
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
521 521
   
522 522
   
523 523

  
524 524
   
525 525
   
526
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
527
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
526
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
527
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
528 528
         then 
529
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
529
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
530 530
                  then 2
531
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
532
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
531
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
532
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
533 533
   
534 534
   
535 535

  
536 536
   
537 537
   
538
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
538
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
539 539
      (
540
      (if (chart_microwave_mode_logic_clear_off <> 0)
540
      (if (chart_microwave_mode__logic_clear_off <> 0)
541 541
         then true
542 542
         else false) and 
543
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
544
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
545
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
543
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
544
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
545
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
546 546

  
547 547
   
548 548
   
549
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
550
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
549
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
550
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
551 551

  
552 552
   
553 553
   
554
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
555
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
554
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
555
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
556 556
         then 
557 557
               (if 
558 558
                  
559
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
560
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
559
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
560
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
561 561
                  then 
562 562
                        
563 563
                        0
564
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
565
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
564
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
565
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
566 566

  
567 567
   
568 568
   
569
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
570
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
569
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
570
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
571 571
         then 0
572
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
572
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
573 573

  
574 574
   
575 575
   
576
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
577
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
576
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
577
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
578 578
         then 
579
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
579
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
580 580
                  then 
581 581
                        
582 582
                        4
583
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
584
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
583
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
584
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
585 585
   
586 586
   
587 587

  
588 588
   
589 589
   
590
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
591
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
592
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
590
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
591
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
592
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
593 593

  
594 594
   
595 595
   
596
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
597
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
596
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
597
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
598 598
         then 
599
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
599
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
600 600
                  then 1
601
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
602
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
601
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
602
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
603 603

  
604 604
   
605 605
   
606
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
607
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
606
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
607
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
608 608
         then 
609
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
609
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
610 610
                  then 
611 611
                        
612 612
                        1
613
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
614
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
613
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
614
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
615 615

  
616 616
   
617 617
   
618
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
619
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
618
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
619
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
620 620
         then 
621
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
621
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
622 622
                  then 
623 623
                        
624 624
                        2
625
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
626
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
625
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
626
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
627 627
   
628 628
   
629 629

  
630 630
   
631 631
   
632
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
632
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
633 633
      ((
634
      (if (chart_microwave_mode_logic_clear_off <> 0)
634
      (if (chart_microwave_mode__logic_clear_off <> 0)
635 635
         then true
636 636
         else false) or 
637 637
      (not 
638
      (if (chart_microwave_mode_logic_door_closed <> 0)
638
      (if (chart_microwave_mode__logic_door_closed <> 0)
639 639
         then true
640 640
         else false))) and 
641
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
642
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
641
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
642
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
643 643

  
644 644
   
645 645
   
646
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
647
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
646
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
647
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
648 648
         then 
649
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
649
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
650 650
                  then 
651 651
                        
652 652
                        1
653
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
654
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
653
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
654
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
655 655

  
656 656
   
657 657
   
658
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
659
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
658
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
659
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
660 660
         then 
661
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
661
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
662 662
                  then 2
663
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
664
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
663
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
664
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
665 665

  
666
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
666
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
667 667
      (if (not 
668 668
         
669
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
670
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
669
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
670
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
671 671
         then 
672 672
               
673 673
               1
674
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
674
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
675 675

  
676 676
   
677 677
   
678
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
678
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
679 679
      
680
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
681
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
680
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
681
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
682 682
      
683 683
      
684
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
685
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
684
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
685
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
686 686

  
687 687
   
688 688
   
689
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
689
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
690 690
      (
691 691
      
692
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
693
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
692
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
693
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
694 694
      
695
      (if (chart_microwave_mode_logic_door_closed <> 0)
695
      (if (chart_microwave_mode__logic_door_closed <> 0)
696 696
         then true
697 697
         else false)));
698 698

  
699 699
   
700 700
   
701
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
702
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
701
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
702
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
703 703
         then 
704
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
704
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
705 705
                  then 
706 706
                        
707 707
                        2
708
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
709
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
708
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
709
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
710 710
   
711 711
   
712 712

  
713 713
   
714 714
   
715
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
716
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
715
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
716
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
717 717
         then 
718
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
718
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
719 719
                  then 2
720
                  else chart_microwave_mode_logic_begin_state_outports_mode)
721
         else chart_microwave_mode_logic_begin_state_outports_mode);
720
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
721
         else chart_microwave_mode__logic_begin_state_outports_mode_);
722 722
   
723 723
   
724 724

  
725 725
   
726 726
   
727
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
727
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
728 728
      (
729 729
      
730
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
731
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
732
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
730
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
731
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
732
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
733 733

  
734 734
   
735 735
   
736
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
737
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
736
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
737
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
738 738
         then 
739
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
739
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
740 740
                  then 
741 741
                        
742 742
                        3
743
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
744
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
743
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
744
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
745 745
   
746 746
   
747 747

  
748 748
   
749 749
   
750
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
751
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
750
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
751
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
752 752
         then 
753 753
               
754 754
               4
755
         else chart_microwave_mode_logic_begin_state_states___root);
755
         else chart_microwave_mode__logic_begin_state_states___root);
756 756
   
757 757
   
758 758

  
759
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
759
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
760 760

  
761 761

  
762 762
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1155 1155
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1156 1156

  
1157 1157
   SETUP = 
1158
      (if (1 = microwave_microwave_mode_logic_mode)
1158
      (if (1 = microwave_microwave_mode__logic_mode_)
1159 1159
         then true
1160 1160
         else false);
1161 1161

  
1162 1162
   enable = (true -> 
1163
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1163
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1164 1164
         then true
1165 1165
         else false));
1166 1166

  

Also available in: Unified diff