## lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Reshape_ColumnVector_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (9.63 KB)

1 |
-- This file has been generated by CoCoSim2. |
---|---|

2 | |

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

4 |
-- Time: 03-Dec-2018 22:58:53 |

5 |
(* |

6 |
Original block name: Reshape_ColumnVector_PP |

7 |
*) |

8 |
node Reshape_ColumnVector_PP(In1_1 : real; |

9 |
In1_2 : real; |

10 |
In1_3 : real; |

11 |
In1_4 : real; |

12 |
In1_5 : real; |

13 |
In1_6 : real; |

14 |
In2_1 : real; |

15 |
In3_1 : real; |

16 |
In3_2 : real; |

17 |
In3_3 : real; |

18 |
In3_4 : real; |

19 |
In3_5 : real; |

20 |
In3_6 : real; |

21 |
In4_1 : real; |

22 |
In4_2 : real; |

23 |
In4_3 : real; |

24 |
In4_4 : real; |

25 |
In4_5 : real; |

26 |
In4_6 : real; |

27 |
In5_1 : real; |

28 |
In5_2 : real; |

29 |
In5_3 : real; |

30 |
In5_4 : real; |

31 |
In5_5 : real; |

32 |
In5_6 : real; |

33 |
In6_1 : real; |

34 |
In6_2 : real; |

35 |
In6_3 : real; |

36 |
In6_4 : real; |

37 |
In6_5 : real; |

38 |
In6_6 : real; |

39 |
In6_7 : real; |

40 |
In6_8 : real; |

41 |
In6_9 : real; |

42 |
In6_10 : real; |

43 |
In6_11 : real; |

44 |
In6_12 : real; |

45 |
In6_13 : real; |

46 |
In6_14 : real; |

47 |
In6_15 : real; |

48 |
In6_16 : real; |

49 |
In6_17 : real; |

50 |
In6_18 : real; |

51 |
In6_19 : real; |

52 |
In6_20 : real; |

53 |
In6_21 : real; |

54 |
In6_22 : real; |

55 |
In6_23 : real; |

56 |
In6_24 : real; |

57 |
In7_1 : real; |

58 |
In7_2 : real; |

59 |
In7_3 : real; |

60 |
In7_4 : real; |

61 |
In7_5 : real; |

62 |
In7_6 : real; |

63 |
In7_7 : real; |

64 |
In7_8 : real; |

65 |
In7_9 : real; |

66 |
In7_10 : real; |

67 |
In7_11 : real; |

68 |
In7_12 : real; |

69 |
In7_13 : real; |

70 |
In7_14 : real; |

71 |
In7_15 : real; |

72 |
In7_16 : real; |

73 |
In7_17 : real; |

74 |
In7_18 : real; |

75 |
In7_19 : real; |

76 |
In7_20 : real; |

77 |
In7_21 : real; |

78 |
In7_22 : real; |

79 |
In7_23 : real; |

80 |
In7_24 : real; |

81 |
In7_25 : real; |

82 |
In7_26 : real; |

83 |
In7_27 : real; |

84 |
In7_28 : real; |

85 |
In7_29 : real; |

86 |
In7_30 : real; |

87 |
In7_31 : real; |

88 |
In7_32 : real; |

89 |
In7_33 : real; |

90 |
In7_34 : real; |

91 |
In7_35 : real; |

92 |
In7_36 : real; |

93 |
In7_37 : real; |

94 |
In7_38 : real; |

95 |
In7_39 : real; |

96 |
In7_40 : real; |

97 |
In7_41 : real; |

98 |
In7_42 : real; |

99 |
In7_43 : real; |

100 |
In7_44 : real; |

101 |
In7_45 : real; |

102 |
In7_46 : real; |

103 |
In7_47 : real; |

104 |
In7_48 : real;) |

