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

History | View | Annotate | Download (14.3 KB)

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

2 | |

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

4 |
-- Time: 03-Dec-2018 22:18:52 |

5 |
#open <conv> |

6 |
(* |

7 |
Original block name: Assignment_port_3 |

8 |
*) |

9 |
node Assignment_port_3(_virtual : bool;) |

10 |
returns(Out1_1 : real; |

11 |
Out1_2 : real; |

12 |
Out1_3 : real; |

13 |
Out1_4 : real; |

14 |
Out1_5 : real; |

15 |
Out1_6 : real; |

16 |
Out1_7 : real; |

17 |
Out1_8 : real; |

18 |
Out1_9 : real; |

19 |
Out1_10 : real; |

20 |
Out1_11 : real; |

21 |
Out1_12 : real; |

22 |
Out1_13 : real; |

23 |
Out1_14 : real; |

24 |
Out1_15 : real; |

25 |
Out1_16 : real; |

26 |
Out2_1 : real; |

27 |
Out2_2 : real; |

28 |
Out2_3 : real; |

29 |
Out2_4 : real; |

30 |
Out2_5 : real; |

31 |
Out2_6 : real; |

32 |
Out2_7 : real; |

33 |
Out2_8 : real;); |

34 |
var Assignment_5_993_U_index_1 : int; |

35 |
Assignment_5_993_U_index_2 : int; |

36 |
Assignment_5_993_U_index_3 : int; |

37 |
Assignment_5_993_U_index_4 : int; |

38 |
Assignment_5_993_ind_dim_1_1 : int; |

39 |
Assignment_5_993_ind_dim_1_2 : int; |

40 |
Assignment_5_993_ind_dim_2_1 : int; |

41 |
Assignment_5_993_ind_dim_2_2 : int; |

42 |
Assignment_5_993_str_Y_index_1_1 : int; |

43 |
Assignment_5_993_str_Y_index_1_2 : int; |

44 |
Assignment_5_993_str_Y_index_2_1 : int; |

45 |
Assignment_5_993_str_Y_index_2_2 : int; |

46 |
Assignment_5_993_str_Y_index_3_1 : int; |

47 |
Assignment_5_993_str_Y_index_3_2 : int; |

48 |
Assignment_5_993_str_Y_index_4_1 : int; |

49 |
Assignment_5_993_str_Y_index_4_2 : int; |

50 |
Assignment_1 : real; |

51 |
Assignment_2 : real; |

52 |
Assignment_3 : real; |

53 |
Assignment_4 : real; |

54 |
Assignment_5 : real; |

55 |
Assignment_6 : real; |

56 |
Assignment_7 : real; |

57 |
Assignment_8 : real; |

58 |
Assignment_9 : real; |

59 |
Assignment_10 : real; |

60 |
Assignment_11 : real; |

61 |
Assignment_12 : real; |

62 |
Assignment_13 : real; |

63 |
Assignment_14 : real; |

64 |
Assignment_15 : real; |

65 |
Assignment_16 : real; |

66 |
Assignment1_6_024_U_index_1 : int; |

67 |
Assignment1_6_024_U_index_2 : int; |

68 |
Assignment1_6_024_U_index_3 : int; |

69 |
Assignment1_6_024_U_index_4 : int; |

70 |
Assignment1_6_024_ind_dim_1_1 : int; |

71 |
Assignment1_6_024_ind_dim_1_2 : int; |

72 |
Assignment1_6_024_ind_dim_2_1 : int; |

73 |
Assignment1_6_024_ind_dim_2_2 : int; |

74 |
Assignment1_6_024_str_Y_index_1_1 : int; |

75 |
Assignment1_6_024_str_Y_index_1_2 : int; |

76 |
Assignment1_6_024_str_Y_index_2_1 : int; |

77 |
Assignment1_6_024_str_Y_index_2_2 : int; |

78 |
Assignment1_6_024_str_Y_index_3_1 : int; |

79 |
Assignment1_6_024_str_Y_index_3_2 : int; |

80 |
Assignment1_6_024_str_Y_index_4_1 : int; |

81 |
Assignment1_6_024_str_Y_index_4_2 : int; |

82 |
Assignment1_1 : real; |

