1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:01:44

5

node bool_to_int(x : bool;)

6

returns(y : int;);

7

let

8

y = if x then

9

1

10

else 0;

11

tel

12


13

(*

14

Original block name: CompareTo3_PP/CompareToZero

15

*)

16

node CompareToZero_166_002(u_1 : real;

17

__time_step : real;

18

__nb_step : int;)

19

returns(y_1 : bool;);

20

var Compare_1 : bool;

21

Constant_1 : real;

22

let

23

Compare_1 = (u_1 <= Constant_1);

24

Constant_1 = 0.000000000000000;

25

y_1 = Compare_1;

26

tel

27


28

(*

29

Original block name: CompareTo3_PP/CompareToZero1

30

*)

31

node CompareToZero1_167_002(u_1 : int;

32

__time_step : real;

33

__nb_step : int;)

34

returns(y_1 : bool;);

35

var Compare_1 : bool;

36

Constant_1 : int;

37

let

38

Compare_1 = (u_1 <= Constant_1);

39

Constant_1 = 0;

40

y_1 = Compare_1;

41

tel

42


43

(*

44

Original block name: CompareTo3_PP/CompareToZero2

45

*)

46

node CompareToZero2_168_002(u_1 : bool;

47

__time_step : real;

48

__nb_step : int;)

49

returns(y_1 : bool;);

50

var Compare_1 : bool;

51

Constant_1 : bool;

52

let

53

Compare_1 = (bool_to_int(u_1) <= bool_to_int(Constant_1));

54

Constant_1 = false;

55

y_1 = Compare_1;

56

tel

57


58

(*

59

Original block name: CompareTo3_PP/CompareToZero3

60

*)

61

node CompareToZero3_169_003(u_1 : real;

62

u_2 : real;

63

u_3 : real;

64

__time_step : real;

65

__nb_step : int;)

66

returns(y_1 : bool;

67

y_2 : bool;

68

y_3 : bool;);

69

var Compare_1 : bool;

70

Compare_2 : bool;

71

Compare_3 : bool;

72

Constant_1 : real;

73

let

74

Compare_1 = (u_1 <= Constant_1);

75

Compare_2 = (u_2 <= Constant_1);

76

Compare_3 = (u_3 <= Constant_1);

77

Constant_1 = 0.000000000000000;

78

y_1 = Compare_1;

79

y_2 = Compare_2;

80

y_3 = Compare_3;

81

tel

82


83

(*

84

Original block name: CompareTo3_PP/CompareToZero4

85

*)

86

node CompareToZero4_170_002(u_1 : int;

87

u_2 : int;

88

u_3 : int;

89

__time_step : real;

90

__nb_step : int;)

91

returns(y_1 : bool;

92

y_2 : bool;

93

y_3 : bool;);

94

var Compare_1 : bool;

95

Compare_2 : bool;

96

Compare_3 : bool;

97

Constant_1 : int;

98

let

99

Compare_1 = (u_1 <= Constant_1);

100

Compare_2 = (u_2 <= Constant_1);

101

Compare_3 = (u_3 <= Constant_1);

102

Constant_1 = 0;

103

y_1 = Compare_1;

104

y_2 = Compare_2;

105

y_3 = Compare_3;

106

tel

107


108

(*

109

Original block name: CompareTo3_PP/CompareToZero5

110

*)

111

node CompareToZero5_171_002(u_1 : bool;

112

u_2 : bool;

113

u_3 : bool;

114

__time_step : real;

115

__nb_step : int;)

116

returns(y_1 : bool;

117

y_2 : bool;

118

y_3 : bool;);

119

var Compare_1 : bool;

120

Compare_2 : bool;

121

Compare_3 : bool;

122

Constant_1 : bool;

123

let

124

Compare_1 = (bool_to_int(u_1) <= bool_to_int(Constant_1));

125

Compare_2 = (bool_to_int(u_2) <= bool_to_int(Constant_1));

126

Compare_3 = (bool_to_int(u_3) <= bool_to_int(Constant_1));

127

Constant_1 = false;

128

y_1 = Compare_1;

129

y_2 = Compare_2;

130

y_3 = Compare_3;

131

tel

132


133

(*

134

Original block name: CompareTo3_PP/CompareToZero6

135

*)

136

node CompareToZero6_172_002(u_1 : real;

137

u_2 : real;

138

u_3 : real;

139

u_4 : real;

140

u_5 : real;

141

u_6 : real;

142

__time_step : real;

143

__nb_step : int;)

144

returns(y_1 : bool;

145

y_2 : bool;

146

y_3 : bool;

147

y_4 : bool;

148

y_5 : bool;

149

y_6 : bool;);

150

var Compare_1 : bool;

151

Compare_2 : bool;

152

Compare_3 : bool;

153

Compare_4 : bool;

154

Compare_5 : bool;

155

Compare_6 : bool;

156

Constant_1 : real;

157

let

158

Compare_1 = (u_1 <= Constant_1);

159

Compare_2 = (u_2 <= Constant_1);

160

Compare_3 = (u_3 <= Constant_1);

