lustrectests / regression_tests / lustre_files / success / Stateflow / src_Flowchart9 / Flowchart9.lus @ eb639349
History  View  Annotate  Download (12.5 KB)
1 
 This file has been generated by cocoSim 

2  
3  
4 
 System nodes 
5  
6  
7  
8  
9  
10 
node TOP_B__To__Flowchart9_Flowchart9Junction867_1_Condition_Action(y_1:int) 
11  
12 
returns (y:int); 
13  
14  
15 
var y_2:int; 
16  
17  
18 
let 
19  
20  
21  
22 
y_2 
23 
= y_1 + 1; 
24 

25  
26 
(y) 
27 
= (y_2); 
28 

29  
30 
tel 
31  
32  
33  
34  
35  
36  
37  
38  
39 
node TOP_A__To__Flowchart9_Flowchart9Junction865_1_Condition_Action(x_1:int) 
40  
41 
returns (x:int); 
42  
43  
44 
var x_2:int; 
45  
46  
47 
let 
48  
49  
50  
51 
x_2 
52 
= x_1 + 1; 
53 

54  
55 
(x) 
56 
= (x_2); 
57 

58  
59 
tel 
60  
61  
62  
63  
64  
65  
66 
 Entry action for state :TOP_A 
67 
node TOP_A_en(idTOP_A_1:int; 
68 
idFlowchart9_TOP_1:int; 
69 
isInner:bool) 
70  
71 
returns (idTOP_A:int; 
72 
idFlowchart9_TOP:int); 
73  
74  
75 
var idTOP_A_2:int; 
76 
idFlowchart9_TOP_2:int; 
77  
78  
79 
let 
80  
81  
82  
83 
 set state as active 
84 
idFlowchart9_TOP_2 
85 
= 862; 
86 

87  
88 
 case of state without states but contains transitions 
89 
idTOP_A_2 
90 
= 1; 
91 

92  
93 
(idTOP_A, idFlowchart9_TOP) 
94 
= (idTOP_A_2, idFlowchart9_TOP_2); 
95 

96  
97 
tel 
98  
99  
100  
101  
102  
103 
 Exit action for state :TOP_A 
104 
node TOP_A_ex(idFlowchart9_TOP_1:int; 
105 
isInner:bool) 
106  
107 
returns (idFlowchart9_TOP:int); 
108  
109  
110 
var idFlowchart9_TOP_2:int; 
111  
112  
113 
let 
114  
115  
116  
117 
 set state as inactive 
118 
idFlowchart9_TOP_2 
119 
= if (not isInner) then 0 else idFlowchart9_TOP_1; 
120  
121  
122 
(idFlowchart9_TOP) 
123 
= (idFlowchart9_TOP_1); 
124 

125  
126 
tel 
127  
128  
129  
130  
131  
132 
During action for state :TOP_A 
133 
node TOP_A_du(x_1:int) 
134  
135 
returns (x:int); 
136  
137  
138  
139  
140 
let 
141  
142  
143  
144 
automaton top_a_INNER 
145  
146 
state POINTTOP_A_INNER: 
147 
unless true restart TOP_A__TO__FLOWCHART9_FLOWCHART9JUNCTION865_1 
148  
149  
150  
151 
let 
152  
153 
(x) 
154 
= (x_1); 
155 

156  
157 
tel 
158  
159  
160  
161 
state TOP_A__TO__FLOWCHART9_FLOWCHART9JUNCTION865_1: 
162  
163 
var x_2:int; 
164 
let 
165  
166 
 transition trace : 
167 
TOP_A__To__Junction865_1 
168 
 condition Action : x++ 
169 

170 
(x_2) 
171 
= TOP_A__To__Flowchart9_Flowchart9Junction865_1_Condition_Action(x_1); 
172 

173  
174 
(x) 
175 
= (x_2); 
176  
177  
178 
tel 
179  
180 
until true restart POINTTOP_A_INNER 
181  
182  
183  
184 
tel 
185  
186  
187  
188  
189  
190  
191 
 Entry action for state :TOP_B 
192 
node TOP_B_en(idTOP_B_1:int; 
193 
idFlowchart9_TOP_1:int; 
194 
isInner:bool) 
195  
196 
returns (idTOP_B:int; 
197 
idFlowchart9_TOP:int); 
198  
199  
200 
var idTOP_B_2:int; 
201 
idFlowchart9_TOP_2:int; 
202  
203  
204 
let 
205  
206  
207  
208 
 set state as active 