105 |
returns(Out5_1 : real; |

106 |
Out5_2 : real; |

107 |
Out5_3 : real; |

108 |
Out5_4 : real; |

109 |
Out5_5 : real; |

110 |
Out5_6 : real; |

111 |
Out1_1 : real; |

112 |
Out2_1 : real; |

113 |
Out2_2 : real; |

114 |
Out2_3 : real; |

115 |
Out2_4 : real; |

116 |
Out2_5 : real; |

117 |
Out2_6 : real; |

118 |
Out3_1 : real; |

119 |
Out3_2 : real; |

120 |
Out3_3 : real; |

121 |
Out3_4 : real; |

122 |
Out3_5 : real; |

123 |
Out3_6 : real; |

124 |
Out4_1 : real; |

125 |
Out4_2 : real; |

126 |
Out4_3 : real; |

127 |
Out4_4 : real; |

128 |
Out4_5 : real; |

129 |
Out4_6 : real; |

130 |
Out6_1 : real; |

131 |
Out6_2 : real; |

132 |
Out6_3 : real; |

133 |
Out6_4 : real; |

134 |
Out6_5 : real; |

135 |
Out6_6 : real; |

136 |
Out6_7 : real; |

137 |
Out6_8 : real; |

138 |
Out6_9 : real; |

139 |
Out6_10 : real; |

140 |
Out6_11 : real; |

141 |
Out6_12 : real; |

142 |
Out6_13 : real; |

143 |
Out6_14 : real; |

144 |
Out6_15 : real; |

145 |
Out6_16 : real; |

146 |
Out6_17 : real; |

147 |
Out6_18 : real; |

148 |
Out6_19 : real; |

149 |
Out6_20 : real; |

150 |
Out6_21 : real; |

151 |
Out6_22 : real; |

152 |
Out6_23 : real; |

153 |
Out6_24 : real; |

154 |
Out7_1 : real; |

155 |
Out7_2 : real; |

156 |
Out7_3 : real; |

157 |
Out7_4 : real; |

158 |
Out7_5 : real; |

159 |
Out7_6 : real; |

160 |
Out7_7 : real; |

161 |
Out7_8 : real; |

162 |
Out7_9 : real; |

163 |
Out7_10 : real; |

164 |
Out7_11 : real; |

165 |
Out7_12 : real; |

166 |
Out7_13 : real; |

167 |
Out7_14 : real; |

168 |
Out7_15 : real; |

169 |
Out7_16 : real; |

170 |
Out7_17 : real; |

171 |
Out7_18 : real; |

172 |
Out7_19 : real; |

173 |
Out7_20 : real; |

174 |
Out7_21 : real; |

175 |
Out7_22 : real; |

176 |
Out7_23 : real; |

177 |
Out7_24 : real; |

178 |
Out7_25 : real; |

179 |
Out7_26 : real; |

180 |
Out7_27 : real; |

181 |
Out7_28 : real; |

182 |
Out7_29 : real; |

183 |
Out7_30 : real; |

184 |
Out7_31 : real; |

185 |
Out7_32 : real; |

186 |
Out7_33 : real; |

187 |
Out7_34 : real; |

188 |
Out7_35 : real; |

189 |
Out7_36 : real; |

190 |
Out7_37 : real; |

191 |
Out7_38 : real; |

192 |
Out7_39 : real; |

193 |
Out7_40 : real; |

194 |
Out7_41 : real; |

195 |
Out7_42 : real; |

196 |
Out7_43 : real; |

197 |
Out7_44 : real; |

198 |
Out7_45 : real; |

199 |
Out7_46 : real; |

200 |
Out7_47 : real; |

201 |
Out7_48 : real;); |

202 |
var Reshape1_1 : real; |

203 |
Reshape2_1 : real; |

204 |
Reshape2_2 : real; |

205 |
Reshape2_3 : real; |

206 |
Reshape2_4 : real; |

207 |
Reshape2_5 : real; |

208 |
Reshape2_6 : real; |

209 |
Reshape3_1 : real; |

210 |
Reshape3_2 : real; |

211 |
Reshape3_3 : real; |

212 |
Reshape3_4 : real; |

213 |
Reshape3_5 : real; |

214 |
Reshape3_6 : real; |

215 |
Reshape4_1 : real; |

216 |
Reshape4_2 : real; |

217 |
Reshape4_3 : real; |

218 |
Reshape4_4 : real; |

219 |
Reshape4_5 : real; |

220 |
Reshape4_6 : real; |

221 |
Reshape5_1 : real; |

222 |
Reshape5_2 : real; |

223 |
Reshape5_3 : real; |

224 |
Reshape5_4 : real; |

225 |
Reshape5_5 : real; |

226 |
Reshape5_6 : real; |

227 |
Reshape6_1 : real; |

228 |
Reshape6_2 : real; |

229 |
Reshape6_3 : real; |

230 |
Reshape6_4 : real; |

