Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_selector_test / selector_test.lus @ 6c3ea955

History | View | Annotate | Download (7.97 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node selector_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : 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; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real)
6
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real;
7
	Out2_2_1 : real; Out2_2_2 : real;
8
	Out3_3_1 : real;
9
	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real; Out4_4_4 : real; Out4_4_5 : real; Out4_4_6 : real;
10
	Out5_5_1 : real; Out5_5_2 : real; Out5_5_3 : real; Out5_5_4 : real; Out5_5_5 : real; Out5_5_6 : real;
11
	Out6_6_1 : real; Out6_6_2 : real; Out6_6_3 : real; Out6_6_4 : real; Out6_6_5 : real; Out6_6_6 : real;
12
	Out7_7_1 : real; Out7_7_2 : real; Out7_7_3 : real; Out7_7_4 : real; Out7_7_5 : real; Out7_7_6 : real;
13
	Out8_8_1 : real; Out8_8_2 : real;
14
	Out9_9_1 : real;
15
	Out10_10_1 : real; Out10_10_2 : real; Out10_10_3 : real;
16
	Out11_11_1 : real;
17
	Out12_12_1 : real; Out12_12_2 : real;
18
	Out13_13_1 : real; Out13_13_2 : real; Out13_13_3 : real;
19
	Out14_14_1 : real; Out14_14_2 : real; Out14_14_3 : real; Out14_14_4 : real;
20
	Out15_15_1 : real; Out15_15_2 : real; Out15_15_3 : real; Out15_15_4 : real); 
21
var
22
	Constant_1_1 : real; Constant_1_2 : real; Constant_1_3 : real; Constant_1_4 : real; Constant_1_5 : real; Constant_1_6 : real;
23
	Constant1_1_1 : real; Constant1_1_2 : real; Constant1_1_3 : real; Constant1_1_4 : real; Constant1_1_5 : real; Constant1_1_6 : real;
24
	Constant2_1_1 : real; Constant2_1_2 : real; Constant2_1_3 : real; Constant2_1_4 : real; Constant2_1_5 : real; Constant2_1_6 : real;
25
	Constant3_1_1 : real; Constant3_1_2 : real; Constant3_1_3 : real; Constant3_1_4 : real; Constant3_1_5 : real; Constant3_1_6 : real;
26
	Constant4_1_1 : real; Constant4_1_2 : real; Constant4_1_3 : real; Constant4_1_4 : real; Constant4_1_5 : real; Constant4_1_6 : real;
27
	Constant5_1_1 : real; Constant5_1_2 : real; Constant5_1_3 : real; Constant5_1_4 : real; Constant5_1_5 : real; Constant5_1_6 : real;
28
	Constant6_1_1 : real; Constant6_1_2 : real; Constant6_1_3 : real; Constant6_1_4 : real; Constant6_1_5 : real; Constant6_1_6 : real;
29
	Constant7_1_1 : real; Constant7_1_2 : real; Constant7_1_3 : real; Constant7_1_4 : real; Constant7_1_5 : real; Constant7_1_6 : real;
30
	Constant8_1_1 : real; Constant8_1_2 : real; Constant8_1_3 : real; Constant8_1_4 : real; Constant8_1_5 : real; Constant8_1_6 : real;
31
	Selector_1_1 : real; Selector_1_2 : real; Selector_1_3 : real;
32
	Selector1_1_1 : real; Selector1_1_2 : real;
33
	Selector10_1_1 : real;
34
	Selector11_1_1 : real; Selector11_1_2 : real;
35
	Selector12_1_1 : real; Selector12_1_2 : real; Selector12_1_3 : real;
36
	Selector13_1_1 : real; Selector13_1_2 : real; Selector13_1_3 : real; Selector13_1_4 : real;
37
	Selector14_1_1 : real; Selector14_1_2 : real; Selector14_1_3 : real; Selector14_1_4 : real;
38
	Selector2_1_1 : real;
39
	Selector3_1_1 : real; Selector3_1_2 : real; Selector3_1_3 : real; Selector3_1_4 : real; Selector3_1_5 : real; Selector3_1_6 : real;
40
	Selector4_1_1 : real; Selector4_1_2 : real; Selector4_1_3 : real; Selector4_1_4 : real; Selector4_1_5 : real; Selector4_1_6 : real;
41
	Selector5_1_1 : real; Selector5_1_2 : real; Selector5_1_3 : real; Selector5_1_4 : real; Selector5_1_5 : real; Selector5_1_6 : real;
