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

48  48 
rlt__Arrow2: int; 
49  49 
rlt__Arrow1: int; 
50  50 
rlt__Arrow: int; 
51 
chart_microwave_mode_logic_start: int; 

52 
chart_microwave_mode_logic_clear_off: int; 

53 
chart_microwave_mode_logic_door_closed: int; 

54 
chart_microwave_mode_logic____wakeup___: bool; 

55 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 

56 
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 

57 
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 

58 
rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 

59 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 

60 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 

61 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int;


62 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 

63 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int;


64 
rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 

65 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 

66 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 

67 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 

68 
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 

69 
rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 

70 
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int;


71 
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 

72 
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 

73 
rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 

74 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 

75 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int;


76 
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 

77 
rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 

78 
rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 

79 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 

80 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int;


81 
rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 

82 
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 

83 
rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 

84 
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 

85 
rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 

86 
rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 

87 
rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 

88 
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int;


89 
rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 

90 
chart_microwave_mode_logic_rlt_evtInitStep: bool; 

91 
chart_microwave_mode_logic_begin_state_states___root: int; 

92 
chart_microwave_mode_logic_begin_state_outports_mode: int;


93 
chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 

94 
chart_microwave_mode_logic_final_state_states___root: int; 

95 
chart_microwave_mode_logic_mode: int;


96 
chart_microwave_mode_logic_steps_remaining: int; 

51 
chart_microwave_mode__logic_start: int;


52 
chart_microwave_mode__logic_clear_off: int;


53 
chart_microwave_mode__logic_door_closed: int;


54 
chart_microwave_mode__logic____wakeup___: bool;


55 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1: bool;


56 
rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root: int;


57 
rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root: int;


58 
rlt_eval_microwave_mode__logic_ON_rlt_fired_2: bool;


59 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1: bool;


60 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root: int;


61 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_: int;


62 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root: int;


63 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_: int;


64 
rlt_eval_microwave_mode__logic_ON_rlt_fired_4: bool;


65 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2: bool;


66 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root: int;


67 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining: int;


68 
rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root: int;


69 
rlt_eval_microwave_mode__logic_ON_rlt_fired_5: bool;


70 
rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_: int;


71 
rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root: int;


72 
rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root: int;


73 
rlt_eval_microwave_mode__logic_ON_rlt_fired_6: bool;


74 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root: int;


75 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_: int;


76 
rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root: int;


77 
rlt_enter_microwave_mode__logic_ON_rlt_fired_0: bool;


78 
rlt_enter_microwave_mode__logic_ON_rlt_fired_1: bool;


79 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root: int;


80 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_: int;


81 
rlt_enter_microwave_mode__logic_ON_rlt_fired_2: bool;


82 
rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root: int;


83 
rlt_eval_microwave_mode__logic_rlt_fired_0: bool;


84 
rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining: int;


85 
rlt_eval_microwave_mode__logic_rlt_fired_1: bool;


86 
rlt_eval_microwave_mode__logic_rlt_state_2_states___root: int;


87 
rlt_eval_microwave_mode__logic_rlt_state_3_states___root: int;


88 
rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_: int;


89 
rlt_enter_microwave_mode__logic_rlt_state_2_states___root: int;


90 
chart_microwave_mode__logic_rlt_evtInitStep: bool;


91 
chart_microwave_mode__logic_begin_state_states___root: int;


92 
chart_microwave_mode__logic_begin_state_outports_mode_: int;


93 
chart_microwave_mode__logic_begin_state_outports_steps_remaining: int;


94 
chart_microwave_mode__logic_final_state_states___root: int;


95 
chart_microwave_mode__logic_mode_: int;


96 
chart_microwave_mode__logic_steps_remaining: int;


97  97 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98  98 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99  99 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100 
microwave_microwave_mode_logic_mode: int;


100 
microwave_microwave_mode__logic_mode_: int;