83 |
Assignment1_2 : real; |

84 |
Assignment1_3 : real; |

85 |
Assignment1_4 : real; |

86 |
Assignment1_5 : real; |

87 |
Assignment1_6 : real; |

88 |
Assignment1_7 : real; |

89 |
Assignment1_8 : real; |

90 |
Constant_1 : real; |

91 |
Constant_2 : real; |

92 |
Constant_3 : real; |

93 |
Constant_4 : real; |

94 |
Constant_5 : real; |

95 |
Constant_6 : real; |

96 |
Constant_7 : real; |

97 |
Constant_8 : real; |

98 |
Constant_9 : real; |

99 |
Constant_10 : real; |

100 |
Constant_11 : real; |

101 |
Constant_12 : real; |

102 |
Constant_13 : real; |

103 |
Constant_14 : real; |

104 |
Constant_15 : real; |

105 |
Constant_16 : real; |

106 |
Constant1_1 : real; |

107 |
Constant1_2 : real; |

108 |
Constant1_3 : real; |

109 |
Constant1_4 : real; |

110 |
Constant2_1 : int; |

111 |
Constant2_2 : int; |

112 |
Constant3_1 : int; |

113 |
Constant4_1 : real; |

114 |
Constant4_2 : real; |

115 |
Constant4_3 : real; |

116 |
Constant4_4 : real; |

117 |
Constant4_5 : real; |

118 |
Constant4_6 : real; |

119 |
Constant4_7 : real; |

120 |
Constant4_8 : real; |

121 |
Constant5_1 : real; |

122 |
Constant5_2 : real; |

123 |
Constant5_3 : real; |

124 |
Constant5_4 : real; |

125 |
Constant6_1 : real; |

126 |
Constant6_2 : real; |

127 |
__time_step : real; |

128 |
__nb_step : int; |

129 |
let |

130 |
Assignment_5_993_ind_dim_1_1 = (Constant3_1 + 1); |

131 |
Assignment_5_993_ind_dim_1_2 = ((Constant3_1 + 1) + 1); |

132 |
Assignment_5_993_ind_dim_2_1 = (Constant2_1 + 1); |

133 |
Assignment_5_993_ind_dim_2_2 = (Constant2_2 + 1); |

134 |
Assignment_5_993_str_Y_index_1_1 = Assignment_5_993_ind_dim_1_1; |

135 |
Assignment_5_993_str_Y_index_1_2 = Assignment_5_993_ind_dim_2_1; |

136 |
Assignment_5_993_U_index_1 = ( (Assignment_5_993_str_Y_index_1_1 * 1) + ((Assignment_5_993_str_Y_index_1_2 - 1) * 4) ); |

137 |
Assignment_5_993_str_Y_index_2_1 = Assignment_5_993_ind_dim_1_2; |

138 |
Assignment_5_993_str_Y_index_2_2 = Assignment_5_993_ind_dim_2_1; |

139 |
Assignment_5_993_U_index_2 = ( (Assignment_5_993_str_Y_index_2_1 * 1) + ((Assignment_5_993_str_Y_index_2_2 - 1) * 4) ); |

140 |
Assignment_5_993_str_Y_index_3_1 = Assignment_5_993_ind_dim_1_1; |

141 |
Assignment_5_993_str_Y_index_3_2 = Assignment_5_993_ind_dim_2_2; |

142 |
Assignment_5_993_U_index_3 = ( (Assignment_5_993_str_Y_index_3_1 * 1) + ((Assignment_5_993_str_Y_index_3_2 - 1) * 4) ); |

143 |
Assignment_5_993_str_Y_index_4_1 = Assignment_5_993_ind_dim_1_2; |

144 |
Assignment_5_993_str_Y_index_4_2 = Assignment_5_993_ind_dim_2_2; |

145 |
Assignment_5_993_U_index_4 = ( (Assignment_5_993_str_Y_index_4_1 * 1) + ((Assignment_5_993_str_Y_index_4_2 - 1) * 4) ); |

146 |
Assignment_1 = if (Assignment_5_993_U_index_4 = 1) then |

147 |
Constant1_4 |

148 |
else if (Assignment_5_993_U_index_3 = 1) then |