161

Compare_4 = (u_4 <= Constant_1);

162

Compare_5 = (u_5 <= Constant_1);

163

Compare_6 = (u_6 <= Constant_1);

164

Constant_1 = 0.000000000000000;

165

y_1 = Compare_1;

166

y_2 = Compare_2;

167

y_3 = Compare_3;

168

y_4 = Compare_4;

169

y_5 = Compare_5;

170

y_6 = Compare_6;

171

tel

172


173

(*

174

Original block name: CompareTo3_PP/CompareToZero7

175

*)

176

node CompareToZero7_173_002(u_1 : int;

177

u_2 : int;

178

u_3 : int;

179

u_4 : int;

180

u_5 : int;

181

u_6 : int;

182

__time_step : real;

183

__nb_step : int;)

184

returns(y_1 : bool;

185

y_2 : bool;

186

y_3 : bool;

187

y_4 : bool;

188

y_5 : bool;

189

y_6 : bool;);

190

var Compare_1 : bool;

191

Compare_2 : bool;

192

Compare_3 : bool;

193

Compare_4 : bool;

194

Compare_5 : bool;

195

Compare_6 : bool;

196

Constant_1 : int;

197

let

198

Compare_1 = (u_1 <= Constant_1);

199

Compare_2 = (u_2 <= Constant_1);

200

Compare_3 = (u_3 <= Constant_1);

201

Compare_4 = (u_4 <= Constant_1);

202

Compare_5 = (u_5 <= Constant_1);

203

Compare_6 = (u_6 <= Constant_1);

204

Constant_1 = 0;

205

y_1 = Compare_1;

206

y_2 = Compare_2;

207

y_3 = Compare_3;

208

y_4 = Compare_4;

209

y_5 = Compare_5;

210

y_6 = Compare_6;

211

tel

212


213

(*

214

Original block name: CompareTo3_PP/CompareToZero8

215

*)

216

node CompareToZero8_174_002(u_1 : bool;

217

u_2 : bool;

218

u_3 : bool;

219

u_4 : bool;

220

u_5 : bool;

221

u_6 : bool;

222

__time_step : real;

223

__nb_step : int;)

224

returns(y_1 : bool;

225

y_2 : bool;

226

y_3 : bool;

227

y_4 : bool;

228

y_5 : bool;

229

y_6 : bool;);

230

var Compare_1 : bool;

231

Compare_2 : bool;

232

Compare_3 : bool;

233

Compare_4 : bool;

234

Compare_5 : bool;

235

Compare_6 : bool;

236

Constant_1 : bool;

237

let

238

Compare_1 = (bool_to_int(u_1) <= bool_to_int(Constant_1));

239

Compare_2 = (bool_to_int(u_2) <= bool_to_int(Constant_1));

240

Compare_3 = (bool_to_int(u_3) <= bool_to_int(Constant_1));

241

Compare_4 = (bool_to_int(u_4) <= bool_to_int(Constant_1));

242

Compare_5 = (bool_to_int(u_5) <= bool_to_int(Constant_1));

243

Compare_6 = (bool_to_int(u_6) <= bool_to_int(Constant_1));

244

Constant_1 = false;

245

y_1 = Compare_1;

246

y_2 = Compare_2;

247

y_3 = Compare_3;

248

y_4 = Compare_4;

249

y_5 = Compare_5;

250

y_6 = Compare_6;

251

tel

252


253

(*

254

Original block name: CompareTo3_PP

255

*)

256

node CompareTo3_PP(In1_1 : real;

257

In2_1 : int;

258

In3_1 : bool;

259

In4_1 : real;

260

In4_2 : real;

261

In4_3 : real;

262

In5_1 : int;

263

In5_2 : int;

264

In5_3 : int;

265

In6_1 : bool;

266

In6_2 : bool;

267

In6_3 : bool;

268

In7_1 : real;

269

In7_2 : real;

270

In7_3 : real;

271

In7_4 : real;

272

In7_5 : real;

273

In7_6 : real;

274

In8_1 : int;

275

In8_2 : int;

276

In8_3 : int;

277

In8_4 : int;

278

In8_5 : int;

279

In8_6 : int;

280

In9_1 : bool;

281

In9_2 : bool;

282

In9_3 : bool;

283

In9_4 : bool;

284

In9_5 : bool;

285

In9_6 : bool;)

286

returns(Out1_1 : bool;

287

Out2_1 : bool;

288

Out3_1 : bool;

289

Out4_1 : bool;

290

Out4_2 : bool;

291

Out4_3 : bool;

292

Out5_1 : bool;

293

Out5_2 : bool;

294

Out5_3 : bool;

295

Out6_1 : bool;

296

Out6_2 : bool;

297

Out6_3 : bool;

298

Out7_1 : bool;

299

Out7_2 : bool;

300

Out7_3 : bool;

301

Out7_4 : bool;

302

Out7_5 : bool;

303

Out7_6 : bool;

304

Out8_1 : bool;

305

Out8_2 : bool;

306

Out8_3 : bool;

307

Out8_4 : bool;

308

Out8_5 : bool;

309

Out8_6 : bool;

310

Out9_1 : bool;

311

Out9_2 : bool;

312

Out9_3 : bool;

313

Out9_4 : bool;

314

Out9_5 : bool;

315

Out9_6 : bool;);

