## lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/ForEach5_PP.LUSTREC.lus @ 4748b215

1 | 4748b215 | hbourbou | ```
-- This file has been generated by CoCoSim2.
``` |
---|---|---|---|

2 | |||

3 | ```
-- Compiler: Lustre compiler 2 (ToLustre.m)
``` |
||

4 | ```
-- Time: 03-Dec-2018 22:36:52
``` |
||

5 | ```
(*
``` |
||

6 | ```
Original block name: ForEach5_PP/ForEachSubsystem1/ForEach1
``` |
||

7 | ```
*)
``` |
||

8 | node ForEach1_89_054(In1_1 : real; |
||

9 | In1_2 : real; |
||

10 | In1_3 : real; |
||

11 | __time_step : real; |
||

12 | __nb_step : int;) |
||

13 | returns(Out1_1 : real; |
||

14 | Out1_2 : real; |
||

15 | Out1_3 : real;); |
||

16 | var Gain_1 : real; |
||

17 | Gain_2 : real; |
||

18 | Gain_3 : real; |
||

19 | ```
let
``` |
||

20 | Gain_1 = (In1_1 * 2.000000000000000); |
||

21 | Gain_2 = (In1_2 * 2.000000000000000); |
||

22 | Gain_3 = (In1_3 * 2.000000000000000); |
||

23 | Out1_1 = Gain_1; |
||

24 | Out1_2 = Gain_2; |
||

25 | Out1_3 = Gain_3; |
||

26 | ```
tel
``` |
||

27 | |||

28 | ```
(*
``` |
||

29 | ```
Original block name: ForEach5_PP/ForEachSubsystem1/ForEach2
``` |
||

30 | ```
*)
``` |
||

31 | node ForEach2_178_051(In1_1 : real; |
||

32 | In1_2 : real; |
||

33 | In1_3 : real; |
||

34 | __time_step : real; |
||

35 | __nb_step : int;) |
||

36 | returns(Out1_1 : real; |
||

37 | Out1_2 : real; |
||

38 | Out1_3 : real;); |
||

39 | var Gain_1 : real; |
||

40 | Gain_2 : real; |
||

41 | Gain_3 : real; |
||

42 | ```
let
``` |
||

43 | Gain_1 = (In1_1 * 2.000000000000000); |
||

44 | Gain_2 = (In1_2 * 2.000000000000000); |
||

45 | Gain_3 = (In1_3 * 2.000000000000000); |
||

46 | Out1_1 = Gain_1; |
||

47 | Out1_2 = Gain_2; |
||

48 | Out1_3 = Gain_3; |
||

49 | ```
tel
``` |
||

50 | |||

51 | ```
(*
``` |
||

52 | ```
Original block name: ForEach5_PP/ForEachSubsystem1/ForEach3
``` |
||

53 | ```
*)
``` |
||

54 | node ForEach3_20677_000(In1_1 : real; |
||

55 | In1_2 : real; |
||

56 | In1_3 : real; |
||

57 | __time_step : real; |
||

58 | __nb_step : int;) |
||

59 | returns(Out1_1 : real; |
||

60 | Out1_2 : real; |
||

61 | Out1_3 : real;); |
||

62 | var Gain_1 : real; |
||

63 | Gain_2 : real; |
||

64 | Gain_3 : real; |
||

65 | ```
let
``` |
||

66 | Gain_1 = (In1_1 * 2.000000000000000); |
||

67 | Gain_2 = (In1_2 * 2.000000000000000); |
||

68 | Gain_3 = (In1_3 * 2.000000000000000); |
||

69 | Out1_1 = Gain_1; |
||

70 | Out1_2 = Gain_2; |
||

71 | Out1_3 = Gain_3; |
||

72 | ```
tel
``` |
||

73 | |||

74 | ```
(*
``` |
||

75 | ```
Original block name: ForEach5_PP/ForEachSubsystem1
``` |
||

76 | ```
*)
``` |
||

