Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / 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