101  101 
MWI_FcnMaxI_In16: int; 
102  102 
MWI_FcnMaxI_In15: int; 
103  103 
MWI_FcnMaxI_In13: int; 
...  ...  
238  238 
CLEAR_PRESSED = (KP_CLEAR > (KP_CLEAR and 
239  239 
(not (pre KP_CLEAR)))); 
240  240  
241 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60); 

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


242  242  
243 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1)  (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60))  ((((chart_microwave_mode_logic_steps_remaining div 1)  (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));


243 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1)  (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60))  ((((chart_microwave_mode__logic_steps_remaining div 1)  (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));


244  244  
245  245 
SUSPENDED = 
246 
(if (3 = microwave_microwave_mode_logic_mode)


246 
(if (3 = microwave_microwave_mode__logic_mode_)


247  247 
then true 
248  248 
else false); 
249  249  
...  ...  
292  292  
293  293  
294  294  
295 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1)  (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);


295 
microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode__logic_steps_remaining div 1)  (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10);


296  296  
297  297 
MWI_FcnMaxI_In16 = ((pre rlt__Arrow3)  1); 
298  298  
...  ...  
313  313 
(RIGHT_DIGIT = 3)))); 
314  314  
315  315 
COOKING = 
316 
(if (2 = microwave_microwave_mode_logic_mode)


316 
(if (2 = microwave_microwave_mode__logic_mode_)


317  317 
then true 
318  318 
else false); 
319  319  
...  ...  
322  322 
START_PRESSED = (KP_START > (KP_START and 
323  323 
(not (pre KP_START)))); 
324  324  
325 
chart_microwave_mode_logic_start = 

325 
chart_microwave_mode__logic_start =


326  326 
(if (START_PRESSED = false) 
327  327 
then 0 
328  328 
else 1); 
329  329  
330 
chart_microwave_mode_logic_clear_off = 

330 
chart_microwave_mode__logic_clear_off =


331  331 
(if (CLEAR_PRESSED = false) 
332  332 
then 0 
333  333 
else 1); 
334  334  
335 
chart_microwave_mode_logic_door_closed = 

335 
chart_microwave_mode__logic_door_closed =


336  336 
(if (DOOR_CLOSED = false) 
337  337 
then 0 
338  338 
else 1); 
339  339  
340 
chart_microwave_mode_logic____wakeup___ = true; 

340 
chart_microwave_mode__logic____wakeup___ = true;


341  341  
342 
chart_microwave_mode_logic_rlt_evtInitStep = (true > 

343 
(if (pre chart_microwave_mode_logic____wakeup___) 

342 
chart_microwave_mode__logic_rlt_evtInitStep = (true >


343 
(if (pre chart_microwave_mode__logic____wakeup___)


344  344 
then false 
345 
else (pre chart_microwave_mode_logic_rlt_evtInitStep))); 

345 
else (pre chart_microwave_mode__logic_rlt_evtInitStep)));


346  346  
347 
chart_microwave_mode_logic_begin_state_states___root = (0 > (pre chart_microwave_mode_logic_final_state_states___root));


347 
chart_microwave_mode__logic_begin_state_states___root = (0 > (pre chart_microwave_mode__logic_final_state_states___root));


348  348  
349 
chart_microwave_mode_logic_begin_state_outports_mode = (0 > (pre chart_microwave_mode_logic_mode));


349 
chart_microwave_mode__logic_begin_state_outports_mode_ = (0 > (pre chart_microwave_mode__logic_mode_));


350  350  
351 
chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 > (pre chart_microwave_mode_logic_steps_remaining));


351 
chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 > (pre chart_microwave_mode__logic_steps_remaining));


352  352  
353 
chart_microwave_mode_logic_final_state_states___root = 