42
	Selector6_1_1 : real; Selector6_1_2 : real; Selector6_1_3 : real; Selector6_1_4 : real; Selector6_1_5 : real; Selector6_1_6 : real;
43
	Selector7_1_1 : real; Selector7_1_2 : real;
44
	Selector8_1_1 : real;
45
	Selector9_1_1 : real; Selector9_1_2 : real; Selector9_1_3 : real;
46
	i_virtual_local : real;
47
let 
48
	Constant_1_1 = 1.00000000;
49
	Constant_1_2 = 2.00000000;
50
	Constant_1_3 = 3.00000000;
51
	Constant_1_4 = 4.00000000;
52
	Constant_1_5 = 5.00000000;
53
	Constant_1_6 = 6.00000000;
54
	Constant1_1_1 = 1.00000000;
55
	Constant1_1_2 = 2.00000000;
56
	Constant1_1_3 = 3.00000000;
57
	Constant1_1_4 = 4.00000000;
58
	Constant1_1_5 = 5.00000000;
59
	Constant1_1_6 = 6.00000000;
60
	Constant2_1_1 = 1.00000000;
61
	Constant2_1_2 = 2.00000000;
62
	Constant2_1_3 = 3.00000000;
63
	Constant2_1_4 = 4.00000000;
64
	Constant2_1_5 = 5.00000000;
65
	Constant2_1_6 = 6.00000000;
66
	Constant3_1_1 = 1.00000000;
67
	Constant3_1_2 = 2.00000000;
68
	Constant3_1_3 = 3.00000000;
69
	Constant3_1_4 = 4.00000000;
70
	Constant3_1_5 = 5.00000000;
71
	Constant3_1_6 = 6.00000000;
72
	Constant4_1_1 = 1.00000000;
73
	Constant4_1_2 = 2.00000000;
74
	Constant4_1_3 = 3.00000000;
75
	Constant4_1_4 = 4.00000000;
76
	Constant4_1_5 = 5.00000000;
77
	Constant4_1_6 = 6.00000000;
78
	Constant5_1_1 = 1.00000000;
79
	Constant5_1_2 = 2.00000000;
80
	Constant5_1_3 = 3.00000000;
81
	Constant5_1_4 = 4.00000000;
82
	Constant5_1_5 = 5.00000000;
83
	Constant5_1_6 = 6.00000000;
84
	Constant6_1_1 = 1.00000000;
85
	Constant6_1_2 = 2.00000000;
86
	Constant6_1_3 = 3.00000000;
87
	Constant6_1_4 = 4.00000000;
88
	Constant6_1_5 = 5.00000000;
89
	Constant6_1_6 = 6.00000000;
90
	Constant7_1_1 = 1.00000000;
91
	Constant7_1_2 = 2.00000000;
92
	Constant7_1_3 = 3.00000000;
93
	Constant7_1_4 = 4.00000000;
94
	Constant7_1_5 = 5.00000000;
95
	Constant7_1_6 = 6.00000000;
96
	Constant8_1_1 = 1.00000000;
97
	Constant8_1_2 = 2.00000000;
98
	Constant8_1_3 = 3.00000000;
99
	Constant8_1_4 = 4.00000000;
100
	Constant8_1_5 = 5.00000000;
101
	Constant8_1_6 = 6.00000000;
102
	Selector_1_1 = In1_1_2;
103
	Selector_1_2 = In1_1_1;
104
	Selector_1_3 = In1_1_1;
105
	Selector1_1_1 = Constant_1_4;
106
	Selector1_1_2 = Constant_1_1;
107
	Selector10_1_1 = In5_1_1;
108
	Selector11_1_1 = In6_1_1;
109
	Selector11_1_2 = In6_1_2;
110
	Selector12_1_1 = Constant6_1_1;
111
	Selector12_1_2 = Constant6_1_2;
112
	Selector12_1_3 = Constant6_1_3;
113
	Selector13_1_1 = Constant7_1_4;
114
	Selector13_1_2 = Constant7_1_5;
115
	Selector13_1_3 = Constant7_1_1;
116
	Selector13_1_4 = Constant7_1_2;
117
	Selector14_1_1 = Constant8_1_4;
118
	Selector14_1_2 = Constant8_1_5;
119
	Selector14_1_3 = Constant8_1_1;
120
	Selector14_1_4 = Constant8_1_2;
121
	Selector2_1_1 = In2_1_2;
122
	Selector3_1_1 = Constant1_1_4;
