Revision 9b45f3df regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lus
regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lus  

73  73  
74  74 
 Entry action for state :RUNNING_COOKING 
75  75 
node RUNNING_COOKING_en(idMode_logic_RUNNING_1:int; 
76 
mode_1:int; 

76 
mode__1:int;


77  77 
isInner:bool) 
78  78  
79  79 
returns (idMode_logic_RUNNING:int; 
80 
mode:int); 

80 
mode_:int);


81  81  
82  82  
83  83 
var idMode_logic_RUNNING_2:int; 
84 
mode_2:int; 

84 
mode__2:int;


85  85  
86  86  
87  87 
let 
...  ...  
93  93 
= 1332; 
94  94 

95  95  
96 
mode_2 

96 
mode__2


97  97 
= if (not isInner) then 2 
98 
else mode_1; 

98 
else mode__1;


99  99 

100  100  
101 
(idMode_logic_RUNNING, mode) 

102 
= (idMode_logic_RUNNING_2, mode_2); 

101 
(idMode_logic_RUNNING, mode_)


102 
= (idMode_logic_RUNNING_2, mode__2);


103  103 

104  104  
105  105 
tel 
...  ...  
140  140  
141  141 
 Entry action for state :RUNNING_SUSPENDED 
142  142 
node RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1:int; 
143 
mode_1:int; 

143 
mode__1:int;


144  144 
isInner:bool) 
145  145  
146  146 
returns (idMode_logic_RUNNING:int; 
147 
mode:int); 

147 
mode_:int);


148  148  
149  149  
150  150 
var idMode_logic_RUNNING_2:int; 
151 
mode_2:int; 

151 
mode__2:int;


152  152  
153  153  
154  154 
let 
...  ...  
160  160 
= 1333; 
161  161 

162  162  
163 
mode_2 

163 
mode__2


164  164 
= if (not isInner) then 3 
165 
else mode_1; 

165 
else mode__1;


166  166 

167  167  
168 
(idMode_logic_RUNNING, mode) 

169 
= (idMode_logic_RUNNING_2, mode_2); 

168 
(idMode_logic_RUNNING, mode_)


169 
= (idMode_logic_RUNNING_2, mode__2);


170  170 

171  171  
172  172 
tel 
...  ...  
209  209 
node Mode_logic_RUNNING_en(idMode_logic_RUNNING_1:int; 
210  210 
idMode_logic_Mode_logic_1:int; 
211  211 
door_closed:bool; 
212 
mode_1:int; 

212 
mode__1:int;


213  213 
isInner:bool) 
214  214  
215  215 
returns (idMode_logic_RUNNING:int; 
216  216 
idMode_logic_Mode_logic:int; 
217 
mode:int); 

217 
mode_:int);


218  218  
219  219  
220  220 
var idMode_logic_RUNNING_2, idMode_logic_RUNNING_3, idMode_logic_RUNNING_4, idMode_logic_RUNNING_5, idMode_logic_RUNNING_6, idMode_logic_RUNNING_7:int; 
221  221 
idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3, idMode_logic_Mode_logic_4:int; 
222 
mode_2, mode_3, mode_4, mode_5, mode_6, mode_7:int;


222 
mode__2, mode__3, mode__4, mode__5, mode__6, mode__7:int;


223  223  
224  224  
225  225 
let 
...  ...  
236  236  
237  237 
 transition trace : 
238  238 
POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1 
239 
(idMode_logic_RUNNING_2, mode_2) 

239 
(idMode_logic_RUNNING_2, mode__2)


240  240 
= 
241  241 
if (( door_closed )) then 
242 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false) 

243 
else (idMode_logic_RUNNING_1, mode_1); 

242 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)


243 
else (idMode_logic_RUNNING_1, mode__1);


244  244 

245  245  
246  246  
247  247 
 transition trace : 
248  248 
POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2 
249 
(idMode_logic_RUNNING_3, mode_3) 

250 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false); 

249 
(idMode_logic_RUNNING_3, mode__3)


250 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);


251  251 

252  252  
253 
(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4) 

253 
(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4)