209 
idFlowchart9_TOP_2 
210 
= 863; 
211 

212  
213 
 case of state without states but contains transitions 
214 
idTOP_B_2 
215 
= 1; 
216 

217  
218 
(idTOP_B, idFlowchart9_TOP) 
219 
= (idTOP_B_2, idFlowchart9_TOP_2); 
220 

221  
222 
tel 
223  
224  
225  
226  
227  
228 
 Exit action for state :TOP_B 
229 
node TOP_B_ex(idFlowchart9_TOP_1:int; 
230 
isInner:bool) 
231  
232 
returns (idFlowchart9_TOP:int); 
233  
234  
235 
var idFlowchart9_TOP_2:int; 
236  
237  
238 
let 
239  
240  
241  
242 
 set state as inactive 
243 
idFlowchart9_TOP_2 
244 
= if (not isInner) then 0 else idFlowchart9_TOP_1; 
245  
246  
247 
(idFlowchart9_TOP) 
248 
= (idFlowchart9_TOP_1); 
249 

250  
251 
tel 
252  
253  
254  
255  
256  
257 
During action for state :TOP_B 
258 
node TOP_B_du(y_1:int) 
259  
260 
returns (y:int); 
261  
262  
263  
264  
265 
let 
266  
267  
268  
269 
automaton top_b_INNER 
270  
271 
state POINTTOP_B_INNER: 
272 
unless true restart TOP_B__TO__FLOWCHART9_FLOWCHART9JUNCTION867_1 
273  
274  
275  
276 
let 
277  
278 
(y) 
279 
= (y_1); 
280 

281  
282 
tel 
283  
284  
285  
286 
state TOP_B__TO__FLOWCHART9_FLOWCHART9JUNCTION867_1: 
287  
288 
var y_2:int; 
289 
let 
290  
291 
 transition trace : 
292 
TOP_B__To__Junction867_1 
293 
 condition Action : y++ 
294 

295 
(y_2) 
296 
= TOP_B__To__Flowchart9_Flowchart9Junction867_1_Condition_Action(y_1); 
297 

298  
299 
(y) 
300 
= (y_2); 
301  
302  
303 
tel 
304  
305 
until true restart POINTTOP_B_INNER 
306  
307  
308  
309 
tel 
310  
311  
312  
313  
314  
315  
316 
 Entry action for state :Flowchart9_TOP 
317 
node Flowchart9_TOP_en(idFlowchart9_TOP_1:int; 
318 
idFlowchart9_Flowchart9_1:int; 
319 
idTOP_A_1:int; 
320 
idTOP_B_1:int; 
321 
isInner:bool) 
322  
323 
returns (idFlowchart9_TOP:int; 
324 
idFlowchart9_Flowchart9:int; 
325 
idTOP_A:int; 
326 
idTOP_B:int); 
327  
328  
329 
var idFlowchart9_TOP_2, idFlowchart9_TOP_3, idFlowchart9_TOP_4, idFlowchart9_TOP_5, idFlowchart9_TOP_6:int; 
330 
idFlowchart9_Flowchart9_2, idFlowchart9_Flowchart9_3, idFlowchart9_Flowchart9_4:int; 
331 
idTOP_A_2, idTOP_A_3, idTOP_A_4, idTOP_A_5:int; 
332 
idTOP_B_2, idTOP_B_3:int; 
333  
334  
335 
let 
336  
337  
338  
339 
 set state as active 
340 
idFlowchart9_Flowchart9_2 
341 
= 864; 
342 

343  
344 

345 
 transition trace : 
346 
POINT__To__TOP_A_1 
347 
(idTOP_A_2, idFlowchart9_TOP_2) 
348 
= TOP_A_en(idTOP_A_1, idFlowchart9_TOP_1, false); 
349 

350  
351 
(idFlowchart9_TOP_3, idFlowchart9_Flowchart9_3, idTOP_A_3) 
352 
= 
353  
354 
if ( idFlowchart9_TOP_1 = 0) then 
355  
356 
(idFlowchart9_TOP_2, idFlowchart9_Flowchart9_2, idTOP_A_2) 
357  
358 
else(idFlowchart9_TOP_1, idFlowchart9_Flowchart9_2, idTOP_A_1); 
359  
360 