77 | node ForEachSubsystem1_86_273(In1_1 : real; |
||

78 | In1_2 : real; |
||

79 | In1_3 : real; |
||

80 | In1_4 : real; |
||

81 | In1_5 : real; |
||

82 | In1_6 : real; |
||

83 | In1_7 : real; |
||

84 | In1_8 : real; |
||

85 | In1_9 : real; |
||

86 | __time_step : real; |
||

87 | __nb_step : int;) |
||

88 | returns(Out1_1 : real; |
||

89 | Out1_2 : real; |
||

90 | Out1_3 : real; |
||

91 | Out1_4 : real; |
||

92 | Out1_5 : real; |
||

93 | Out1_6 : real; |
||

94 | Out1_7 : real; |
||

95 | Out1_8 : real; |
||

96 | Out1_9 : real;); |
||

97 | var Concatenate_1_1 : real; |
||

98 | Concatenate_1_2 : real; |
||

99 | Concatenate_1_3 : real; |
||

100 | Concatenate_1_4 : real; |
||

101 | Concatenate_1_5 : real; |
||

102 | Concatenate_1_6 : real; |
||

103 | Concatenate_1_7 : real; |
||

104 | Concatenate_1_8 : real; |
||

105 | Concatenate_1_9 : real; |
||

106 | ForEach1_1 : real; |
||

107 | ForEach1_2 : real; |
||

108 | ForEach1_3 : real; |
||

109 | ForEach2_1 : real; |
||

110 | ForEach2_2 : real; |
||

111 | ForEach2_3 : real; |
||

112 | ForEach3_1 : real; |
||

113 | ForEach3_2 : real; |
||

114 | ForEach3_3 : real; |
||

115 | Selector_1_In1_1 : real; |
||

116 | Selector_1_In1_2 : real; |
||

117 | Selector_1_In1_3 : real; |
||

118 | Selector_2_In1_1 : real; |
||

119 | Selector_2_In1_2 : real; |
||

120 | Selector_2_In1_3 : real; |
||

121 | Selector_3_In1_1 : real; |
||

122 | Selector_3_In1_2 : real; |
||

123 | Selector_3_In1_3 : real; |
||

124 | ```
let
``` |
||

125 | Concatenate_1_1 = ForEach1_1; |
||

126 | Concatenate_1_2 = ForEach1_2; |
||

127 | Concatenate_1_3 = ForEach1_3; |
||

128 | Concatenate_1_4 = ForEach2_1; |
||

129 | Concatenate_1_5 = ForEach2_2; |
||

130 | Concatenate_1_6 = ForEach2_3; |
||

131 | Concatenate_1_7 = ForEach3_1; |
||

132 | Concatenate_1_8 = ForEach3_2; |
||

133 | Concatenate_1_9 = ForEach3_3; |
||

134 | (ForEach1_1, ForEach1_2, ForEach1_3) = ForEach1_89_054(Selector_1_In1_1, Selector_1_In1_2, Selector_1_In1_3, __time_step, __nb_step); |
||

135 | (ForEach2_1, ForEach2_2, ForEach2_3) = ForEach2_178_051(Selector_2_In1_1, Selector_2_In1_2, Selector_2_In1_3, __time_step, __nb_step); |
||

136 | (ForEach3_1, ForEach3_2, ForEach3_3) = ForEach3_20677_000(Selector_3_In1_1, Selector_3_In1_2, Selector_3_In1_3, __time_step, __nb_step); |
||

137 | Selector_1_In1_1 = In1_1; |
||

138 | Selector_1_In1_2 = In1_2; |
||

139 | Selector_1_In1_3 = In1_3; |
||

140 | Selector_2_In1_1 = In1_4; |
||

141 | Selector_2_In1_2 = In1_5; |
||

142 | Selector_2_In1_3 = In1_6; |
||

143 | Selector_3_In1_1 = In1_7; |
||

144 | Selector_3_In1_2 = In1_8; |
||

145 | Selector_3_In1_3 = In1_9; |
||

146 | Out1_1 = Concatenate_1_1; |
||

147 | Out1_2 = Concatenate_1_2; |
||

148 | Out1_3 = Concatenate_1_3; |
||

149 | Out1_4 = Concatenate_1_4; |
||

150 | Out1_5 = Concatenate_1_5; |
||

