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

History | View | Annotate | Download (7.79 KB)

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

2 | |||

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

4 | -- Time: 03-Dec-2018 22:12:06 |
||

5 | (* |
||

6 | Original block name: selector_test_PP |
||

7 | *) |
||

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

9 | In1_2 : real; |
||

10 | In1_3 : real; |
||

11 | In2_1 : real; |
||

12 | In2_2 : real; |
||

13 | In2_3 : real; |
||

14 | In3_1 : real; |
||

15 | In3_2 : real; |
||

16 | In3_3 : real; |
||

17 | In4_1 : real; |
||

18 | In4_2 : real; |
||

19 | In4_3 : real; |
||

20 | In5_1 : real; |
||

21 | In5_2 : real; |
||

22 | In5_3 : real; |
||

23 | In6_1 : real; |
||

24 | In6_2 : real; |
||

25 | In6_3 : real;) |
||

26 | returns(Out1_1 : real; |
||

27 | Out1_2 : real; |
||

28 | Out1_3 : real; |
||

29 | Out2_1 : real; |
||

30 | Out2_2 : real; |
||

31 | Out3_1 : real; |
||

32 | Out4_1 : real; |
||

33 | Out4_2 : real; |
||

34 | Out4_3 : real; |
||

35 | Out4_4 : real; |
||

36 | Out4_5 : real; |
||

37 | Out4_6 : real; |
||

38 | Out5_1 : real; |
||

39 | Out5_2 : real; |
||

40 | Out5_3 : real; |
||

41 | Out5_4 : real; |
||

42 | Out5_5 : real; |
||

43 | Out5_6 : real; |
||

44 | Out6_1 : real; |
||

45 | Out6_2 : real; |
||

46 | Out6_3 : real; |
||

47 | Out6_4 : real; |
||

48 | Out6_5 : real; |
||

49 | Out6_6 : real; |
||

50 | Out7_1 : real; |
||

51 | Out7_2 : real; |
||

52 | Out7_3 : real; |
||

53 | Out7_4 : real; |
||

54 | Out7_5 : real; |
||

55 | Out7_6 : real; |
||

56 | Out8_1 : real; |
||

57 | Out8_2 : real; |
||

58 | Out9_1 : real; |
||

59 | Out10_1 : real; |
||

60 | Out10_2 : real; |
||

61 | Out10_3 : real; |
||

62 | Out11_1 : real; |
||

63 | Out12_1 : real; |
||

64 | Out12_2 : real; |
||

65 | Out13_1 : real; |
||

66 | Out13_2 : real; |
||

67 | Out13_3 : real; |
||

68 | Out14_1 : real; |
||

69 | Out14_2 : real; |
||

70 | Out14_3 : real; |
||

71 | Out14_4 : real; |
||

72 | Out15_1 : real; |
||

73 | Out15_2 : real; |
||

74 | Out15_3 : real; |
||

75 | Out15_4 : real;); |
||

76 | var Constant_1 : real; |
||

77 | Constant_2 : real; |
||

78 | Constant_3 : real; |
||

79 | Constant_4 : real; |
||

80 | Constant_5 : real; |
||

81 | Constant_6 : real; |
||

82 | Constant1_1 : real; |
||

83 | Constant1_2 : real; |
||

84 | Constant1_3 : real; |
||

85 | Constant1_4 : real; |
||

86 | Constant1_5 : real; |
||

87 | Constant1_6 : real; |
||

88 | Constant2_1 : real; |
||

89 | Constant2_2 : real; |
||

90 | Constant2_3 : real; |
||

91 | Constant2_4 : real; |
||

92 | Constant2_5 : real; |
||

93 | Constant2_6 : real; |
||

94 | Constant3_1 : real; |
||

95 | Constant3_2 : real; |
||

96 | Constant3_3 : real; |
||

97 | Constant3_4 : real; |
||

98 | Constant3_5 : real; |
||

99 | Constant3_6 : real; |
||

100 | Constant4_1 : real; |
||

101 | Constant4_2 : real; |
||