254  254 
= 
255  255  
256  256 
if ( idMode_logic_RUNNING_1 = 0) then 
257  257  
258  258 

259  259 
if (( door_closed )) then 
260 
(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode_2) 

261 
else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode_3) 

260 
(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode__2)


261 
else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode__3)


262  262  
263 
else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1); 

263 
else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);


264  264  
265  265 

266  266  
267 
(idMode_logic_RUNNING_5, mode_5) 

267 
(idMode_logic_RUNNING_5, mode__5)


268  268 
= 
269  269 
if ( idMode_logic_RUNNING_1 = 1332) then 
270 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false) 

271 
else (idMode_logic_RUNNING_1, mode_1); 

270 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)


271 
else (idMode_logic_RUNNING_1, mode__1);


272  272  
273  273 

274  274  
275 
(idMode_logic_RUNNING_6, mode_6) 

275 
(idMode_logic_RUNNING_6, mode__6)


276  276 
= 
277  277 
if ( idMode_logic_RUNNING_1 = 1333) then 
278 
RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false) 

279 
else (idMode_logic_RUNNING_1, mode_1); 

278 
RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false)


279 
else (idMode_logic_RUNNING_1, mode__1);


280  280  
281  281 

282  282  
283 
(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7) 

283 
(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7)


284  284 
= 
285  285 
if ( idMode_logic_RUNNING_1 = 0) then 
286 
(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4) 

286 
(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4)


287  287 
else 
288  288 
if ( idMode_logic_RUNNING_1 = 1332) then 
289 
(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode_5) 

289 
(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode__5)


290  290 
else 
291  291 
if ( idMode_logic_RUNNING_1 = 1333) then 
292 
(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode_6) 

293 
else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1); 

292 
(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode__6)


293 
else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);


294  294  
295  295  
296 
(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode) 

297 
= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7); 

296 
(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode_)


297 
= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7);


298  298 

299  299  
300  300 
tel 
...  ...  
368  368  
369  369 
 Entry action for state :Mode_logic_SETUP 
370  370 
node Mode_logic_SETUP_en(idMode_logic_Mode_logic_1:int; 
371 
mode_1:int; 

371 
mode__1:int;


372  372 
steps_to_cook:int; 
373  373 
steps_remaining_1:int; 
374  374 
isInner:bool) 
375  375  
376  376 
returns (idMode_logic_Mode_logic:int; 
377 
mode:int; 

377 
mode_:int;


378  378 
steps_remaining:int); 
379  379  
380  380  
381  381 
var idMode_logic_Mode_logic_2:int; 
382 
mode_2:int; 

382 
mode__2:int;


383  383 
steps_remaining_2:int; 
384  384  
385  385  
...  ...  
392  392 
= 1331; 
393  393 

394  394  
395 
mode_2 

395 
mode__2


396  396 
= if (not isInner) then 1 
397 
else mode_1; 

397 
else mode__1;


398  398 

399  399  
400  400 
steps_remaining_2 
...  ...  
402  402 
else steps_remaining_1; 
403  403 

404  404  
405 
(idMode_logic_Mode_logic, mode, steps_remaining) 

406 
= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2); 

405 
(idMode_logic_Mode_logic, mode_, steps_remaining)


406 
= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);


407  407 

408  408  
409  409 
tel 
...  ...  
442  442  
443  443 
node Mode_logic_RUNNING_node(idMode_logic_RUNNING_1:int; 
444  444 
door_closed:bool; 
445 
mode_1:int; 

445 
mode__1:int;


446  446 
steps_remaining_1:int; 
447  447 
clear:bool; 
448  448 
idMode_logic_Mode_logic_1:int; 
...  ...  
450  450 
start:bool) 
451  451  
452  452 
returns (idMode_logic_RUNNING:int; 
453 
mode:int; 

453 
mode_:int;


454  454 
steps_remaining:int; 
455  455 
idMode_logic_Mode_logic:int); 
456  456  
457  457  
458  458 
let 
459  459  
460 
automaton mode_logic_running 

460 
automaton mode__logic_running


