Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_collapse_int_test / sum_collapse_int_test.lus @ 6c3ea955

History | View | Annotate | Download (1.99 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node sum_collapse_int_test (In9_1_1 : int; In10_1_1 : int; In11_1_1 : int; In11_1_2 : int; In11_1_3 : int; In12_1_1 : int; In12_1_2 : int; In12_1_3 : int; In13_1_1 : int; In13_1_2 : int; In13_1_3 : int; In13_1_4 : int; In13_1_5 : int; In13_1_6 : int; In14_1_1 : int; In14_1_2 : int; In14_1_3 : int; In14_1_4 : int; In14_1_5 : int; In14_1_6 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In15_1_4 : int; In15_1_5 : int; In15_1_6 : int; In16_1_1 : int; In16_1_2 : int; In16_1_3 : int; In16_1_4 : int; In16_1_5 : int; In16_1_6 : int)
6
returns (Out9_1_1 : int;
7
	Out10_2_1 : int;
8
	Out11_3_1 : int;
9
	Out12_4_1 : int;
10
	Out13_5_1 : int; Out13_5_2 : int; Out13_5_3 : int;
11
	Out14_6_1 : int; Out14_6_2 : int; Out14_6_3 : int;
12
	Out15_7_1 : int; Out15_7_2 : int;
13
	Out16_8_1 : int; Out16_8_2 : int); 
14
var
15
	Sum10_1_1 : int; Sum10_1_2 : int; Sum10_1_3 : int;
16
	Sum11_1_1 : int; Sum11_1_2 : int; Sum11_1_3 : int;
17
	Sum12_1_1 : int; Sum12_1_2 : int;
18
	Sum13_1_1 : int; Sum13_1_2 : int;
19
	Sum18_1_1 : int;
20
	Sum19_1_1 : int;
21
	Sum8_1_1 : int;
22
	Sum9_1_1 : int;
23
	i_virtual_local : real;
24
let 
25
	Sum10_1_1 = In13_1_1 + In13_1_4;
26
	Sum10_1_2 = In13_1_2 + In13_1_5;
27
	Sum10_1_3 = In13_1_3 + In13_1_6;
28
	Sum11_1_1 =  - In14_1_1 - In14_1_4;
29
	Sum11_1_2 =  - In14_1_2 - In14_1_5;
30
	Sum11_1_3 =  - In14_1_3 - In14_1_6;
31
	Sum12_1_1 = In15_1_1 + In15_1_2 + In15_1_3;
32
	Sum12_1_2 = In15_1_4 + In15_1_5 + In15_1_6;
33
	Sum13_1_1 =  - In16_1_1 - In16_1_2 - In16_1_3;
34
	Sum13_1_2 =  - In16_1_4 - In16_1_5 - In16_1_6;
35
	Sum18_1_1 = In11_1_1 + In11_1_2 + In11_1_3;
36
	Sum19_1_1 =  - In12_1_1 - In12_1_2 - In12_1_3;
37
	Sum8_1_1 = In9_1_1;
38
	Sum9_1_1 =  - In10_1_1;
39
	Out9_1_1 = Sum8_1_1;
40
	Out10_2_1 = Sum9_1_1;
41
	Out11_3_1 = Sum18_1_1;
42
	Out12_4_1 = Sum19_1_1;
43
	Out13_5_1 = Sum10_1_1;
44
	Out13_5_2 = Sum10_1_2;
45
	Out13_5_3 = Sum10_1_3;
46
	Out14_6_1 = Sum11_1_1;
47
	Out14_6_2 = Sum11_1_2;
48
	Out14_6_3 = Sum11_1_3;
49
	Out15_7_1 = Sum12_1_1;
50
	Out15_7_2 = Sum12_1_2;
51
	Out16_8_1 = Sum13_1_1;
52
	Out16_8_2 = Sum13_1_2;
53
	i_virtual_local= 0.0 -> 1.0;
54
tel
55