123
	Selector3_1_2 = Constant1_1_5;
124
	Selector3_1_3 = Constant1_1_6;
125
	Selector3_1_4 = Constant1_1_1;
126
	Selector3_1_5 = Constant1_1_2;
127
	Selector3_1_6 = Constant1_1_3;
128
	Selector4_1_1 = Constant2_1_1;
129
	Selector4_1_2 = Constant2_1_2;
130
	Selector4_1_3 = Constant2_1_3;
131
	Selector4_1_4 = Constant2_1_4;
132
	Selector4_1_5 = Constant2_1_5;
133
	Selector4_1_6 = Constant2_1_6;
134
	Selector5_1_1 = Constant3_1_1;
135
	Selector5_1_2 = Constant3_1_2;
136
	Selector5_1_3 = Constant3_1_3;
137
	Selector5_1_4 = Constant3_1_4;
138
	Selector5_1_5 = Constant3_1_5;
139
	Selector5_1_6 = Constant3_1_6;
140
	Selector6_1_1 = Constant4_1_4;
141
	Selector6_1_2 = Constant4_1_5;
142
	Selector6_1_3 = Constant4_1_6;
143
	Selector6_1_4 = Constant4_1_1;
144
	Selector6_1_5 = Constant4_1_2;
145
	Selector6_1_6 = Constant4_1_3;
146
	Selector7_1_1 = Constant5_1_4;
147
	Selector7_1_2 = Constant5_1_1;
148
	Selector8_1_1 = In3_1_2;
149
	Selector9_1_1 = In4_1_2;
150
	Selector9_1_2 = In4_1_1;
151
	Selector9_1_3 = In4_1_1;
152
	Out1_1_1 = Selector_1_1;
153
	Out1_1_2 = Selector_1_2;
154
	Out1_1_3 = Selector_1_3;
155
	Out2_2_1 = Selector1_1_1;
156
	Out2_2_2 = Selector1_1_2;
157
	Out3_3_1 = Selector2_1_1;
158
	Out4_4_1 = Selector3_1_1;
159
	Out4_4_2 = Selector3_1_2;
160
	Out4_4_3 = Selector3_1_3;
161
	Out4_4_4 = Selector3_1_4;
162
	Out4_4_5 = Selector3_1_5;
163
	Out4_4_6 = Selector3_1_6;
164
	Out5_5_1 = Selector4_1_1;
165
	Out5_5_2 = Selector4_1_2;
166
	Out5_5_3 = Selector4_1_3;
167
	Out5_5_4 = Selector4_1_4;
168
	Out5_5_5 = Selector4_1_5;
169
	Out5_5_6 = Selector4_1_6;
170
	Out6_6_1 = Selector5_1_1;
171
	Out6_6_2 = Selector5_1_2;
172
	Out6_6_3 = Selector5_1_3;
173
	Out6_6_4 = Selector5_1_4;
174
	Out6_6_5 = Selector5_1_5;
175
	Out6_6_6 = Selector5_1_6;
176
	Out7_7_1 = Selector6_1_1;
177
	Out7_7_2 = Selector6_1_2;
178
	Out7_7_3 = Selector6_1_3;
179
	Out7_7_4 = Selector6_1_4;
180
	Out7_7_5 = Selector6_1_5;
181
	Out7_7_6 = Selector6_1_6;
182
	Out8_8_1 = Selector7_1_1;
183
	Out8_8_2 = Selector7_1_2;
184
	Out9_9_1 = Selector8_1_1;
185
	Out10_10_1 = Selector9_1_1;
186
	Out10_10_2 = Selector9_1_2;
187
	Out10_10_3 = Selector9_1_3;
188
	Out11_11_1 = Selector10_1_1;
189
	Out12_12_1 = Selector11_1_1;
190
	Out12_12_2 = Selector11_1_2;
191
	Out13_13_1 = Selector12_1_1;
192
	Out13_13_2 = Selector12_1_2;
193
	Out13_13_3 = Selector12_1_3;
194
	Out14_14_1 = Selector13_1_1;
195
	Out14_14_2 = Selector13_1_2;
196
	Out14_14_3 = Selector13_1_3;
197
	Out14_14_4 = Selector13_1_4;
198
	Out15_15_1 = Selector14_1_1;
199
	Out15_15_2 = Selector14_1_2;
200
	Out15_15_3 = Selector14_1_3;
201
	Out15_15_4 = Selector14_1_4;
202
	i_virtual_local= 0.0 -> 1.0;
203
tel
204