102 | Constant4_3 : real; |
||

103 | Constant4_4 : real; |
||

104 | Constant4_5 : real; |
||

105 | Constant4_6 : real; |
||

106 | Constant5_1 : real; |
||

107 | Constant5_2 : real; |
||

108 | Constant5_3 : real; |
||

109 | Constant5_4 : real; |
||

110 | Constant5_5 : real; |
||

111 | Constant5_6 : real; |
||

112 | Constant6_1 : real; |
||

113 | Constant6_2 : real; |
||

114 | Constant6_3 : real; |
||

115 | Constant6_4 : real; |
||

116 | Constant6_5 : real; |
||

117 | Constant6_6 : real; |
||

118 | Constant7_1 : real; |
||

119 | Constant7_2 : real; |
||

120 | Constant7_3 : real; |
||

121 | Constant7_4 : real; |
||

122 | Constant7_5 : real; |
||

123 | Constant7_6 : real; |
||

124 | Constant8_1 : real; |
||

125 | Constant8_2 : real; |
||

126 | Constant8_3 : real; |
||

127 | Constant8_4 : real; |
||

128 | Constant8_5 : real; |
||

129 | Constant8_6 : real; |
||

130 | Selector_1 : real; |
||

131 | Selector_2 : real; |
||

132 | Selector_3 : real; |
||

133 | Selector1_1 : real; |
||

134 | Selector1_2 : real; |
||

135 | Selector10_1 : real; |
||

136 | Selector11_1 : real; |
||

137 | Selector11_2 : real; |
||

138 | Selector12_1 : real; |
||

139 | Selector12_2 : real; |
||

140 | Selector12_3 : real; |
||

141 | Selector13_1 : real; |
||

142 | Selector13_2 : real; |
||

143 | Selector13_3 : real; |
||

144 | Selector13_4 : real; |
||

145 | Selector14_1 : real; |
||

146 | Selector14_2 : real; |
||

147 | Selector14_3 : real; |
||

148 | Selector14_4 : real; |
||

149 | Selector2_1 : real; |
||

150 | Selector3_1 : real; |
||

151 | Selector3_2 : real; |
||

152 | Selector3_3 : real; |
||

153 | Selector3_4 : real; |
||

154 | Selector3_5 : real; |
||

155 | Selector3_6 : real; |
||

156 | Selector4_1 : real; |
||

157 | Selector4_2 : real; |
||

158 | Selector4_3 : real; |
||

159 | Selector4_4 : real; |
||

160 | Selector4_5 : real; |
||

161 | Selector4_6 : real; |
||

162 | Selector5_1 : real; |
||

163 | Selector5_2 : real; |
||

164 | Selector5_3 : real; |
||

165 | Selector5_4 : real; |
||

166 | Selector5_5 : real; |
||

167 | Selector5_6 : real; |
||

168 | Selector6_1 : real; |
||

169 | Selector6_2 : real; |
||

170 | Selector6_3 : real; |
||

171 | Selector6_4 : real; |
||

172 | Selector6_5 : real; |
||

173 | Selector6_6 : real; |
||

174 | Selector7_1 : real; |
||

175 | Selector7_2 : real; |
||

176 | Selector8_1 : real; |
||

177 | Selector9_1 : real; |
||

178 | Selector9_2 : real; |
||

179 | Selector9_3 : real; |
||

180 | __time_step : real; |
||

181 | __nb_step : int; |
||

182 | let |
||

183 | Constant_1 = 1.000000000000000; |
||

184 | Constant_2 = 4.000000000000000; |
||

185 | Constant_3 = 2.000000000000000; |
||

186 | Constant_4 = 5.000000000000000; |
||

187 | Constant_5 = 3.000000000000000; |
||

188 | Constant_6 = 6.000000000000000; |
||

189 | Constant1_1 = 1.000000000000000; |
||

190 | Constant1_2 = 4.000000000000000; |
||

191 | Constant1_3 = 2.000000000000000; |
||

192 | Constant1_4 = 5.000000000000000; |
||