316

var CompareToZero_1 : bool;

317

CompareToZero1_1 : bool;

318

CompareToZero2_1 : bool;

319

CompareToZero3_1 : bool;

320

CompareToZero3_2 : bool;

321

CompareToZero3_3 : bool;

322

CompareToZero4_1 : bool;

323

CompareToZero4_2 : bool;

324

CompareToZero4_3 : bool;

325

CompareToZero5_1 : bool;

326

CompareToZero5_2 : bool;

327

CompareToZero5_3 : bool;

328

CompareToZero6_1 : bool;

329

CompareToZero6_2 : bool;

330

CompareToZero6_3 : bool;

331

CompareToZero6_4 : bool;

332

CompareToZero6_5 : bool;

333

CompareToZero6_6 : bool;

334

CompareToZero7_1 : bool;

335

CompareToZero7_2 : bool;

336

CompareToZero7_3 : bool;

337

CompareToZero7_4 : bool;

338

CompareToZero7_5 : bool;

339

CompareToZero7_6 : bool;

340

CompareToZero8_1 : bool;

341

CompareToZero8_2 : bool;

342

CompareToZero8_3 : bool;

343

CompareToZero8_4 : bool;

344

CompareToZero8_5 : bool;

345

CompareToZero8_6 : bool;

346

__time_step : real;

347

__nb_step : int;

348

let

349

CompareToZero_1 = CompareToZero_166_002(In1_1, __time_step, __nb_step);

350

CompareToZero1_1 = CompareToZero1_167_002(In2_1, __time_step, __nb_step);

351

CompareToZero2_1 = CompareToZero2_168_002(In3_1, __time_step, __nb_step);

352

(CompareToZero3_1, CompareToZero3_2, CompareToZero3_3) = CompareToZero3_169_003(In4_1, In4_2, In4_3, __time_step, __nb_step);

353

(CompareToZero4_1, CompareToZero4_2, CompareToZero4_3) = CompareToZero4_170_002(In5_1, In5_2, In5_3, __time_step, __nb_step);

354

(CompareToZero5_1, CompareToZero5_2, CompareToZero5_3) = CompareToZero5_171_002(In6_1, In6_2, In6_3, __time_step, __nb_step);

355

(CompareToZero6_1, CompareToZero6_2, CompareToZero6_3, CompareToZero6_4, CompareToZero6_5, CompareToZero6_6) = CompareToZero6_172_002(In7_1, In7_2, In7_3, In7_4, In7_5, In7_6, __time_step, __nb_step);

356

(CompareToZero7_1, CompareToZero7_2, CompareToZero7_3, CompareToZero7_4, CompareToZero7_5, CompareToZero7_6) = CompareToZero7_173_002(In8_1, In8_2, In8_3, In8_4, In8_5, In8_6, __time_step, __nb_step);

357

(CompareToZero8_1, CompareToZero8_2, CompareToZero8_3, CompareToZero8_4, CompareToZero8_5, CompareToZero8_6) = CompareToZero8_174_002(In9_1, In9_2, In9_3, In9_4, In9_5, In9_6, __time_step, __nb_step);

358

Out1_1 = CompareToZero_1;

359

Out2_1 = CompareToZero1_1;

360

Out3_1 = CompareToZero2_1;

361

Out4_1 = CompareToZero3_1;

362

Out4_2 = CompareToZero3_2;

363

Out4_3 = CompareToZero3_3;

364

Out5_1 = CompareToZero4_1;

365

Out5_2 = CompareToZero4_2;

366

Out5_3 = CompareToZero4_3;

367

Out6_1 = CompareToZero5_1;

368

Out6_2 = CompareToZero5_2;

369

Out6_3 = CompareToZero5_3;

370

Out7_1 = CompareToZero6_1;

371

Out7_2 = CompareToZero6_2;

372

Out7_3 = CompareToZero6_3;

373

Out7_4 = CompareToZero6_4;

374

Out7_5 = CompareToZero6_5;

375

Out7_6 = CompareToZero6_6;

376

Out8_1 = CompareToZero7_1;

377

Out8_2 = CompareToZero7_2;

378

Out8_3 = CompareToZero7_3;

379

Out8_4 = CompareToZero7_4;

380

Out8_5 = CompareToZero7_5;

381

Out8_6 = CompareToZero7_6;

382

Out9_1 = CompareToZero8_1;

383

Out9_2 = CompareToZero8_2;

384

Out9_3 = CompareToZero8_3;

385

Out9_4 = CompareToZero8_4;

386

Out9_5 = CompareToZero8_5;

387

Out9_6 = CompareToZero8_6;

388

__time_step = (0.0 > ((pre __time_step) + 0.200000000000000));

389

__nb_step = (0 > ((pre __nb_step) + 1));

390

tel

391