149 |
Constant1_3 |

150 |
else if (Assignment_5_993_U_index_2 = 1) then |

151 |
Constant1_2 |

152 |
else if (Assignment_5_993_U_index_1 = 1) then |

153 |
Constant1_1 |

154 |
else Constant_1; |

155 |
Assignment_2 = if (Assignment_5_993_U_index_4 = 2) then |

156 |
Constant1_4 |

157 |
else if (Assignment_5_993_U_index_3 = 2) then |

158 |
Constant1_3 |

159 |
else if (Assignment_5_993_U_index_2 = 2) then |

160 |
Constant1_2 |

161 |
else if (Assignment_5_993_U_index_1 = 2) then |

162 |
Constant1_1 |

163 |
else Constant_2; |

164 |
Assignment_3 = if (Assignment_5_993_U_index_4 = 3) then |

165 |
Constant1_4 |

166 |
else if (Assignment_5_993_U_index_3 = 3) then |

167 |
Constant1_3 |

168 |
else if (Assignment_5_993_U_index_2 = 3) then |

169 |
Constant1_2 |

170 |
else if (Assignment_5_993_U_index_1 = 3) then |

171 |
Constant1_1 |

172 |
else Constant_3; |

173 |
Assignment_4 = if (Assignment_5_993_U_index_4 = 4) then |

174 |
Constant1_4 |

175 |
else if (Assignment_5_993_U_index_3 = 4) then |

176 |
Constant1_3 |

177 |
else if (Assignment_5_993_U_index_2 = 4) then |

178 |
Constant1_2 |

179 |
else if (Assignment_5_993_U_index_1 = 4) then |

180 |
Constant1_1 |

181 |
else Constant_4; |

182 |
Assignment_5 = if (Assignment_5_993_U_index_4 = 5) then |

183 |
Constant1_4 |

184 |
else if (Assignment_5_993_U_index_3 = 5) then |

185 |
Constant1_3 |

186 |
else if (Assignment_5_993_U_index_2 = 5) then |

187 |
Constant1_2 |

188 |
else if (Assignment_5_993_U_index_1 = 5) then |

189 |
Constant1_1 |

190 |
else Constant_5; |

191 |
Assignment_6 = if (Assignment_5_993_U_index_4 = 6) then |

192 |
Constant1_4 |

193 |
else if (Assignment_5_993_U_index_3 = 6) then |

194 |
Constant1_3 |

195 |
else if (Assignment_5_993_U_index_2 = 6) then |

196 |
Constant1_2 |

197 |
else if (Assignment_5_993_U_index_1 = 6) then |

198 |
Constant1_1 |

199 |
else Constant_6; |

200 |
Assignment_7 = if (Assignment_5_993_U_index_4 = 7) then |

201 |
Constant1_4 |

202 |
else if (Assignment_5_993_U_index_3 = 7) then |

203 |
Constant1_3 |

204 |
else if (Assignment_5_993_U_index_2 = 7) then |

205 |
Constant1_2 |

206 |
else if (Assignment_5_993_U_index_1 = 7) then |

207 |
Constant1_1 |

208 |
else Constant_7; |

209 |
Assignment_8 = if (Assignment_5_993_U_index_4 = 8) then |

210 |
Constant1_4 |

211 |
else if (Assignment_5_993_U_index_3 = 8) then |

212 |
Constant1_3 |

213 |
else if (Assignment_5_993_U_index_2 = 8) then |

214 |
Constant1_2 |

215 |
else if (Assignment_5_993_U_index_1 = 8) then |

216 |
Constant1_1 |

217 |
else Constant_8; |

218 |
Assignment_9 = if (Assignment_5_993_U_index_4 = 9) then |

219 |
Constant1_4 |

220 |
else if (Assignment_5_993_U_index_3 = 9) then |

221 |
Constant1_3 |

222 |
else if (Assignment_5_993_U_index_2 = 9) then |

223 |
Constant1_2 |

224 |
else if (Assignment_5_993_U_index_1 = 9) then |

225 |
Constant1_1 |

226 |
else Constant_9; |

227 |
Assignment_10 = if (Assignment_5_993_U_index_4 = 10) then |

228 |
Constant1_4 |