151 | Out1_6 = Concatenate_1_6; |
||

152 | Out1_7 = Concatenate_1_7; |
||

153 | Out1_8 = Concatenate_1_8; |
||

154 | Out1_9 = Concatenate_1_9; |
||

155 | ```
tel
``` |
||

156 | |||

157 | ```
(*
``` |
||

158 | ```
Original block name: ForEach5_PP/Subsystem1/S1
``` |
||

159 | ```
*)
``` |
||

160 | node S1_97_264(In1_1 : real; |
||

161 | In1_2 : real; |
||

162 | In1_3 : real; |
||

163 | __time_step : real; |
||

164 | __nb_step : int;) |
||

165 | returns(Out1_1 : real; |
||

166 | Out1_2 : real; |
||

167 | Out1_3 : real;); |
||

168 | var Gain_1 : real; |
||

169 | Gain_2 : real; |
||

170 | Gain_3 : real; |
||

171 | ```
let
``` |
||

172 | Gain_1 = (In1_1 * 2.000000000000000); |
||

173 | Gain_2 = (In1_2 * 2.000000000000000); |
||

174 | Gain_3 = (In1_3 * 2.000000000000000); |
||

175 | Out1_1 = Gain_1; |
||

176 | Out1_2 = Gain_2; |
||

177 | Out1_3 = Gain_3; |
||

178 | ```
tel
``` |
||

179 | |||

180 | ```
(*
``` |
||

181 | ```
Original block name: ForEach5_PP/Subsystem1/S2
``` |
||

182 | ```
*)
``` |
||

183 | node S2_104_635(In1_1 : real; |
||

184 | In1_2 : real; |
||

185 | In1_3 : real; |
||

186 | __time_step : real; |
||

187 | __nb_step : int;) |
||

188 | returns(Out1_1 : real; |
||

189 | Out1_2 : real; |
||

190 | Out1_3 : real;); |
||

191 | var Gain_1 : real; |
||

192 | Gain_2 : real; |
||

193 | Gain_3 : real; |
||

194 | ```
let
``` |
||

195 | Gain_1 = (In1_1 * 2.000000000000000); |
||

196 | Gain_2 = (In1_2 * 2.000000000000000); |
||

197 | Gain_3 = (In1_3 * 2.000000000000000); |
||

198 | Out1_1 = Gain_1; |
||

199 | Out1_2 = Gain_2; |
||

200 | Out1_3 = Gain_3; |
||

201 | ```
tel
``` |
||

202 | |||

203 | ```
(*
``` |
||

204 | ```
Original block name: ForEach5_PP/Subsystem1/S3
``` |
||

205 | ```
*)
``` |
||

206 | node S3_111_045(In1_1 : real; |
||

207 | In1_2 : real; |
||

208 | In1_3 : real; |
||

209 | __time_step : real; |
||

210 | __nb_step : int;) |
||

211 | returns(Out1_1 : real; |
||

212 | Out1_2 : real; |
||

213 | Out1_3 : real;); |
||

214 | var Gain_1 : real; |
||

215 | Gain_2 : real; |
||

216 | Gain_3 : real; |
||

217 | ```
let
``` |
||

218 | Gain_1 = (In1_1 * 2.000000000000000); |
||

219 | Gain_2 = (In1_2 * 2.000000000000000); |
||

220 | Gain_3 = (In1_3 * 2.000000000000000); |
||

221 | Out1_1 = Gain_1; |
||

222 | Out1_2 = Gain_2; |
||

223 | Out1_3 = Gain_3; |
||

224 | ```
tel
``` |
||

225 | |||

226 | ```
(*
``` |
||

227 | ```
Original block name: ForEach5_PP/Subsystem1
``` |
||

228 | ```
*)
``` |
||

229 | node Subsystem1_95_053(In1_1 : real; |
||

230 | In1_2 : real; |
||

231 | In1_3 : real; |
||

232 | In1_4 : real; |
||

233 | In1_5 : real; |
||

234 | In1_6 : real; |
||

235 | In1_7 : real; |
||

236 | In1_8 : real; |
||

237 | In1_9 : real; |
||

238 | __time_step : real; |
||

239 | __nb_step : int;) |
||