354 
(if chart_microwave_mode_logic____wakeup___ 

353 
chart_microwave_mode__logic_final_state_states___root =


354 
(if chart_microwave_mode__logic____wakeup___


355  355 
then 
356 
(if chart_microwave_mode_logic_rlt_evtInitStep 

357 
then rlt_enter_microwave_mode_logic_rlt_state_2_states___root 

356 
(if chart_microwave_mode__logic_rlt_evtInitStep


357 
then rlt_enter_microwave_mode__logic_rlt_state_2_states___root


358  358 
else 
359 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

359 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


360  360 

361  361 

362 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

363 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

362 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


363 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


364  364 
then 
365 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

365 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


366  366 
then 
367 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

367 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


368  368 
then 
369  369 

370  370 
3 
371 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

372 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) 

373 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)) 

374 
else chart_microwave_mode_logic_begin_state_states___root); 

371 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


372 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)


373 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))


374 
else chart_microwave_mode__logic_begin_state_states___root);


375  375  
376 
chart_microwave_mode_logic_mode =


377 
(if chart_microwave_mode_logic____wakeup___ 

376 
chart_microwave_mode__logic_mode_ =


377 
(if chart_microwave_mode__logic____wakeup___


378  378 
then 
379 
(if chart_microwave_mode_logic_rlt_evtInitStep 

379 
(if chart_microwave_mode__logic_rlt_evtInitStep


380  380 
then 
381 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

381 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


382  382 
then 1 
383 
else chart_microwave_mode_logic_begin_state_outports_mode)


383 
else chart_microwave_mode__logic_begin_state_outports_mode_)


384  384 
else 
385 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

385 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


386  386 

387  387 

388 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

389 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

388 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


389 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


390  390 
then 
391 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

391 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


392  392 
then 
393 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) 

393 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))


394  394 
then 3 
395 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


396 
else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)


397 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))


398 
else chart_microwave_mode_logic_begin_state_outports_mode);


395 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


396 
else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)


397 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))


398 
else chart_microwave_mode__logic_begin_state_outports_mode_);


399  399  
400 
chart_microwave_mode_logic_steps_remaining = 

401 
(if chart_microwave_mode_logic____wakeup___ 

400 
chart_microwave_mode__logic_steps_remaining =


401 
(if chart_microwave_mode__logic____wakeup___


402  402 
then 
403 
(if chart_microwave_mode_logic_rlt_evtInitStep 

404 
then chart_microwave_mode_logic_begin_state_outports_steps_remaining 

403 
(if chart_microwave_mode__logic_rlt_evtInitStep


404 
then chart_microwave_mode__logic_begin_state_outports_steps_remaining


405  405 
else 
406 
(if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 

406 
(if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and


407  407 

408  408 

409 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

410 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) 

409 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


410 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))


411  411 
then 
412 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

413 
then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining  1) 

414 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining) 

415 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining)) 

416 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

412 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


413 
then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining  1)


414 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)


415 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))


416 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


417  417  
418  418 

419  419 

420 
rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);


420 
rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);


421  421  
422  422 

423  423 

424 
rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 

425 
(if rlt_eval_microwave_mode_logic_rlt_fired_0 

424 
rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining =


425 
(if rlt_eval_microwave_mode__logic_rlt_fired_0


426  426 
then STEPS_TO_COOK 
427 
else chart_microwave_mode_logic_begin_state_outports_steps_remaining); 

427 
else chart_microwave_mode__logic_begin_state_outports_steps_remaining);


428  428  
429  429 

430  430 

431 
rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and


