Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_product_collapse_test / product_collapse_test.lus @ 6c3ea955

History | View | Annotate | Download (3.36 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node product_collapse_test (In1_1_1 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In3_1_5 : real; In3_1_6 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In7_1_1 : real; In8_1_1 : real; In8_1_2 : real; In8_1_3 : real; In9_1_1 : real; In9_1_2 : real; In9_1_3 : real; In9_1_4 : real; In9_1_5 : real; In9_1_6 : real; In4_1_1 : 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; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In10_1_5 : real; In10_1_6 : real; In11_1_1 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In13_1_1 : real; In13_1_2 : real; In13_1_3 : real; In13_1_4 : real; In13_1_5 : real; In13_1_6 : real; In14_1_1 : real; In14_1_2 : real; In14_1_3 : real; In14_1_4 : real; In14_1_5 : real; In14_1_6 : real)
6
returns (Out1_1_1 : real;
7
	Out3_2_1 : real;
8
	Out2_3_1 : real;
9
	Out7_4_1 : real;
10
	Out8_5_1 : real;
11
	Out9_6_1 : real; Out9_6_2 : real; Out9_6_3 : real;
12
	Out4_7_1 : real;
13
	Out6_8_1 : real;
14
	Out5_9_1 : real;
15
	Out10_10_1 : real; Out10_10_2 : real;
16
	Out11_11_1 : real;
17
	Out12_12_1 : real;
18
	Out13_13_1 : real; Out13_13_2 : real; Out13_13_3 : real;
19
	Out14_14_1 : real; Out14_14_2 : real); 
20
var
21
	Product1_1_1 : real;
22
	Product10_1_1 : real; Product10_1_2 : real;
23
	Product11_1_1 : real; Product11_1_2 : real;
24
	Product12_1_1 : real;
25
	Product13_1_1 : real;
26
	Product14_1_1 : real; Product14_1_2 : real; Product14_1_3 : real;
27
	Product2_1_1 : real;
28
	Product3_1_1 : real;
29
	Product4_1_1 : real;
30
	Product5_1_1 : real;
31
	Product6_1_1 : real;
32
	Product7_1_1 : real;
33
	Product8_1_1 : real;
34
	Product9_1_1 : real; Product9_1_2 : real; Product9_1_3 : real;
35
	i_virtual_local : real;
36
let 
37
	Product1_1_1 = In1_1_1;
38
	Product10_1_1 = In10_1_1 * In10_1_2 * In10_1_3;
39
	Product10_1_2 = In10_1_4 * In10_1_5 * In10_1_6;
40
	Product11_1_1 = (1.0 / In14_1_1) * (1.0 / In14_1_2) * (1.0 / In14_1_3);
41
	Product11_1_2 = (1.0 / In14_1_4) * (1.0 / In14_1_5) * (1.0 / In14_1_6);
42
	Product12_1_1 = (1.0 / In11_1_1);
43
	Product13_1_1 = (1.0 / In12_1_1) * (1.0 / In12_1_2) * (1.0 / In12_1_3);
44
	Product14_1_1 = (1.0 / In13_1_1) * (1.0 / In13_1_4);
45
	Product14_1_2 = (1.0 / In13_1_2) * (1.0 / In13_1_5);
46
	Product14_1_3 = (1.0 / In13_1_3) * (1.0 / In13_1_6);
47
	Product2_1_1 = In2_1_1 * In2_1_2 * In2_1_3;
48
	Product3_1_1 = In3_1_1 * In3_1_2 * In3_1_3 * In3_1_4 * In3_1_5 * In3_1_6;
49
	Product4_1_1 = (1.0 / In4_1_1);
50
	Product5_1_1 = (1.0 / In5_1_1) * (1.0 / In5_1_2) * (1.0 / In5_1_3);
51
	Product6_1_1 = (1.0 / In6_1_1) * (1.0 / In6_1_2) * (1.0 / In6_1_3) * (1.0 / In6_1_4) * (1.0 / In6_1_5) * (1.0 / In6_1_6);
52
	Product7_1_1 = In7_1_1;
53
	Product8_1_1 = In8_1_1 * In8_1_2 * In8_1_3;
54
	Product9_1_1 = In9_1_1 * In9_1_4;
55
	Product9_1_2 = In9_1_2 * In9_1_5;
56
	Product9_1_3 = In9_1_3 * In9_1_6;
57
	Out1_1_1 = Product1_1_1;
58
	Out3_2_1 = Product3_1_1;
59
	Out2_3_1 = Product2_1_1;
60
	Out7_4_1 = Product7_1_1;
61
	Out8_5_1 = Product8_1_1;
62
	Out9_6_1 = Product9_1_1;
63
	Out9_6_2 = Product9_1_2;
64
	Out9_6_3 = Product9_1_3;
65
	Out4_7_1 = Product4_1_1;
66
	Out6_8_1 = Product6_1_1;
67
	Out5_9_1 = Product5_1_1;
68
	Out10_10_1 = Product10_1_1;
69
	Out10_10_2 = Product10_1_2;
70
	Out11_11_1 = Product12_1_1;
71
	Out12_12_1 = Product13_1_1;
72
	Out13_13_1 = Product14_1_1;
73
	Out13_13_2 = Product14_1_2;
74
	Out13_13_3 = Product14_1_3;
75
	Out14_14_1 = Product11_1_1;
76
	Out14_14_2 = Product11_1_2;
77
	i_virtual_local= 0.0 -> 1.0;
78
tel
79