240 | returns(Out1_1 : real; |
||

241 | Out1_2 : real; |
||

242 | Out1_3 : real; |
||

243 | Out1_4 : real; |
||

244 | Out1_5 : real; |
||

245 | Out1_6 : real; |
||

246 | Out1_7 : real; |
||

247 | Out1_8 : real; |
||

248 | Out1_9 : real;); |
||

249 | var S1_1 : real; |
||

250 | S1_2 : real; |
||

251 | S1_3 : real; |
||

252 | S2_1 : real; |
||

253 | S2_2 : real; |
||

254 | S2_3 : real; |
||

255 | S3_1 : real; |
||

256 | S3_2 : real; |
||

257 | S3_3 : real; |
||

258 | Selector_1 : real; |
||

259 | Selector_2 : real; |
||

260 | Selector_3 : real; |
||

261 | Selector1_1 : real; |
||

262 | Selector1_2 : real; |
||

263 | Selector1_3 : real; |
||

264 | Selector2_1 : real; |
||

265 | Selector2_2 : real; |
||

266 | Selector2_3 : real; |
||

267 | VectorConcatenate_1 : real; |
||

268 | VectorConcatenate_2 : real; |
||

269 | VectorConcatenate_3 : real; |
||

270 | VectorConcatenate_4 : real; |
||

271 | VectorConcatenate_5 : real; |
||

272 | VectorConcatenate_6 : real; |
||

273 | VectorConcatenate_7 : real; |
||

274 | VectorConcatenate_8 : real; |
||

275 | VectorConcatenate_9 : real; |
||

276 | ```
let
``` |
||

277 | (S1_1, S1_2, S1_3) = S1_97_264(Selector_1, Selector_2, Selector_3, __time_step, __nb_step); |
||

278 | (S2_1, S2_2, S2_3) = S2_104_635(Selector1_1, Selector1_2, Selector1_3, __time_step, __nb_step); |
||

279 | (S3_1, S3_2, S3_3) = S3_111_045(Selector2_1, Selector2_2, Selector2_3, __time_step, __nb_step); |
||

280 | Selector_1 = In1_1; |
||

281 | Selector_2 = In1_2; |
||

282 | Selector_3 = In1_3; |
||

283 | Selector1_1 = In1_4; |
||

284 | Selector1_2 = In1_5; |
||

285 | Selector1_3 = In1_6; |
||

286 | Selector2_1 = In1_7; |
||

287 | Selector2_2 = In1_8; |
||

288 | Selector2_3 = In1_9; |
||

289 | VectorConcatenate_1 = S1_1; |
||

290 | VectorConcatenate_2 = S1_2; |
||

291 | VectorConcatenate_3 = S1_3; |
||

292 | VectorConcatenate_4 = S2_1; |
||

293 | VectorConcatenate_5 = S2_2; |
||

294 | VectorConcatenate_6 = S2_3; |
||

295 | VectorConcatenate_7 = S3_1; |
||

296 | VectorConcatenate_8 = S3_2; |
||

297 | VectorConcatenate_9 = S3_3; |
||

298 | Out1_1 = VectorConcatenate_1; |
||

299 | Out1_2 = VectorConcatenate_2; |
||

300 | Out1_3 = VectorConcatenate_3; |
||

301 | Out1_4 = VectorConcatenate_4; |
||

302 | Out1_5 = VectorConcatenate_5; |
||

303 | Out1_6 = VectorConcatenate_6; |
||

304 | Out1_7 = VectorConcatenate_7; |
||

305 | Out1_8 = VectorConcatenate_8; |
||

306 | Out1_9 = VectorConcatenate_9; |
||

307 | ```
tel
``` |
||

308 | |||

309 | ```
(*
``` |
||

310 | ```
Original block name: ForEach5_PP
``` |
||

311 | ```
*)
``` |
||

312 | node ForEach5_PP(In2_1 : real; |
||

313 | In2_2 : real; |
||

314 | In2_3 : real; |
||

315 | In2_4 : real; |
||

316 | In2_5 : real; |
||

317 | In2_6 : real; |
||

318 | In2_7 : real; |
||

319 | In2_8 : real; |
||

320 | In2_9 : real;) |
||