193 | Constant1_5 = 3.000000000000000; |
||

194 | Constant1_6 = 6.000000000000000; |
||

195 | Constant2_1 = 1.000000000000000; |
||

196 | Constant2_2 = 4.000000000000000; |
||

197 | Constant2_3 = 2.000000000000000; |
||

198 | Constant2_4 = 5.000000000000000; |
||

199 | Constant2_5 = 3.000000000000000; |
||

200 | Constant2_6 = 6.000000000000000; |
||

201 | Constant3_1 = 1.000000000000000; |
||

202 | Constant3_2 = 4.000000000000000; |
||

203 | Constant3_3 = 2.000000000000000; |
||

204 | Constant3_4 = 5.000000000000000; |
||

205 | Constant3_5 = 3.000000000000000; |
||

206 | Constant3_6 = 6.000000000000000; |
||

207 | Constant4_1 = 1.000000000000000; |
||

208 | Constant4_2 = 4.000000000000000; |
||

209 | Constant4_3 = 2.000000000000000; |
||

210 | Constant4_4 = 5.000000000000000; |
||

211 | Constant4_5 = 3.000000000000000; |
||

212 | Constant4_6 = 6.000000000000000; |
||

213 | Constant5_1 = 1.000000000000000; |
||

214 | Constant5_2 = 4.000000000000000; |
||

215 | Constant5_3 = 2.000000000000000; |
||

216 | Constant5_4 = 5.000000000000000; |
||

217 | Constant5_5 = 3.000000000000000; |
||

218 | Constant5_6 = 6.000000000000000; |
||

219 | Constant6_1 = 1.000000000000000; |
||

220 | Constant6_2 = 4.000000000000000; |
||

221 | Constant6_3 = 2.000000000000000; |
||

222 | Constant6_4 = 5.000000000000000; |
||

223 | Constant6_5 = 3.000000000000000; |
||

224 | Constant6_6 = 6.000000000000000; |
||

225 | Constant7_1 = 1.000000000000000; |
||

226 | Constant7_2 = 4.000000000000000; |
||

227 | Constant7_3 = 2.000000000000000; |
||

228 | Constant7_4 = 5.000000000000000; |
||

229 | Constant7_5 = 3.000000000000000; |
||

230 | Constant7_6 = 6.000000000000000; |
||

231 | Constant8_1 = 1.000000000000000; |
||

232 | Constant8_2 = 4.000000000000000; |
||

233 | Constant8_3 = 2.000000000000000; |
||

234 | Constant8_4 = 5.000000000000000; |
||

235 | Constant8_5 = 3.000000000000000; |
||

236 | Constant8_6 = 6.000000000000000; |
||

237 | Selector_1 = In1_2; |
||

238 | Selector_2 = In1_1; |
||

239 | Selector_3 = In1_1; |
||

240 | Selector1_1 = Constant_2; |
||

241 | Selector1_2 = Constant_1; |
||

242 | Selector10_1 = In5_1; |
||

243 | Selector11_1 = In6_1; |
||

244 | Selector11_2 = In6_2; |
||

245 | Selector12_1 = Constant6_1; |
||

246 | Selector12_2 = Constant6_3; |
||

247 | Selector12_3 = Constant6_5; |
||

248 | Selector13_1 = Constant7_2; |
||

249 | Selector13_2 = Constant7_1; |
||

250 | Selector13_3 = Constant7_4; |
||

251 | Selector13_4 = Constant7_3; |
||

252 | Selector14_1 = Constant8_2; |
||

253 | Selector14_2 = Constant8_1; |
||

254 | Selector14_3 = Constant8_4; |
||

255 | Selector14_4 = Constant8_3; |
||

256 | Selector2_1 = In2_2; |
||

257 | Selector3_1 = Constant1_2; |
||

258 | Selector3_2 = Constant1_1; |
||

259 | Selector3_3 = Constant1_4; |
||

260 | Selector3_4 = Constant1_3; |
||

261 | Selector3_5 = Constant1_6; |
||