432 
((chart_microwave_mode_logic_begin_state_states___root = 4) and 

431 
rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and


432 
((chart_microwave_mode__logic_begin_state_states___root = 4) and


433  433 
( 
434 
(if (chart_microwave_mode_logic_start <> 0) 

434 
(if (chart_microwave_mode__logic_start <> 0)


435  435 
then true 
436  436 
else false) and 
437  437 

...  ...  
444  444  
445  445 

446  446 

447 
rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 

448 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

447 
rlt_eval_microwave_mode__logic_rlt_state_2_states___root =


448 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


449  449 
then 
450 
(if (chart_microwave_mode_logic_begin_state_states___root = 4) 

450 
(if (chart_microwave_mode__logic_begin_state_states___root = 4)


451  451 
then 
452  452 

453  453 
0 
454 
else chart_microwave_mode_logic_begin_state_states___root) 

455 
else chart_microwave_mode_logic_begin_state_states___root); 

454 
else chart_microwave_mode__logic_begin_state_states___root)


455 
else chart_microwave_mode__logic_begin_state_states___root);


456  456  
457  457 

458  458 

459 
rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 

460 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

461 
then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root 

462 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

459 
rlt_eval_microwave_mode__logic_rlt_state_3_states___root =


460 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


461 
then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root


462 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


463  463 

464  464 

465  465  
466  466 

467  467 

468 
rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode =


469 
(if rlt_eval_microwave_mode_logic_rlt_fired_1 

468 
rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ =


469 
(if rlt_eval_microwave_mode__logic_rlt_fired_1


470  470 
then 
471 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

471 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


472  472 
then 
473 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

473 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


474  474 
then 3 
475 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


476 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)


477 
else chart_microwave_mode_logic_begin_state_outports_mode);


475 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


476 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)


477 
else chart_microwave_mode__logic_begin_state_outports_mode_);


478  478 

479  479 

480  480  
481  481 

482  482 

483 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and


484 
(rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 

485 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2)); 

483 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and


484 
(rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and


485 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));


486  486  
487  487 

488  488 

489 
rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 

490 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

489 
rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root =


490 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


491  491 
then 
492  492 
(if 
493  493 

494 
((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 

495 
(rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)) 

494 
((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and


495 
(rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))


496  496 
then 
497  497 

498  498 
0 
499 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root) 

500 
else rlt_eval_microwave_mode_logic_rlt_state_3_states___root); 

499 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)


500 
else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);


501  501  
502  502 

503  503 

504 
rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 

505 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

504 
rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root =


505 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


506  506 
then 
507 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

507 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


508  508 
then 
509  509 

510  510 
4 
511 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root) 

512 
else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root); 

511 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)


512 
else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);


513  513 

514  514 

515  515  
516  516 

517  517 

518 
rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and


518 
rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and


519  519 
(( 
520 
(if (chart_microwave_mode_logic_start <> 0) 

520 
(if (chart_microwave_mode__logic_start <> 0)


521  521 
then true 
522  522 
else false) and 
523  523 

524 
(if (chart_microwave_mode_logic_door_closed <> 0) 

524 
(if (chart_microwave_mode__logic_door_closed <> 0)


525  525 
then true 
526  526 
else false)) and 
527 
(not rlt_eval_microwave_mode_logic_ON_rlt_fired_1))); 

527 
(not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));


528  528  
529  529 

530  530 

531 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or


532 
rlt_eval_microwave_mode_logic_ON_rlt_fired_1); 

531 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or


532 
rlt_eval_microwave_mode__logic_ON_rlt_fired_1);


533  533  
534  534 

535  535 

536 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 

537 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

536 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root =


537 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


538  538 
then 
539 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) 

539 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)


540  540 
then 
541  541 

542  542 
1 
543 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root) 

544 
else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root); 

543 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)


544 
else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);


545  545  
546  546 

547  547 

548 
rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode =


549 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_1 

548 
rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ =


549 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_1


550  550 
then 
551 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) 

551 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))


552  552 
then 1 
553 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)


554 
else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);


553 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)


554 
else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);


555  555  
556  556 

557  557 

558 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 

559 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

558 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root =


559 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


560  560 
then 
561 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) 

561 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


562  562 
then 
563  563 

564  564 
2 
565 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root) 

566 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root); 

565 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)


566 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);


567  567 

568  568 

569  569  
570  570 

571  571 

572 
rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode =


573 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_2 

572 
rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ =


573 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_2