231 |
Reshape6_5 : real; |

232 |
Reshape6_6 : real; |

233 |
Reshape6_7 : real; |

234 |
Reshape6_8 : real; |

235 |
Reshape6_9 : real; |

236 |
Reshape6_10 : real; |

237 |
Reshape6_11 : real; |

238 |
Reshape6_12 : real; |

239 |
Reshape6_13 : real; |

240 |
Reshape6_14 : real; |

241 |
Reshape6_15 : real; |

242 |
Reshape6_16 : real; |

243 |
Reshape6_17 : real; |

244 |
Reshape6_18 : real; |

245 |
Reshape6_19 : real; |

246 |
Reshape6_20 : real; |

247 |
Reshape6_21 : real; |

248 |
Reshape6_22 : real; |

249 |
Reshape6_23 : real; |

250 |
Reshape6_24 : real; |

251 |
Reshape7_1 : real; |

252 |
Reshape7_2 : real; |

253 |
Reshape7_3 : real; |

254 |
Reshape7_4 : real; |

255 |
Reshape7_5 : real; |

256 |
Reshape7_6 : real; |

257 |
Reshape7_7 : real; |

258 |
Reshape7_8 : real; |

259 |
Reshape7_9 : real; |

260 |
Reshape7_10 : real; |

261 |
Reshape7_11 : real; |

262 |
Reshape7_12 : real; |

263 |
Reshape7_13 : real; |

264 |
Reshape7_14 : real; |

265 |
Reshape7_15 : real; |

266 |
Reshape7_16 : real; |

267 |
Reshape7_17 : real; |

268 |
Reshape7_18 : real; |

269 |
Reshape7_19 : real; |

270 |
Reshape7_20 : real; |

271 |
Reshape7_21 : real; |

272 |
Reshape7_22 : real; |

273 |
Reshape7_23 : real; |

274 |
Reshape7_24 : real; |

275 |
Reshape7_25 : real; |

276 |
Reshape7_26 : real; |

277 |
Reshape7_27 : real; |

278 |
Reshape7_28 : real; |

279 |
Reshape7_29 : real; |

280 |
Reshape7_30 : real; |

281 |
Reshape7_31 : real; |

282 |
Reshape7_32 : real; |

283 |
Reshape7_33 : real; |

284 |
Reshape7_34 : real; |

285 |
Reshape7_35 : real; |

286 |
Reshape7_36 : real; |

287 |
Reshape7_37 : real; |

288 |
Reshape7_38 : real; |

289 |
Reshape7_39 : real; |

290 |
Reshape7_40 : real; |

291 |
Reshape7_41 : real; |

292 |
Reshape7_42 : real; |

293 |
Reshape7_43 : real; |

294 |
Reshape7_44 : real; |

295 |
Reshape7_45 : real; |

296 |
Reshape7_46 : real; |

297 |
Reshape7_47 : real; |

298 |
Reshape7_48 : real; |

299 |
__time_step : real; |

300 |
__nb_step : int; |

301 |
let |

302 |
Reshape1_1 = In2_1; |

303 |
Reshape2_1 = In3_1; |

304 |
Reshape2_2 = In3_2; |

305 |
Reshape2_3 = In3_3; |

306 |
Reshape2_4 = In3_4; |

307 |
Reshape2_5 = In3_5; |

308 |
Reshape2_6 = In3_6; |

309 |
Reshape3_1 = In4_1; |

310 |
Reshape3_2 = In4_2; |

311 |
Reshape3_3 = In4_3; |

312 |
Reshape3_4 = In4_4; |

313 |
Reshape3_5 = In4_5; |

314 |
Reshape3_6 = In4_6; |

315 |
Reshape4_1 = In5_1; |

316 |
Reshape4_2 = In5_2; |

317 |
Reshape4_3 = In5_3; |

318 |
Reshape4_4 = In5_4; |

319 |
Reshape4_5 = In5_5; |

320 |
Reshape4_6 = In5_6; |

321 |
Reshape5_1 = In1_1; |

322 |
Reshape5_2 = In1_2; |

323 |
Reshape5_3 = In1_3; |

324 |
Reshape5_4 = In1_4; |

325 |
Reshape5_5 = In1_5; |

326 |
Reshape5_6 = In1_6; |

327 |
Reshape6_1 = In6_1; |

328 |
Reshape6_2 = In6_2; |