229 |
else if (Assignment_5_993_U_index_3 = 10) then |

230 |
Constant1_3 |

231 |
else if (Assignment_5_993_U_index_2 = 10) then |

232 |
Constant1_2 |

233 |
else if (Assignment_5_993_U_index_1 = 10) then |

234 |
Constant1_1 |

235 |
else Constant_10; |

236 |
Assignment_11 = if (Assignment_5_993_U_index_4 = 11) then |

237 |
Constant1_4 |

238 |
else if (Assignment_5_993_U_index_3 = 11) then |

239 |
Constant1_3 |

240 |
else if (Assignment_5_993_U_index_2 = 11) then |

241 |
Constant1_2 |

242 |
else if (Assignment_5_993_U_index_1 = 11) then |

243 |
Constant1_1 |

244 |
else Constant_11; |

245 |
Assignment_12 = if (Assignment_5_993_U_index_4 = 12) then |

246 |
Constant1_4 |

247 |
else if (Assignment_5_993_U_index_3 = 12) then |

248 |
Constant1_3 |

249 |
else if (Assignment_5_993_U_index_2 = 12) then |

250 |
Constant1_2 |

251 |
else if (Assignment_5_993_U_index_1 = 12) then |

252 |
Constant1_1 |

253 |
else Constant_12; |

254 |
Assignment_13 = if (Assignment_5_993_U_index_4 = 13) then |

255 |
Constant1_4 |

256 |
else if (Assignment_5_993_U_index_3 = 13) then |

257 |
Constant1_3 |

258 |
else if (Assignment_5_993_U_index_2 = 13) then |

259 |
Constant1_2 |

260 |
else if (Assignment_5_993_U_index_1 = 13) then |

261 |
Constant1_1 |

262 |
else Constant_13; |

263 |
Assignment_14 = if (Assignment_5_993_U_index_4 = 14) then |

264 |
Constant1_4 |

265 |
else if (Assignment_5_993_U_index_3 = 14) then |

266 |
Constant1_3 |

267 |
else if (Assignment_5_993_U_index_2 = 14) then |

268 |
Constant1_2 |

269 |
else if (Assignment_5_993_U_index_1 = 14) then |

270 |
Constant1_1 |

271 |
else Constant_14; |

272 |
Assignment_15 = if (Assignment_5_993_U_index_4 = 15) then |

273 |
Constant1_4 |

274 |
else if (Assignment_5_993_U_index_3 = 15) then |

275 |
Constant1_3 |

276 |
else if (Assignment_5_993_U_index_2 = 15) then |

277 |
Constant1_2 |

278 |
else if (Assignment_5_993_U_index_1 = 15) then |

279 |
Constant1_1 |

280 |
else Constant_15; |

281 |
Assignment_16 = if (Assignment_5_993_U_index_4 = 16) then |

282 |
Constant1_4 |

283 |
else if (Assignment_5_993_U_index_3 = 16) then |

284 |
Constant1_3 |

285 |
else if (Assignment_5_993_U_index_2 = 16) then |

286 |
Constant1_2 |

287 |
else if (Assignment_5_993_U_index_1 = 16) then |

288 |
Constant1_1 |

289 |
else Constant_16; |

290 |
Assignment1_6_024_ind_dim_1_1 = 1; |

291 |
Assignment1_6_024_ind_dim_1_2 = 2; |

292 |
Assignment1_6_024_ind_dim_2_1 = real_to_int(Constant6_1); |

293 |
Assignment1_6_024_ind_dim_2_2 = real_to_int(Constant6_2); |

294 |
Assignment1_6_024_str_Y_index_1_1 = Assignment1_6_024_ind_dim_1_1; |

295 |
Assignment1_6_024_str_Y_index_1_2 = Assignment1_6_024_ind_dim_2_1; |

296 |
Assignment1_6_024_U_index_1 = ( (Assignment1_6_024_str_Y_index_1_1 * 1) + ((Assignment1_6_024_str_Y_index_1_2 - 1) * 2) ); |

297 |
Assignment1_6_024_str_Y_index_2_1 = Assignment1_6_024_ind_dim_1_2; |

298 |
Assignment1_6_024_str_Y_index_2_2 = Assignment1_6_024_ind_dim_2_1; |