574  574 
then 
575 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) 

575 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))


576  576 
then 2 
577 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)


578 
else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);


577 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)


578 
else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);


579  579 

580  580 

581  581  
582  582 

583  583 

584 
rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and


584 
rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


585  585 
( 
586 
(if (chart_microwave_mode_logic_clear_off <> 0) 

586 
(if (chart_microwave_mode__logic_clear_off <> 0)


587  587 
then true 
588  588 
else false) and 
589 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 

590 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 

591 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))); 

589 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and


590 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and


591 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));


592  592  
593  593 

594  594 

595 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or


596 
rlt_eval_microwave_mode_logic_ON_rlt_complete_1); 

595 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or


596 
rlt_eval_microwave_mode__logic_ON_rlt_complete_1);


597  597  
598  598 

599  599 

600 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 

601 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

600 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root =


601 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


602  602 
then 
603  603 
(if 
604  604 

605 
((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 

606 
(rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3)) 

605 
((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and


606 
(rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))


607  607 
then 
608  608 

609  609 
0 
610 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root) 

611 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root); 

610 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)


611 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);


612  612  
613  613 

614  614 

615 
rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 

616 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

615 
rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining =


616 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


617  617 
then 0 
618 
else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining); 

618 
else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);


619  619  
620  620 

621  621 

622 
rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 

623 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

622 
rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root =


623 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


624  624 
then 
625 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

625 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


626  626 
then 
627  627 

628  628 
4 
629 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root) 

630 
else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root); 

629 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)


630 
else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);


631  631 

632  632 

633  633  
634  634 

635  635 

636 
rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and


637 
((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 

638 
(not rlt_eval_microwave_mode_logic_ON_rlt_complete_2))); 

636 
rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and


637 
((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and


638 
(not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));


639  639  
640  640 

641  641 

642 
rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode =


643 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_4 

642 
rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ =


643 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_4


644  644 
then 
645 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) 

645 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))


646  646 
then 1 
647 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)


648 
else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);


647 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)


648 
else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);


649  649  
650  650 

651  651 

652 
rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 

653 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

652 
rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root =


653 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


654  654 
then 
655 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) 

655 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)


656  656 
then 
657  657 

658  658 
1 
659 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root) 

660 
else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root); 

659 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)


660 
else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);


661  661  
662  662 

663  663 

664 
rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 

665 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

664 
rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root =


665 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


666  666 
then 
667 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

667 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


668  668 
then 
669  669 

670  670 
2 
671 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root) 

672 
else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root); 

671 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)


672 
else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);


673  673 

674  674 

675  675  
676  676 

677  677 

678 
rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and


678 
rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and


679  679 
(( 
680 
(if (chart_microwave_mode_logic_clear_off <> 0) 

680 
(if (chart_microwave_mode__logic_clear_off <> 0)


681  681 
then true 
682  682 
else false) or 
683  683 
(not 
684 
(if (chart_microwave_mode_logic_door_closed <> 0) 

684 
(if (chart_microwave_mode__logic_door_closed <> 0)


685  685 
then true 
686  686 
else false))) and 
687 
(not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 

688 
rlt_eval_microwave_mode_logic_ON_rlt_complete_2)))); 

687 
(not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or


688 
rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));


689  689  
690  690 

691  691 

692 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 

693 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_6 

692 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root =


693 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_6


694  694 
then 
695 
(if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) 

695 
(if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)


696  696 
then 
697  697 

698  698 
1 
699 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root) 

700 
else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root); 

699 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)


700 
else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);


701  701  
702  702 

703  703 

704 
rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode =


705 
(if rlt_eval_microwave_mode_logic_ON_rlt_fired_5 

704 
rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ =


705 
(if rlt_eval_microwave_mode__logic_ON_rlt_fired_5


706  706 
then 
707 
(if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) 

707 
(if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))


708  708 
then 2 
709 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)


710 
else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);


709 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)


710 
else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);