461  461  
462  462 
state POINTMode_logic_RUNNING: 
463  463 
unless (idMode_logic_RUNNING_1=0) restart POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1 
...  ...  
486  486  
487  487 
let 
488  488  
489 
(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 

490 
= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1); 

489 
(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic)


490 
= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);


491  491 

492  492  
493  493 
tel 
...  ...  
497  497 
state POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1: 
498  498  
499  499 
var idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int; 
500 
mode_2, mode_3:int;


500 
mode__2, mode__3:int;


501  501 
let 
502  502  
503  503 

504  504  
505  505 
 transition trace : 
506  506 
POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1 
507 
(idMode_logic_RUNNING_2, mode_2) 

507 
(idMode_logic_RUNNING_2, mode__2)


508  508 
= 
509  509 
if (( door_closed )) then 
510 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false) 

511 
else (idMode_logic_RUNNING_1, mode_1); 

510 
RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)


511 
else (idMode_logic_RUNNING_1, mode__1);


512  512 

513  513  
514  514  
515  515 
 transition trace : 
516  516 
POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2 
517 
(idMode_logic_RUNNING_3, mode_3) 

518 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false); 

517 
(idMode_logic_RUNNING_3, mode__3)


518 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);


519  519 

520  520  
521 
(idMode_logic_RUNNING, mode) 

521 
(idMode_logic_RUNNING, mode_)


522  522 
= 
523  523 
if (( door_closed )) then 
524 
(idMode_logic_RUNNING_2, mode_2) 

525 
else (idMode_logic_RUNNING_3, mode_3); 

524 
(idMode_logic_RUNNING_2, mode__2)


525 
else (idMode_logic_RUNNING_3, mode__3);


526  526  
527  527 
add unused variables 
528  528 
(idMode_logic_Mode_logic, steps_remaining) 
...  ...  
538  538 
state RUNNING_COOKING__TO__RUNNING_COOKING_1: 
539  539  
540  540 
var idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int; 
541 
mode_2:int; 

541 
mode__2:int;


542  542 
steps_remaining_2:int; 
543  543 
let 
544  544  
...  ...  
552  552 
= RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action(steps_remaining_1); 
553  553 

554  554  
555 
(idMode_logic_RUNNING_3, mode_2) 

556 
= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false); 

555 
(idMode_logic_RUNNING_3, mode__2)


556 
= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);


557  557 

558  558  
559 
(idMode_logic_RUNNING, mode, steps_remaining) 

560 
= (idMode_logic_RUNNING_3, mode_2, steps_remaining_2); 

559 
(idMode_logic_RUNNING, mode_, steps_remaining)


560 
= (idMode_logic_RUNNING_3, mode__2, steps_remaining_2);


561  561  
562  562 
add unused variables 
563  563 
(idMode_logic_Mode_logic) 
...  ...  
573  573 
state RUNNING_COOKING__TO__RUNNING_SUSPENDED_2: 
574  574  
575  575 
var idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int; 
576 
mode_2:int; 

576 
mode__2:int;


577  577 
let 
578  578  
579  579 
 transition trace : 
...  ...  
582  582 
= RUNNING_COOKING_ex(idMode_logic_RUNNING_1, false); 
583  583 

584  584  
585 
(idMode_logic_RUNNING_3, mode_2) 

586 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode_1, false); 

585 
(idMode_logic_RUNNING_3, mode__2)


586 
= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode__1, false);


587  587 

588  588  
589 
(idMode_logic_RUNNING, mode, steps_remaining) 

590 
= (idMode_logic_RUNNING_3, mode_2, steps_remaining_1); 

589 
(idMode_logic_RUNNING, mode_, steps_remaining)


590 
= (idMode_logic_RUNNING_3, mode__2, steps_remaining_1);


591  591  
592  592 
add unused variables 
593  593 
(idMode_logic_Mode_logic) 
...  ...  
603  603 
state RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1: 
604  604  
605  605 
var idMode_logic_RUNNING_2:int; 
606 
mode_2:int; 

606 
mode__2:int;