329 |
Reshape6_3 = In6_3; |

330 |
Reshape6_4 = In6_4; |

331 |
Reshape6_5 = In6_5; |

332 |
Reshape6_6 = In6_6; |

333 |
Reshape6_7 = In6_7; |

334 |
Reshape6_8 = In6_8; |

335 |
Reshape6_9 = In6_9; |

336 |
Reshape6_10 = In6_10; |

337 |
Reshape6_11 = In6_11; |

338 |
Reshape6_12 = In6_12; |

339 |
Reshape6_13 = In6_13; |

340 |
Reshape6_14 = In6_14; |

341 |
Reshape6_15 = In6_15; |

342 |
Reshape6_16 = In6_16; |

343 |
Reshape6_17 = In6_17; |

344 |
Reshape6_18 = In6_18; |

345 |
Reshape6_19 = In6_19; |

346 |
Reshape6_20 = In6_20; |

347 |
Reshape6_21 = In6_21; |

348 |
Reshape6_22 = In6_22; |

349 |
Reshape6_23 = In6_23; |

350 |
Reshape6_24 = In6_24; |

351 |
Reshape7_1 = In7_1; |

352 |
Reshape7_2 = In7_2; |

353 |
Reshape7_3 = In7_3; |

354 |
Reshape7_4 = In7_4; |

355 |
Reshape7_5 = In7_5; |

356 |
Reshape7_6 = In7_6; |

357 |
Reshape7_7 = In7_7; |

358 |
Reshape7_8 = In7_8; |

359 |
Reshape7_9 = In7_9; |

360 |
Reshape7_10 = In7_10; |

361 |
Reshape7_11 = In7_11; |

362 |
Reshape7_12 = In7_12; |

363 |
Reshape7_13 = In7_13; |

364 |
Reshape7_14 = In7_14; |

365 |
Reshape7_15 = In7_15; |

366 |
Reshape7_16 = In7_16; |

367 |
Reshape7_17 = In7_17; |

368 |
Reshape7_18 = In7_18; |

369 |
Reshape7_19 = In7_19; |

370 |
Reshape7_20 = In7_20; |

371 |
Reshape7_21 = In7_21; |

372 |
Reshape7_22 = In7_22; |

373 |
Reshape7_23 = In7_23; |

374 |
Reshape7_24 = In7_24; |

375 |
Reshape7_25 = In7_25; |

376 |
Reshape7_26 = In7_26; |

377 |
Reshape7_27 = In7_27; |

378 |
Reshape7_28 = In7_28; |

379 |
Reshape7_29 = In7_29; |

380 |
Reshape7_30 = In7_30; |

381 |
Reshape7_31 = In7_31; |

382 |
Reshape7_32 = In7_32; |

383 |
Reshape7_33 = In7_33; |

384 |
Reshape7_34 = In7_34; |

385 |
Reshape7_35 = In7_35; |

386 |
Reshape7_36 = In7_36; |

387 |
Reshape7_37 = In7_37; |

388 |
Reshape7_38 = In7_38; |

389 |
Reshape7_39 = In7_39; |

390 |
Reshape7_40 = In7_40; |

391 |
Reshape7_41 = In7_41; |

392 |
Reshape7_42 = In7_42; |

393 |
Reshape7_43 = In7_43; |

394 |
Reshape7_44 = In7_44; |

395 |
Reshape7_45 = In7_45; |

396 |
Reshape7_46 = In7_46; |

397 |
Reshape7_47 = In7_47; |

398 |
Reshape7_48 = In7_48; |

399 |
Out5_1 = Reshape5_1; |

400 |
Out5_2 = Reshape5_2; |

401 |
Out5_3 = Reshape5_3; |

402 |
Out5_4 = Reshape5_4; |

403 |
Out5_5 = Reshape5_5; |

404 |
Out5_6 = Reshape5_6; |

405 |
Out1_1 = Reshape1_1; |

406 |
Out2_1 = Reshape2_1; |

407 |
Out2_2 = Reshape2_2; |

408 |
Out2_3 = Reshape2_3; |

409 |
Out2_4 = Reshape2_4; |

410 |
Out2_5 = Reshape2_5; |

411 |
Out2_6 = Reshape2_6; |

412 |
Out3_1 = Reshape3_1; |

413 |
Out3_2 = Reshape3_2; |