711  711  
712 
rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 

712 
rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root =


713  713 
(if (not 
714  714 

715 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

716 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) 

715 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


716 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))


717  717 
then 
718  718 

719  719 
1 
720 
else rlt_eval_microwave_mode_logic_rlt_state_2_states___root); 

720 
else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);


721  721  
722  722 

723  723 

724 
rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 

724 
rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not


725  725 

726 
((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 

727 
(rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 

726 
((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and


727 
(rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and


728  728 

729  729 

730 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

731 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3))); 

730 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


731 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));


732  732  
733  733 

734  734 

735 
rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


735 
rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


736  736 
( 
737  737 

738 
((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 

739 
(rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 

738 
((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and


739 
(rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and


740  740 

741 
(if (chart_microwave_mode_logic_door_closed <> 0) 

741 
(if (chart_microwave_mode__logic_door_closed <> 0)


742  742 
then true 
743  743 
else false))); 
744  744  
745  745 

746  746 

747 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 

748 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

747 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root =


748 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


749  749 
then 
750 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) 

750 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


751  751 
then 
752  752 

753  753 
2 
754 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root) 

755 
else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root); 

754 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)


755 
else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);


756  756 

757  757 

758  758  
759  759 

760  760 

761 
rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode =


762 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_1 

761 
rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ =


762 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_1


763  763 
then 
764 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) 

764 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))


765  765 
then 2 
766 
else chart_microwave_mode_logic_begin_state_outports_mode)


767 
else chart_microwave_mode_logic_begin_state_outports_mode);


766 
else chart_microwave_mode__logic_begin_state_outports_mode_)


767 
else chart_microwave_mode__logic_begin_state_outports_mode_);


768  768 

769  769 

770  770  
771  771 

772  772 

773 
rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and


773 
rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and


774  774 
( 
775  775 

776 
((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 

777 
(rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 

778 
(not rlt_enter_microwave_mode_logic_ON_rlt_fired_1))); 

776 
((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and


777 
(rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and


778 
(not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));


779  779  
780  780 

781  781 

782 
rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 

783 
(if rlt_enter_microwave_mode_logic_ON_rlt_fired_2 

782 
rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root =


783 
(if rlt_enter_microwave_mode__logic_ON_rlt_fired_2


784  784 
then 
785 
(if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) 

785 
(if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))


786  786 
then 
787  787 

788  788 
3 
789 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root) 

790 
else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root); 

789 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)


790 
else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);


791  791 

792  792 

793  793  
794  794 

795  795 

796 
rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 

797 
(if (not (chart_microwave_mode_logic_begin_state_states___root = 4)) 

796 
rlt_enter_microwave_mode__logic_rlt_state_2_states___root =


797 
(if (not (chart_microwave_mode__logic_begin_state_states___root = 4))


798  798 
then 
799  799 

800  800 
4 
801 
else chart_microwave_mode_logic_begin_state_states___root); 

801 
else chart_microwave_mode__logic_begin_state_states___root);


802  802 

803  803 

804  804  
805 
microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;


805 
microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;


806  806  
807  807  
808  808 
MWI_FcnMaxI_In13 = ((pre rlt__Arrow5)  1); 
...  ...  
1201  1201 
else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step)))); 
1202  1202  
1203  1203 
SETUP = 
1204 
(if (1 = microwave_microwave_mode_logic_mode)


1204 
(if (1 = microwave_microwave_mode__logic_mode_)


1205  1205 
then true 
1206  1206 
else false); 
1207  1207  
...  ...  
1222  1222 
(RIGHT_DIGIT = 5)))); 
1223  1223  
1224  1224 
enable = (true > 
1225 
(if (1 = (pre microwave_microwave_mode_logic_mode))


1225 
(if (1 = (pre microwave_microwave_mode__logic_mode_))


1226  1226 
then true 
1227  1227 
else false)); 
1228  1228 
Also available in: Unified diff