299 |
Assignment1_6_024_U_index_2 = ( (Assignment1_6_024_str_Y_index_2_1 * 1) + ((Assignment1_6_024_str_Y_index_2_2 - 1) * 2) ); |

300 |
Assignment1_6_024_str_Y_index_3_1 = Assignment1_6_024_ind_dim_1_1; |

301 |
Assignment1_6_024_str_Y_index_3_2 = Assignment1_6_024_ind_dim_2_2; |

302 |
Assignment1_6_024_U_index_3 = ( (Assignment1_6_024_str_Y_index_3_1 * 1) + ((Assignment1_6_024_str_Y_index_3_2 - 1) * 2) ); |

303 |
Assignment1_6_024_str_Y_index_4_1 = Assignment1_6_024_ind_dim_1_2; |

304 |
Assignment1_6_024_str_Y_index_4_2 = Assignment1_6_024_ind_dim_2_2; |

305 |
Assignment1_6_024_U_index_4 = ( (Assignment1_6_024_str_Y_index_4_1 * 1) + ((Assignment1_6_024_str_Y_index_4_2 - 1) * 2) ); |

306 |
Assignment1_1 = if (Assignment1_6_024_U_index_4 = 1) then |

307 |
Constant5_4 |

308 |
else if (Assignment1_6_024_U_index_3 = 1) then |

309 |
Constant5_3 |

310 |
else if (Assignment1_6_024_U_index_2 = 1) then |

311 |
Constant5_2 |

312 |
else if (Assignment1_6_024_U_index_1 = 1) then |

313 |
Constant5_1 |

314 |
else Constant4_1; |

315 |
Assignment1_2 = if (Assignment1_6_024_U_index_4 = 2) then |

316 |
Constant5_4 |

317 |
else if (Assignment1_6_024_U_index_3 = 2) then |

318 |
Constant5_3 |

319 |
else if (Assignment1_6_024_U_index_2 = 2) then |

320 |
Constant5_2 |

321 |
else if (Assignment1_6_024_U_index_1 = 2) then |

322 |
Constant5_1 |

323 |
else Constant4_2; |

324 |
Assignment1_3 = if (Assignment1_6_024_U_index_4 = 3) then |

325 |
Constant5_4 |

326 |
else if (Assignment1_6_024_U_index_3 = 3) then |

327 |
Constant5_3 |

328 |
else if (Assignment1_6_024_U_index_2 = 3) then |

329 |
Constant5_2 |

330 |
else if (Assignment1_6_024_U_index_1 = 3) then |

331 |
Constant5_1 |

332 |
else Constant4_3; |

333 |
Assignment1_4 = if (Assignment1_6_024_U_index_4 = 4) then |

334 |
Constant5_4 |

335 |
else if (Assignment1_6_024_U_index_3 = 4) then |

336 |
Constant5_3 |

337 |
else if (Assignment1_6_024_U_index_2 = 4) then |

338 |
Constant5_2 |

339 |
else if (Assignment1_6_024_U_index_1 = 4) then |

340 |
Constant5_1 |

341 |
else Constant4_4; |

342 |
Assignment1_5 = if (Assignment1_6_024_U_index_4 = 5) then |

343 |
Constant5_4 |

344 |
else if (Assignment1_6_024_U_index_3 = 5) then |

345 |
Constant5_3 |

346 |
else if (Assignment1_6_024_U_index_2 = 5) then |

347 |
Constant5_2 |

348 |
else if (Assignment1_6_024_U_index_1 = 5) then |

349 |
Constant5_1 |

350 |
else Constant4_5; |

351 |
Assignment1_6 = if (Assignment1_6_024_U_index_4 = 6) then |

352 |
Constant5_4 |

353 |
else if (Assignment1_6_024_U_index_3 = 6) then |

354 |
Constant5_3 |

355 |
else if (Assignment1_6_024_U_index_2 = 6) then |

356 |
Constant5_2 |

357 |
else if (Assignment1_6_024_U_index_1 = 6) then |

358 |
Constant5_1 |

359 |
else Constant4_6; |

360 |
Assignment1_7 = if (Assignment1_6_024_U_index_4 = 7) then |