607  607 
steps_remaining_2:int; 
608  608 
idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int; 
609  609 
let 
...  ...  
616  616 
= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false); 
617  617 

618  618  
619 
(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 

620 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false); 

619 
(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2)


620 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);


621  621 

622  622  
623 
(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 

624 
= (idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_3); 

623 
(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic)


624 
= (idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_3);


625  625  
626  626  
627  627 
tel 
...  ...  
633  633 
state RUNNING_SUSPENDED__TO__RUNNING_COOKING_2: 
634  634  
635  635 
var idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int; 
636 
mode_2:int; 

636 
mode__2:int;


637  637 
let 
638  638  
639  639 
 transition trace : 
...  ...  
642  642 
= RUNNING_SUSPENDED_ex(idMode_logic_RUNNING_1, false); 
643  643 

644  644  
645 
(idMode_logic_RUNNING_3, mode_2) 

646 
= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false); 

645 
(idMode_logic_RUNNING_3, mode__2)


646 
= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);


647  647 

648  648  
649 
(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 

650 
= (idMode_logic_RUNNING_3, mode_2, steps_remaining_1, idMode_logic_Mode_logic_1); 

649 
(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic)


650 
= (idMode_logic_RUNNING_3, mode__2, steps_remaining_1, idMode_logic_Mode_logic_1);


651  651  
652  652  
653  653 
tel 
...  ...  
662  662  
663  663 

664  664  
665 
(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 

666 
= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1); 

665 
(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic)


666 
= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);


667  667 

668  668  
669  669 
tel 
...  ...  
678  678  
679  679 

680  680  
681 
(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 

682 
= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1); 

681 
(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic)


682 
= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);


683  683 

684  684  
685  685 
tel 
...  ...  
694  694 
***************************************************State :Mode_logic_Mode_logic Automaton*************************************************** 
695  695  
696  696 
node Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1:int; 
697 
mode_1:int; 

697 
mode__1:int;


698  698 
steps_remaining_1:int; 
699  699 
steps_to_cook:int; 
700  700 
start:bool; 
...  ...  
703  703 
clear:bool) 
704  704  
705  705 
returns (idMode_logic_Mode_logic:int; 
706 
mode:int; 

706 
mode_:int;


707  707 
steps_remaining:int; 
708  708 
idMode_logic_RUNNING:int); 
709  709  
710  710  
711  711 
let 
712  712  
713 
automaton mode_logic_mode_logic


713 
automaton mode__logic_mode__logic


714  714  
715  715 
state POINTMode_logic_Mode_logic: 
716  716 
unless (idMode_logic_Mode_logic_1=0) restart POINT__TO__MODE_LOGIC_SETUP_1 
...  ...  
731  731  
732  732 
let 
733  733  
734 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

735 
= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1); 

734 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


735 
= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);


736  736 

737  737  
738  738 
tel 
...  ...  
742  742 
state POINT__TO__MODE_LOGIC_SETUP_1: 
743  743  
744  744 
var idMode_logic_Mode_logic_2:int; 
745 
mode_2:int; 

745 
mode__2:int;


746  746 
steps_remaining_2:int; 
747  747 
let 
748  748  
749  749 
 transition trace : 
750  750 
POINT__To__Mode_logic_SETUP_1 
751 
(idMode_logic_Mode_logic_2, mode_2, steps_remaining_2) 

752 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode_1, steps_to_cook, steps_remaining_1, false); 

751 
(idMode_logic_Mode_logic_2, mode__2, steps_remaining_2)


752 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode__1, steps_to_cook, steps_remaining_1, false);


753  753 

754  754  
755 
(idMode_logic_Mode_logic, mode, steps_remaining) 

756 
= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2); 

755 
(idMode_logic_Mode_logic, mode_, steps_remaining)


756 
= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);


757  757  
758  758 
add unused variables 
759  759 
(idMode_logic_RUNNING) 
...  ...  
769  769 
state MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1: 
770  770  
771  771 
var idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int; 
772 
mode_2:int; 

772 
mode__2:int;


773  773 
steps_remaining_2:int; 
774  774 
idMode_logic_RUNNING_2:int; 
775  775 
let 
...  ...  
791  791 
else (idMode_logic_Mode_logic_1); 
792  792 