321 | returns(Out1_1 : real; |
||

322 | Out1_2 : real; |
||

323 | Out1_3 : real; |
||

324 | Out1_4 : real; |
||

325 | Out1_5 : real; |
||

326 | Out1_6 : real; |
||

327 | Out1_7 : real; |
||

328 | Out1_8 : real; |
||

329 | Out1_9 : real; |
||

330 | Out2_1 : real; |
||

331 | Out2_2 : real; |
||

332 | Out2_3 : real; |
||

333 | Out2_4 : real; |
||

334 | Out2_5 : real; |
||

335 | Out2_6 : real; |
||

336 | Out2_7 : real; |
||

337 | Out2_8 : real; |
||

338 | Out2_9 : real;); |
||

339 | var ForEachSubsystem1_1 : real; |
||

340 | ForEachSubsystem1_2 : real; |
||

341 | ForEachSubsystem1_3 : real; |
||

342 | ForEachSubsystem1_4 : real; |
||

343 | ForEachSubsystem1_5 : real; |
||

344 | ForEachSubsystem1_6 : real; |
||

345 | ForEachSubsystem1_7 : real; |
||

346 | ForEachSubsystem1_8 : real; |
||

347 | ForEachSubsystem1_9 : real; |
||

348 | Subsystem1_1 : real; |
||

349 | Subsystem1_2 : real; |
||

350 | Subsystem1_3 : real; |
||

351 | Subsystem1_4 : real; |
||

352 | Subsystem1_5 : real; |
||

353 | Subsystem1_6 : real; |
||

354 | Subsystem1_7 : real; |
||

355 | Subsystem1_8 : real; |
||

356 | Subsystem1_9 : real; |
||

357 | __time_step : real; |
||

358 | __nb_step : int; |
||

359 | ```
let
``` |
||

360 | (ForEachSubsystem1_1, ForEachSubsystem1_2, ForEachSubsystem1_3, ForEachSubsystem1_4, ForEachSubsystem1_5, ForEachSubsystem1_6, ForEachSubsystem1_7, ForEachSubsystem1_8, ForEachSubsystem1_9) = ForEachSubsystem1_86_273(In2_1, In2_2, In2_3, In2_4, In2_5, In2_6, In2_7, In2_8, In2_9, __time_step, __nb_step); |
||

361 | (Subsystem1_1, Subsystem1_2, Subsystem1_3, Subsystem1_4, Subsystem1_5, Subsystem1_6, Subsystem1_7, Subsystem1_8, Subsystem1_9) = Subsystem1_95_053(In2_1, In2_2, In2_3, In2_4, In2_5, In2_6, In2_7, In2_8, In2_9, __time_step, __nb_step); |
||

362 | Out1_1 = ForEachSubsystem1_1; |
||

363 | Out1_2 = ForEachSubsystem1_2; |
||

364 | Out1_3 = ForEachSubsystem1_3; |
||

365 | Out1_4 = ForEachSubsystem1_4; |
||

366 | Out1_5 = ForEachSubsystem1_5; |
||

367 | Out1_6 = ForEachSubsystem1_6; |
||

368 | Out1_7 = ForEachSubsystem1_7; |
||

369 | Out1_8 = ForEachSubsystem1_8; |
||

370 | Out1_9 = ForEachSubsystem1_9; |
||

371 | Out2_1 = Subsystem1_1; |
||

372 | Out2_2 = Subsystem1_2; |
||

373 | Out2_3 = Subsystem1_3; |
||

374 | Out2_4 = Subsystem1_4; |
||

375 | Out2_5 = Subsystem1_5; |
||

376 | Out2_6 = Subsystem1_6; |
||

377 | Out2_7 = Subsystem1_7; |
||

378 | Out2_8 = Subsystem1_8; |
||

379 | Out2_9 = Subsystem1_9; |
||

380 | __time_step = (0.0 -> ((pre __time_step) + 0.200000000000000)); |
||

381 | __nb_step = (0 -> ((pre __nb_step) + 1)); |
||

382 | ```
tel
``` |