361 |
Constant5_4 |

362 |
else if (Assignment1_6_024_U_index_3 = 7) then |

363 |
Constant5_3 |

364 |
else if (Assignment1_6_024_U_index_2 = 7) then |

365 |
Constant5_2 |

366 |
else if (Assignment1_6_024_U_index_1 = 7) then |

367 |
Constant5_1 |

368 |
else Constant4_7; |

369 |
Assignment1_8 = if (Assignment1_6_024_U_index_4 = 8) then |

370 |
Constant5_4 |

371 |
else if (Assignment1_6_024_U_index_3 = 8) then |

372 |
Constant5_3 |

373 |
else if (Assignment1_6_024_U_index_2 = 8) then |

374 |
Constant5_2 |

375 |
else if (Assignment1_6_024_U_index_1 = 8) then |

376 |
Constant5_1 |

377 |
else Constant4_8; |

378 |
Constant_1 = 1.000000000000000; |

379 |
Constant_2 = 5.000000000000000; |

380 |
Constant_3 = 9.000000000000000; |

381 |
Constant_4 = 13.000000000000000; |

382 |
Constant_5 = 2.000000000000000; |

383 |
Constant_6 = 6.000000000000000; |

384 |
Constant_7 = 10.000000000000000; |

385 |
Constant_8 = 14.000000000000000; |

386 |
Constant_9 = 3.000000000000000; |

387 |
Constant_10 = 7.000000000000000; |

388 |
Constant_11 = 11.000000000000000; |

389 |
Constant_12 = 15.000000000000000; |

390 |
Constant_13 = 4.000000000000000; |

391 |
Constant_14 = 8.000000000000000; |

392 |
Constant_15 = 12.000000000000000; |

393 |
Constant_16 = 16.000000000000000; |

394 |
Constant1_1 = 7.000000000000000; |

395 |
Constant1_2 = 8.000000000000000; |

396 |
Constant1_3 = 9.000000000000000; |

397 |
Constant1_4 = 10.000000000000000; |

398 |
Constant2_1 = 2; |

399 |
Constant2_2 = 3; |

400 |
Constant3_1 = 1; |

401 |
Constant4_1 = 1.000000000000000; |

402 |
Constant4_2 = 5.000000000000000; |

403 |
Constant4_3 = 2.000000000000000; |

404 |
Constant4_4 = 6.000000000000000; |

405 |
Constant4_5 = 3.000000000000000; |

406 |
Constant4_6 = 7.000000000000000; |

407 |
Constant4_7 = 4.000000000000000; |

408 |
Constant4_8 = 8.000000000000000; |

409 |
Constant5_1 = 7.000000000000000; |

410 |
Constant5_2 = 8.000000000000000; |

411 |
Constant5_3 = 9.000000000000000; |

412 |
Constant5_4 = 10.000000000000000; |

413 |
Constant6_1 = 2.000000000000000; |

414 |
Constant6_2 = 4.000000000000000; |

415 |
Out1_1 = Assignment_1; |

416 |
Out1_2 = Assignment_2; |

417 |
Out1_3 = Assignment_3; |

418 |
Out1_4 = Assignment_4; |

419 |
Out1_5 = Assignment_5; |

420 |
Out1_6 = Assignment_6; |

421 |
Out1_7 = Assignment_7; |

422 |
Out1_8 = Assignment_8; |

423 |
Out1_9 = Assignment_9; |

424 |
Out1_10 = Assignment_10; |

425 |
Out1_11 = Assignment_11; |

426 |
Out1_12 = Assignment_12; |

427 |
Out1_13 = Assignment_13; |

428 |
Out1_14 = Assignment_14; |

429 |
Out1_15 = Assignment_15; |

430 |
Out1_16 = Assignment_16; |

431 |
Out2_1 = Assignment1_1; |

432 |
Out2_2 = Assignment1_2; |

433 |
Out2_3 = Assignment1_3; |

434 |
Out2_4 = Assignment1_4; |

435 |
Out2_5 = Assignment1_5; |

436 |
Out2_6 = Assignment1_6; |

437 |
Out2_7 = Assignment1_7; |

438 |
Out2_8 = Assignment1_8; |

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

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

441 |
tel |

442 |