361  
362 
(idTOP_A_4, idFlowchart9_TOP_4) 
363 
= 
364 
if ( idFlowchart9_TOP_1 = 862) then 
365 
TOP_A_en(idTOP_A_1, idFlowchart9_TOP_1, false) 
366 
else (idTOP_A_1, idFlowchart9_TOP_1); 
367  
368 

369  
370 
(idTOP_B_2, idFlowchart9_TOP_5) 
371 
= 
372 
if ( idFlowchart9_TOP_1 = 863) then 
373 
TOP_B_en(idTOP_B_1, idFlowchart9_TOP_1, false) 
374 
else (idTOP_B_1, idFlowchart9_TOP_1); 
375  
376 

377  
378 
(idFlowchart9_TOP_6, idFlowchart9_Flowchart9_4, idTOP_A_5, idTOP_B_3) 
379 
= 
380 
if ( idFlowchart9_TOP_1 = 0) then 
381 
(idFlowchart9_TOP_3, idFlowchart9_Flowchart9_3, idTOP_A_3, idTOP_B_1) 
382 
else 
383 
if ( idFlowchart9_TOP_1 = 862) then 
384 
(idFlowchart9_TOP_4, idFlowchart9_Flowchart9_3, idTOP_A_4, idTOP_B_1) 
385 
else 
386 
if ( idFlowchart9_TOP_1 = 863) then 
387 
(idFlowchart9_TOP_5, idFlowchart9_Flowchart9_3, idTOP_A_1, idTOP_B_2) 
388 
else (idFlowchart9_TOP_1, idFlowchart9_Flowchart9_2, idTOP_A_1, idTOP_B_1); 
389  
390  
391 
(idFlowchart9_TOP, idFlowchart9_Flowchart9, idTOP_A, idTOP_B) 
392 
= (idFlowchart9_TOP_6, idFlowchart9_Flowchart9_4, idTOP_A_5, idTOP_B_3); 
393 

394  
395 
tel 
396  
397  
398  
399  
400  
401 
 Exit action for state :Flowchart9_TOP 
402 
node Flowchart9_TOP_ex(idFlowchart9_TOP_1:int; 
403 
idFlowchart9_Flowchart9_1:int; 
404 
isInner:bool) 
405  
406 
returns (idFlowchart9_TOP:int; 
407 
idFlowchart9_Flowchart9:int); 
408  
409  
410 
var idFlowchart9_TOP_2, idFlowchart9_TOP_3, idFlowchart9_TOP_4, idFlowchart9_TOP_5:int; 
411 
idFlowchart9_Flowchart9_2:int; 
412  
413  
414 
let 
415  
416  
417  
418 

419 
(idFlowchart9_TOP_2) 
420 
= 
421 
if ( idFlowchart9_TOP_1 = 862) then 
422 
TOP_A_ex(idFlowchart9_TOP_1, false) 
423 
else (idFlowchart9_TOP_1); 
424  
425 

426  
427 
(idFlowchart9_TOP_3) 
428 
= 
429 
if ( idFlowchart9_TOP_1 = 863) then 
430 
TOP_B_ex(idFlowchart9_TOP_1, false) 
431 
else (idFlowchart9_TOP_1); 
432  
433 

434  
435 
(idFlowchart9_TOP_4) 
436 
= 
437 
if ( idFlowchart9_TOP_1 = 862) then 
438 
(idFlowchart9_TOP_2) 
439 
else 
440 
if ( idFlowchart9_TOP_1 = 863) then 
441 
(idFlowchart9_TOP_3) 
442 
else (idFlowchart9_TOP_1); 
443  
444  
445 
 set state as inactive 
446 
idFlowchart9_Flowchart9_2 
447 
= if (not isInner) then 0 else idFlowchart9_Flowchart9_1; 
448  
449 
idFlowchart9_TOP_5 
450 
= 0; 
451 

452  
453 
(idFlowchart9_TOP, idFlowchart9_Flowchart9) 
454 
= (idFlowchart9_TOP_5, idFlowchart9_Flowchart9_1); 
455 