414 |
Out3_3 = Reshape3_3; |

415 |
Out3_4 = Reshape3_4; |

416 |
Out3_5 = Reshape3_5; |

417 |
Out3_6 = Reshape3_6; |

418 |
Out4_1 = Reshape4_1; |

419 |
Out4_2 = Reshape4_2; |

420 |
Out4_3 = Reshape4_3; |

421 |
Out4_4 = Reshape4_4; |

422 |
Out4_5 = Reshape4_5; |

423 |
Out4_6 = Reshape4_6; |

424 |
Out6_1 = Reshape6_1; |

425 |
Out6_2 = Reshape6_2; |

426 |
Out6_3 = Reshape6_3; |

427 |
Out6_4 = Reshape6_4; |

428 |
Out6_5 = Reshape6_5; |

429 |
Out6_6 = Reshape6_6; |

430 |
Out6_7 = Reshape6_7; |

431 |
Out6_8 = Reshape6_8; |

432 |
Out6_9 = Reshape6_9; |

433 |
Out6_10 = Reshape6_10; |

434 |
Out6_11 = Reshape6_11; |

435 |
Out6_12 = Reshape6_12; |

436 |
Out6_13 = Reshape6_13; |

437 |
Out6_14 = Reshape6_14; |

438 |
Out6_15 = Reshape6_15; |

439 |
Out6_16 = Reshape6_16; |

440 |
Out6_17 = Reshape6_17; |

441 |
Out6_18 = Reshape6_18; |

442 |
Out6_19 = Reshape6_19; |

443 |
Out6_20 = Reshape6_20; |

444 |
Out6_21 = Reshape6_21; |

445 |
Out6_22 = Reshape6_22; |

446 |
Out6_23 = Reshape6_23; |

447 |
Out6_24 = Reshape6_24; |

448 |
Out7_1 = Reshape7_1; |

449 |
Out7_2 = Reshape7_2; |

450 |
Out7_3 = Reshape7_3; |

451 |
Out7_4 = Reshape7_4; |

452 |
Out7_5 = Reshape7_5; |

453 |
Out7_6 = Reshape7_6; |

454 |
Out7_7 = Reshape7_7; |

455 |
Out7_8 = Reshape7_8; |

456 |
Out7_9 = Reshape7_9; |

457 |
Out7_10 = Reshape7_10; |

458 |
Out7_11 = Reshape7_11; |

459 |
Out7_12 = Reshape7_12; |

460 |
Out7_13 = Reshape7_13; |

461 |
Out7_14 = Reshape7_14; |

462 |
Out7_15 = Reshape7_15; |

463 |
Out7_16 = Reshape7_16; |

464 |
Out7_17 = Reshape7_17; |

465 |
Out7_18 = Reshape7_18; |

466 |
Out7_19 = Reshape7_19; |

467 |
Out7_20 = Reshape7_20; |

468 |
Out7_21 = Reshape7_21; |

469 |
Out7_22 = Reshape7_22; |

470 |
Out7_23 = Reshape7_23; |

471 |
Out7_24 = Reshape7_24; |

472 |
Out7_25 = Reshape7_25; |

473 |
Out7_26 = Reshape7_26; |

474 |
Out7_27 = Reshape7_27; |

475 |
Out7_28 = Reshape7_28; |

476 |
Out7_29 = Reshape7_29; |

477 |
Out7_30 = Reshape7_30; |

478 |
Out7_31 = Reshape7_31; |

479 |
Out7_32 = Reshape7_32; |

480 |
Out7_33 = Reshape7_33; |

481 |
Out7_34 = Reshape7_34; |

482 |
Out7_35 = Reshape7_35; |

483 |
Out7_36 = Reshape7_36; |

484 |
Out7_37 = Reshape7_37; |

485 |
Out7_38 = Reshape7_38; |

486 |
Out7_39 = Reshape7_39; |

487 |
Out7_40 = Reshape7_40; |

488 |
Out7_41 = Reshape7_41; |

489 |
Out7_42 = Reshape7_42; |

490 |
Out7_43 = Reshape7_43; |

491 |
Out7_44 = Reshape7_44; |

492 |
Out7_45 = Reshape7_45; |

493 |
Out7_46 = Reshape7_46; |

494 |
Out7_47 = Reshape7_47; |

495 |
Out7_48 = Reshape7_48; |

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

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

498 |
tel |

499 |