262 | Selector3_6 = Constant1_5; |
||

263 | Selector4_1 = Constant2_1; |
||

264 | Selector4_2 = Constant2_2; |
||

265 | Selector4_3 = Constant2_3; |
||

266 | Selector4_4 = Constant2_4; |
||

267 | Selector4_5 = Constant2_5; |
||

268 | Selector4_6 = Constant2_6; |
||

269 | Selector5_1 = Constant3_1; |
||

270 | Selector5_2 = Constant3_2; |
||

271 | Selector5_3 = Constant3_3; |
||

272 | Selector5_4 = Constant3_4; |
||

273 | Selector5_5 = Constant3_5; |
||

274 | Selector5_6 = Constant3_6; |
||

275 | Selector6_1 = Constant4_2; |
||

276 | Selector6_2 = Constant4_1; |
||

277 | Selector6_3 = Constant4_4; |
||

278 | Selector6_4 = Constant4_3; |
||

279 | Selector6_5 = Constant4_6; |
||

280 | Selector6_6 = Constant4_5; |
||

281 | Selector7_1 = Constant5_2; |
||

282 | Selector7_2 = Constant5_1; |
||

283 | Selector8_1 = In3_2; |
||

284 | Selector9_1 = In4_2; |
||

285 | Selector9_2 = In4_1; |
||

286 | Selector9_3 = In4_1; |
||

287 | Out1_1 = Selector_1; |
||

288 | Out1_2 = Selector_2; |
||

289 | Out1_3 = Selector_3; |
||

290 | Out2_1 = Selector1_1; |
||

291 | Out2_2 = Selector1_2; |
||

292 | Out3_1 = Selector2_1; |
||

293 | Out4_1 = Selector3_1; |
||

294 | Out4_2 = Selector3_2; |
||

295 | Out4_3 = Selector3_3; |
||

296 | Out4_4 = Selector3_4; |
||

297 | Out4_5 = Selector3_5; |
||

298 | Out4_6 = Selector3_6; |
||

299 | Out5_1 = Selector4_1; |
||

300 | Out5_2 = Selector4_2; |
||

301 | Out5_3 = Selector4_3; |
||

302 | Out5_4 = Selector4_4; |
||

303 | Out5_5 = Selector4_5; |
||

304 | Out5_6 = Selector4_6; |
||

305 | Out6_1 = Selector5_1; |
||

306 | Out6_2 = Selector5_2; |
||

307 | Out6_3 = Selector5_3; |
||

308 | Out6_4 = Selector5_4; |
||

309 | Out6_5 = Selector5_5; |
||

310 | Out6_6 = Selector5_6; |
||

311 | Out7_1 = Selector6_1; |
||

312 | Out7_2 = Selector6_2; |
||

313 | Out7_3 = Selector6_3; |
||

314 | Out7_4 = Selector6_4; |
||

315 | Out7_5 = Selector6_5; |
||

316 | Out7_6 = Selector6_6; |
||

317 | Out8_1 = Selector7_1; |
||

318 | Out8_2 = Selector7_2; |
||

319 | Out9_1 = Selector8_1; |
||

320 | Out10_1 = Selector9_1; |
||

321 | Out10_2 = Selector9_2; |
||

322 | Out10_3 = Selector9_3; |
||

323 | Out11_1 = Selector10_1; |
||

324 | Out12_1 = Selector11_1; |
||

325 | Out12_2 = Selector11_2; |
||

326 | Out13_1 = Selector12_1; |
||

327 | Out13_2 = Selector12_2; |
||

328 | Out13_3 = Selector12_3; |
||

329 | Out14_1 = Selector13_1; |
||

330 | Out14_2 = Selector13_2; |
||

331 | Out14_3 = Selector13_3; |
||

332 | Out14_4 = Selector13_4; |
||

333 | Out15_1 = Selector14_1; |
||

334 | Out15_2 = Selector14_2; |
||

335 | Out15_3 = Selector14_3; |
||

336 | Out15_4 = Selector14_4; |
||

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

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

339 | tel |