456  
457 
tel 
458  
459  
460 
***************************************************State :TOP_A Automaton*************************************************** 
461  
462 
node TOP_A_node(idTOP_A_1:int) 
463  
464 
returns (idTOP_A:int); 
465  
466  
467 
let 
468  
469 
automaton top_a 
470  
471 
state POINTTOP_A: 
472 
let 
473  
474 
(idTOP_A) 
475 
= (idTOP_A_1); 
476 

477  
478 
tel 
479  
480  
481  
482 
tel 
483  
484  
485 
***************************************************State :TOP_B Automaton*************************************************** 
486  
487 
node TOP_B_node(idTOP_B_1:int) 
488  
489 
returns (idTOP_B:int); 
490  
491  
492 
let 
493  
494 
automaton top_b 
495  
496 
state POINTTOP_B: 
497 
let 
498  
499 
(idTOP_B) 
500 
= (idTOP_B_1); 
501 

502  
503 
tel 
504  
505  
506  
507 
tel 
508  
509  
510 
***************************************************State :Flowchart9_TOP Automaton*************************************************** 
511  
512 
node Flowchart9_TOP_node(idFlowchart9_TOP_1:int; 
513 
idTOP_A_1:int; 
514 
E:bool; 
515 
idTOP_B_1:int; 
516 
x_1:int; 
517 
y_1:int) 
518  
519 
returns (idFlowchart9_TOP:int; 
520 
idTOP_A:int; 
521 
idTOP_B:int; 
522 
x:int; 
523 
y:int); 
524  
525  
526 
let 
527  
528 
automaton flowchart9_top 
529  
530 
state POINTFlowchart9_TOP: 
531 
unless (idFlowchart9_TOP_1=0) restart POINT__TO__TOP_A_1 
532  
533  
534  
535 
unless (idFlowchart9_TOP_1=862) and E restart TOP_A__TO__TOP_B_1 
536  
537  
538  
539 
unless (idFlowchart9_TOP_1=863) and E restart TOP_B__TO__TOP_A_1 
540  
541  
542  
543 
unless (idFlowchart9_TOP_1=862) restart TOP_A_IDL 
544  
545 
unless (idFlowchart9_TOP_1=863) restart TOP_B_IDL 
546  
547 
let 
548  
549 
(idFlowchart9_TOP, idTOP_A, idTOP_B, x, y) 
550 
= (idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_1, x_1, y_1); 
551 

552  
553 
tel 
554  
555  
556  
557 
state POINT__TO__TOP_A_1: 
558  
559 
var idFlowchart9_TOP_2:int; 
560 
idTOP_A_2:int; 
561 
let 
562  
563 
 transition trace : 
564 
POINT__To__TOP_A_1 
565 
(idTOP_A_2, idFlowchart9_TOP_2) 
566 
= TOP_A_en(idTOP_A_1, idFlowchart9_TOP_1, false); 
567 

568  
569 
(idFlowchart9_TOP, idTOP_A) 
570 
= (idFlowchart9_TOP_2, idTOP_A_2); 
571  
572 
add unused variables 
573 
(idTOP_B, x, y) 
574 
= (idTOP_B_1, x_1, y_1); 
575 

576  
577 
tel 
578  
579 
until true restart POINTFlowchart9_TOP 
580  
581  
582  
583 
state TOP_A__TO__TOP_B_1: 
584  
585 
var idFlowchart9_TOP_2, idFlowchart9_TOP_3:int; 
586 
idTOP_B_2:int; 
587 
let 
588  
589 
 transition trace : 
590 
TOP_A__To__TOP_B_1 
591 
(idFlowchart9_TOP_2) 
592 
= TOP_A_ex(idFlowchart9_TOP_1, false); 
593 

594  
595 
(idTOP_B_2, idFlowchart9_TOP_3) 
596 
= TOP_B_en(idTOP_B_1, idFlowchart9_TOP_2, false); 
597 

598  
599 
(idFlowchart9_TOP, idTOP_A, idTOP_B) 
600 
= (idFlowchart9_TOP_3, idTOP_A_1, idTOP_B_2); 
601  
602 
add unused variables 
603 
(x, y) 
604 
= (x_1, y_1); 
605 

606  
607 
tel 
608  
609 
until true restart POINTFlowchart9_TOP 
610  
611  
612  
613 
state TOP_B__TO__TOP_A_1: 
614  
615 
var idFlowchart9_TOP_2, idFlowchart9_TOP_3:int; 
616 
idTOP_A_2:int; 
617 
let 
618  
619 
 transition trace : 
