Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_test / sum_test.lus @ 6c3ea955

History | View | Annotate | Download (2.98 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node sum_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In5_1_5 : real; In5_1_6 : real; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real; In6_1_4 : real; In6_1_5 : real; In6_1_6 : real; In7_1_1 : int; In8_1_1 : int; In9_1_1 : int; In9_1_2 : int; In9_1_3 : int; In10_1_1 : int; In10_1_2 : int; In10_1_3 : int; In11_1_1 : int; In11_1_2 : int; In11_1_3 : int; In11_1_4 : int; In11_1_5 : int; In11_1_6 : int; In12_1_1 : int; In12_1_2 : int; In12_1_3 : int; In12_1_4 : int; In12_1_5 : int; In12_1_6 : int; In13_1_1 : int; In14_1_1 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In16_1_1 : int; In16_1_2 : int; In16_1_3 : int; In17_1_1 : int; In17_1_2 : int; In17_1_3 : int; In17_1_4 : int; In17_1_5 : int; In17_1_6 : int; In18_1_1 : int; In18_1_2 : int; In18_1_3 : int; In18_1_4 : int; In18_1_5 : int; In18_1_6 : int)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : real;
8
	Out3_3_1 : real;
9
	Out4_4_1 : real;
10
	Out5_5_1 : real;
11
	Out6_6_1 : real;
12
	Out7_7_1 : int;
13
	Out8_8_1 : int;
14
	Out9_9_1 : int;
15
	Out10_10_1 : int;
16
	Out11_11_1 : int;
17
	Out12_12_1 : int;
18
	Out13_13_1 : int;
19
	Out14_14_1 : int;
20
	Out15_15_1 : int;
21
	Out16_16_1 : int;
22
	Out17_17_1 : int;
23
	Out18_18_1 : int); 
24
var
25
	Sum_1_1 : real;
26
	Sum1_1_1 : real;
27
	Sum10_1_1 : int;
28
	Sum11_1_1 : int;
29
	Sum12_1_1 : int;
30
	Sum13_1_1 : int;
31
	Sum14_1_1 : int;
32
	Sum15_1_1 : int;
33
	Sum16_1_1 : int;
34
	Sum17_1_1 : int;
35
	Sum2_1_1 : real;
36
	Sum3_1_1 : real;
37
	Sum4_1_1 : real;
38
	Sum5_1_1 : real;
39
	Sum6_1_1 : int;
40
	Sum7_1_1 : int;
41
	Sum8_1_1 : int;
42
	Sum9_1_1 : int;
43
	i_virtual_local : real;
44
let 
45
	Sum_1_1 = In1_1_1;
46
	Sum1_1_1 =  - In2_1_1;
47
	Sum10_1_1 = In11_1_1 + In11_1_2 + In11_1_3 + In11_1_4 + In11_1_5 + In11_1_6;
48
	Sum11_1_1 =  - In12_1_1 - In12_1_2 - In12_1_3 - In12_1_4 - In12_1_5 - In12_1_6;
49
	Sum12_1_1 = In17_1_1 + In17_1_2 + In17_1_3 + In17_1_4 + In17_1_5 + In17_1_6;
50
	Sum13_1_1 =  - In18_1_1 - In18_1_2 - In18_1_3 - In18_1_4 - In18_1_5 - In18_1_6;
51
	Sum14_1_1 = In13_1_1;
52
	Sum15_1_1 =  - In14_1_1;
53
	Sum16_1_1 = In15_1_1 + In15_1_2 + In15_1_3;
54
	Sum17_1_1 =  - In16_1_1 - In16_1_2 - In16_1_3;
55
	Sum2_1_1 = In3_1_1 + In3_1_2 + In3_1_3;
56
	Sum3_1_1 =  - In4_1_1 - In4_1_2 - In4_1_3;
57
	Sum4_1_1 = In5_1_1 + In5_1_2 + In5_1_3 + In5_1_4 + In5_1_5 + In5_1_6;
58
	Sum5_1_1 =  - In6_1_1 - In6_1_2 - In6_1_3 - In6_1_4 - In6_1_5 - In6_1_6;
59
	Sum6_1_1 = In7_1_1;
60
	Sum7_1_1 =  - In8_1_1;
61
	Sum8_1_1 = In9_1_1 + In9_1_2 + In9_1_3;
62
	Sum9_1_1 =  - In10_1_1 - In10_1_2 - In10_1_3;
63
	Out1_1_1 = Sum_1_1;
64
	Out2_2_1 = Sum1_1_1;
65
	Out3_3_1 = Sum2_1_1;
66
	Out4_4_1 = Sum3_1_1;
67
	Out5_5_1 = Sum4_1_1;
68
	Out6_6_1 = Sum5_1_1;
69
	Out7_7_1 = Sum6_1_1;
70
	Out8_8_1 = Sum7_1_1;
71
	Out9_9_1 = Sum8_1_1;
72
	Out10_10_1 = Sum9_1_1;
73
	Out11_11_1 = Sum10_1_1;
74
	Out12_12_1 = Sum11_1_1;
75
	Out13_13_1 = Sum14_1_1;
76
	Out14_14_1 = Sum15_1_1;
77
	Out15_15_1 = Sum16_1_1;
78
	Out16_16_1 = Sum17_1_1;
79
	Out17_17_1 = Sum12_1_1;
80
	Out18_18_1 = Sum13_1_1;
81
	i_virtual_local= 0.0 -> 1.0;
82
tel
83