793  793  
794 
(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode_2) 

794 
(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode__2)


795  795 
= 
796  796 
if (( start and steps_remaining_2 >0 )) then 
797 
Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode_1, false) 

798 
else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1); 

797 
Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode__1, false)


798 
else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);


799  799 

800  800  
801 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

801 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


802  802 
= 
803  803 
if (( start and steps_remaining_2 >0 )) then 
804 
(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2) 

805 
else (idMode_logic_Mode_logic_1, mode_1, steps_remaining_2, idMode_logic_RUNNING_1); 

804 
(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2)


805 
else (idMode_logic_Mode_logic_1, mode__1, steps_remaining_2, idMode_logic_RUNNING_1);


806  806  
807  807  
808  808 
tel 
...  ...  
814  814 
state MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1: 
815  815  
816  816 
var idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int; 
817 
mode_2:int; 

817 
mode__2:int;


818  818 
steps_remaining_2:int; 
819  819 
idMode_logic_RUNNING_2:int; 
820  820 
let 
...  ...  
827  827 
= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false); 
828  828 

829  829  
830 
(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 

831 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false); 

830 
(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2)


831 
= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);


832  832 

833  833  
834 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

835 
= (idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2); 

834 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


835 
= (idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);


836  836  
837  837  
838  838 
tel 
...  ...  
847  847  
848  848 

849  849  
850 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

851 
= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1); 

850 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


851 
= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);


852  852 

853  853  
854  854 
tel 
...  ...  
860  860 
state MODE_LOGIC_RUNNING_IDL: 
861  861  
862  862 
var idMode_logic_Mode_logic_2:int; 
863 
mode_2:int; 

863 
mode__2:int;


864  864 
steps_remaining_2:int; 
865  865 
idMode_logic_RUNNING_2:int; 
866  866 
let 
867  867  
868  868 

869 
(idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_2) 

870 
= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode_1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start); 

869 
(idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_2)


870 
= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode__1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start);


871  871  
872  872 

873  873  
874  874  
875 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

876 
= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2, idMode_logic_RUNNING_2); 

875 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


876 
= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);


877  877 

878  878  
879  879 
tel 
...  ...  
892  892 
steps_to_cook:int; 
893  893 
door_closed:bool) 
894  894  
895 
returns (mode:int; 

895 
returns (mode_:int;


896  896 
steps_remaining:int); 
897  897  
898  898  
899 
var mode_1: int; 

899 
var mode__1: int;


900  900  
901  901 
steps_remaining_1: int; 
902  902  
...  ...  
906  906  
907  907 
let 
908  908  
909 
mode_1 = 0 > pre mode;


909 
mode__1 = 0 > pre mode_;


910  910  
911  911 
steps_remaining_1 = 0 > pre steps_remaining; 
912  912  
...  ...  
918  918  
919  919  
920  920  
921 
(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 

922 
= Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear); 

921 
(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)


922 
= Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear);


923  923  
924  924  
925  925 
unused outputs 
...  ...  
930  930  
931  931  
932  932 
node Microwave (start_1_1 : bool; clear_1_1 : bool; steps_to_cook_1_1 : int; door_closed_1_1 : bool) 
933 
returns (mode_1_1 : int; 

933 
returns (mode__1_1 : int;


934  934 
steps_remaining_2_1 : int); 
935  935 
var 
936  936 
Mode_logic_1_1 : int; Mode_logic_2_1 : int; 
937  937 
i_virtual_local : real; 
938  938 
let 
939  939 
(Mode_logic_1_1, Mode_logic_2_1) = Microwave_Mode_logic(start_1_1, clear_1_1, steps_to_cook_1_1, door_closed_1_1); 
940 
mode_1_1 = Mode_logic_1_1; 

940 
mode__1_1 = Mode_logic_1_1;


941  941 
steps_remaining_2_1 = Mode_logic_2_1; 
942  942 
i_virtual_local= 0.0 > 1.0; 
943  943 
tel 
Also available in: Unified diff