620 
TOP_B__To__TOP_A_1 
621 
(idFlowchart9_TOP_2) 
622 
= TOP_B_ex(idFlowchart9_TOP_1, false); 
623 

624  
625 
(idTOP_A_2, idFlowchart9_TOP_3) 
626 
= TOP_A_en(idTOP_A_1, idFlowchart9_TOP_2, false); 
627 

628  
629 
(idFlowchart9_TOP, idTOP_A, idTOP_B) 
630 
= (idFlowchart9_TOP_3, idTOP_A_2, idTOP_B_1); 
631  
632 
add unused variables 
633 
(x, y) 
634 
= (x_1, y_1); 
635 

636  
637 
tel 
638  
639 
until true restart POINTFlowchart9_TOP 
640  
641  
642  
643 
state TOP_A_IDL: 
644  
645 
var idTOP_A_2:int; 
646 
x_2:int; 
647 
let 
648  
649 

650 
(x_2) 
651 
= TOP_A_du(x_1); 
652  
653 

654  
655 
(idTOP_A_2) 
656 
= TOP_A_node(idTOP_A_1); 
657  
658 

659  
660  
661 
(idFlowchart9_TOP, idTOP_A, idTOP_B, x) 
662 
= (idFlowchart9_TOP_1, idTOP_A_2, idTOP_B_1, x_2); 
663 

664 
add unused variables 
665 
(y) 
666 
= (y_1); 
667 

668  
669 
tel 
670  
671 
until true restart POINTFlowchart9_TOP 
672  
673  
674  
675 
state TOP_B_IDL: 
676  
677 
var idTOP_B_2:int; 
678 
y_2:int; 
679 
let 
680  
681 

682 
(y_2) 
683 
= TOP_B_du(y_1); 
684  
685 

686  
687 
(idTOP_B_2) 
688 
= TOP_B_node(idTOP_B_1); 
689  
690 

691  
692  
693 
(idFlowchart9_TOP, idTOP_A, idTOP_B, x, y) 
694 
= (idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_2, x_1, y_2); 
695 

696  
697 
tel 
698  
699 
until true restart POINTFlowchart9_TOP 
700  
701  
702  
703 
tel 
704  
705  
706 
***************************************************State :Flowchart9_Flowchart9 Automaton*************************************************** 
707  
708 
node Flowchart9_Flowchart9_node(idFlowchart9_Flowchart9_1:int; 
709 
idFlowchart9_TOP_1:int; 
710 
idTOP_A_1:int; 
711 
idTOP_B_1:int; 
712 
E:bool; 
713 
x_1:int; 
714 
y_1:int) 
715  
716 
returns (idFlowchart9_Flowchart9:int; 
717 
idFlowchart9_TOP:int; 
718 
idTOP_A:int; 
719 
idTOP_B:int; 
720 
x:int; 
721 
y:int); 
722  
723  
724 
let 
725  
726 
automaton flowchart9_flowchart9 
727  
728 
state POINTFlowchart9_Flowchart9: 
729 
unless (idFlowchart9_Flowchart9_1=0) restart POINT__TO__FLOWCHART9_TOP_1 
730  
731  
732  
733 
unless true restart FLOWCHART9_FLOWCHART9_PARALLEL_IDL 
734  
735 
let 
736  
737 
(idFlowchart9_Flowchart9, idFlowchart9_TOP, idTOP_A, idTOP_B, x, y) 
738 
= (idFlowchart9_Flowchart9_1, idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_1, x_1, y_1); 
739 

740  
741 
tel 
742  
743  
744  
745 
state POINT__TO__FLOWCHART9_TOP_1: 
746  
747 
var idFlowchart9_Flowchart9_2:int; 
748 
idFlowchart9_TOP_2:int; 
749 
idTOP_A_2:int; 
750 
idTOP_B_2:int; 
751 
let 
752  
753 
 transition trace : 
754 
POINT__To__Flowchart9_TOP_1 
755 
(idFlowchart9_TOP_2, idFlowchart9_Flowchart9_2, idTOP_A_2, idTOP_B_2) 
756 
= Flowchart9_TOP_en(idFlowchart9_TOP_1, idFlowchart9_Flowchart9_1, idTOP_A_1, idTOP_B_1, false); 
757 

758  
759 
(idFlowchart9_Flowchart9, idFlowchart9_TOP, idTOP_A, idTOP_B) 
760 
= (idFlowchart9_Flowchart9_2, idFlowchart9_TOP_2, idTOP_A_2, idTOP_B_2); 
761  
762 
add unused variables 
763 
(x, y) 
764 
= (x_1, y_1); 
765 

766  
767 
tel 
768  
769 
until true restart POINTFlowchart9_Flowchart9 
770  
771  
772  
773 
state FLOWCHART9_FLOWCHART9_PARALLEL_IDL: 
774  
775 
var idFlowchart9_TOP_2:int; 
776 
idTOP_A_2:int; 
777 
idTOP_B_2:int; 
778 
x_2:int; 
779 
y_2:int; 
780 
let 
781  
782 

783  
784 
(idFlowchart9_TOP_2, idTOP_A_2, idTOP_B_2, x_2, y_2) 
785 
= if not (idFlowchart9_TOP_1= 0 ) then Flowchart9_TOP_node(idFlowchart9_TOP_1, idTOP_A_1, E, idTOP_B_1, x_1, y_1) 
786  
787 
else (idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_1, x_1, y_1); 
788  
789 

790  
791 

792  
793 
(idFlowchart9_Flowchart9, idFlowchart9_TOP, idTOP_A, idTOP_B, x, y) 
794 
= (idFlowchart9_Flowchart9_1, idFlowchart9_TOP_2, idTOP_A_2, idTOP_B_2, x_2, y_2); 
795 

796  
797 
tel 
798  
799 
until true restart POINTFlowchart9_Flowchart9 
800  
801  
802  
803 
tel 
804  
805  
806 
***************************************************State :Flowchart9_Flowchart9 Automaton*************************************************** 
807  
808 
node Flowchart9_Flowchart9(E:bool) 
809  
810 
returns (x:int; 
811 
y:int); 
812  
813  
814 
var x_1: int; 
815  
816 
y_1: int; 
817  
818 
idFlowchart9_Flowchart9, idFlowchart9_Flowchart9_1: int; 
819  
820 
idTOP_A, idTOP_A_1: int; 
821  
822 
idTOP_B, idTOP_B_1: int; 
823  
824 
idFlowchart9_TOP, idFlowchart9_TOP_1: int; 
825  
826 
let 
827  
828 
x_1 = 0 > pre x; 
829  
830 
y_1 = 0 > pre y; 
831  
832 
idFlowchart9_Flowchart9_1 = 0 > pre idFlowchart9_Flowchart9; 
833  
834 
idTOP_A_1 = 0 > pre idTOP_A; 
835  
836 
idTOP_B_1 = 0 > pre idTOP_B; 
837  
838 
idFlowchart9_TOP_1 = 0 > pre idFlowchart9_TOP; 
839  
840 

841  
842  
843  
844 
(idFlowchart9_Flowchart9, idFlowchart9_TOP, idTOP_A, idTOP_B, x, y) 
845 
= 
846  
847 
if E then Flowchart9_Flowchart9_node(idFlowchart9_Flowchart9_1, idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_1, E, x_1, y_1) 
848  
849 
else (idFlowchart9_Flowchart9_1, idFlowchart9_TOP_1, idTOP_A_1, idTOP_B_1, x_1, y_1); 
850  
851 

852  
853  
854 
unused outputs 
855 

856  
857 
tel 
858  
859  
860  
861 
node Flowchart9 (In1_1_1 : real) 
862 
returns (Out1_1_1 : int; 
863 
Out2_2_1 : int); 
864 
var 
865 
Flowchart9_1_1 : int; Flowchart9_2_1 : int; 
866 
i_virtual_local : real; 
867 
Flowchart9In1_1_1_event: bool; 
868 
let 
869 
Flowchart9In1_1_1_event = false > ((pre(In1_1_1) > 0.0 and In1_1_1 <= 0.0) or (pre(In1_1_1) <= 0.0 and In1_1_1 > 0.0)); 
870 
(Flowchart9_1_1, Flowchart9_2_1) = Flowchart9_Flowchart9(Flowchart9In1_1_1_event); 
871 
Out1_1_1 = Flowchart9_1_1; 
872 
Out2_2_1 = Flowchart9_2_1; 
873 
i_virtual_local= 0.0 > 1.0; 
874 
tel 
875 