1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:07:05

5

node int_to_bool(x : int;)

6

returns(y : bool;);

7

let

8

y = (x <> 0);

9

tel

10


11

node real_to_bool(x : real;)

12

returns(y : bool;);

13

let

14

y = (x <> 0.0);

15

tel

16


17

(*

18

Original block name: logic_test_PP

19

*)

20

node logic_test_PP(In1_1 : bool;

21

In4_1 : real;

22

In5_1 : int;

23

In6_1 : real;

24

In6_2 : real;

25

In7_1 : int;

26

In7_2 : int;

27

In7_3 : int;

28

In7_4 : int;

29

In7_5 : int;

30

In7_6 : int;

31

In8_1 : real;

32

In8_2 : real;

33

In9_1 : real;

34

In9_2 : real;

35

In10_1 : int;

36

In10_2 : int;

37

In10_3 : int;

38

In10_4 : int;

39

In10_5 : int;

40

In10_6 : int;

41

In11_1 : int;

42

In11_2 : int;

43

In11_3 : int;

44

In11_4 : int;

45

In11_5 : int;

46

In11_6 : int;

47

In12_1 : real;

48

In12_2 : real;

49

In13_1 : real;

50

In13_2 : real;

51

In14_1 : int;

52

In14_2 : int;

53

In14_3 : int;

54

In14_4 : int;

55

In14_5 : int;

56

In14_6 : int;

57

In15_1 : int;

58

In15_2 : int;

59

In15_3 : int;

60

In15_4 : int;

61

In15_5 : int;

62

In15_6 : int;

63

In16_1 : real;

64

In16_2 : real;

65

In17_1 : real;

66

In17_2 : real;

67

In18_1 : int;

68

In18_2 : int;

69

In18_3 : int;

70

In18_4 : int;

71

In18_5 : int;

72

In18_6 : int;

73

In19_1 : int;

74

In19_2 : int;

75

In19_3 : int;

76

In19_4 : int;

77

In19_5 : int;

78

In19_6 : int;

79

In20_1 : real;

80

In20_2 : real;

81

In21_1 : real;

82

In21_2 : real;

83

In22_1 : int;

84

In22_2 : int;

85

In22_3 : int;

86

In22_4 : int;

87

In22_5 : int;

88

In22_6 : int;

89

In23_1 : int;

90

In23_2 : int;

91

In23_3 : int;

92

In23_4 : int;

93

In23_5 : int;

94

In23_6 : int;

95

In24_1 : real;

96

In24_2 : real;

97

In25_1 : real;

98

In25_2 : real;

99

In26_1 : int;

100

In26_2 : int;

101

In26_3 : int;

102

In26_4 : int;

103

In26_5 : int;

104

In26_6 : int;

105

In27_1 : int;

106

In27_2 : int;

107

In27_3 : int;

108

In27_4 : int;

109

In27_5 : int;

110

In27_6 : int;

111

In2_1 : bool;

112

In2_2 : bool;

113

In3_1 : bool;

114

In3_2 : bool;

115

In3_3 : bool;

116

In3_4 : bool;)

117

returns(Out1_1 : bool;

118

Out7_1 : bool;

119

Out8_1 : bool;

120

Out9_1 : bool;

121

Out9_2 : bool;

122

Out10_1 : bool;

123

Out10_2 : bool;

124

Out10_3 : bool;

125

Out10_4 : bool;

126

Out10_5 : bool;

127

Out10_6 : bool;

128

Out11_1 : bool;

129

Out11_2 : bool;

130

Out12_1 : bool;

131

Out12_2 : bool;

132

Out12_3 : bool;

133

Out12_4 : bool;

134

Out12_5 : bool;

135

Out12_6 : bool;

136

Out13_1 : bool;

137

Out13_2 : bool;

138

Out14_1 : bool;

139

Out14_2 : bool;

140

Out14_3 : bool;

141

Out14_4 : bool;

142

Out14_5 : bool;

143

Out14_6 : bool;

144

Out15_1 : bool;

145

Out15_2 : bool;

146

Out16_1 : bool;

147

Out16_2 : bool;

148

Out16_3 : bool;

149

Out16_4 : bool;

150

Out16_5 : bool;

151

Out16_6 : bool;

152

Out17_1 : bool;

153

Out17_2 : bool;

154

Out18_1 : bool;

155

Out18_2 : bool;

156

Out18_3 : bool;

157

Out18_4 : bool;

158

Out18_5 : bool;

159

Out18_6 : bool;

160

Out19_1 : bool;

161

Out19_2 : bool;

162

Out20_1 : bool;

163

Out20_2 : bool;

164

Out20_3 : bool;

165

Out20_4 : bool;

166

Out20_5 : bool;

167

Out20_6 : bool;

168

Out2_1 : bool;

169

Out2_2 : bool;

170

Out3_1 : bool;

171

Out3_2 : bool;

172

Out4_1 : bool;

173

Out4_2 : bool;

174

Out4_3 : bool;

175

Out4_4 : bool;

176

Out5_1 : bool;

177

Out5_2 : bool;

178

Out6_1 : bool;

179

Out6_2 : bool;

180

Out6_3 : bool;

181

Out6_4 : bool;

182

Out21_1 : bool;

183

Out21_2 : bool;

184

Out21_3 : bool;

185

Out21_4 : bool;);

186

var LogicalOperator_1 : bool;

187

LogicalOperator1_1 : bool;

188

LogicalOperator1_2 : bool;

189

LogicalOperator10_1 : bool;

190

LogicalOperator10_2 : bool;

191

LogicalOperator11_1 : bool;

192

LogicalOperator11_2 : bool;

193

LogicalOperator11_3 : bool;

194

LogicalOperator11_4 : bool;

195

LogicalOperator11_5 : bool;

196

LogicalOperator11_6 : bool;

197

LogicalOperator12_1 : bool;

198

LogicalOperator12_2 : bool;

199

LogicalOperator13_1 : bool;

200

LogicalOperator13_2 : bool;

201

LogicalOperator13_3 : bool;

202

LogicalOperator13_4 : bool;

203

LogicalOperator13_5 : bool;

204

LogicalOperator13_6 : bool;

205

LogicalOperator14_1 : bool;

206

LogicalOperator14_2 : bool;

207

LogicalOperator15_1 : bool;

208

LogicalOperator15_2 : bool;

209

LogicalOperator15_3 : bool;

210

LogicalOperator15_4 : bool;

211

LogicalOperator15_5 : bool;

212

LogicalOperator15_6 : bool;

213

LogicalOperator16_1 : bool;

214

LogicalOperator16_2 : bool;

215

LogicalOperator17_1 : bool;

216

LogicalOperator17_2 : bool;

217

LogicalOperator17_3 : bool;

218

LogicalOperator17_4 : bool;

219

LogicalOperator17_5 : bool;

220

LogicalOperator17_6 : bool;

221

LogicalOperator18_1 : bool;

222

LogicalOperator18_2 : bool;

223

LogicalOperator19_1 : bool;

224

LogicalOperator19_2 : bool;

225

LogicalOperator19_3 : bool;

226

LogicalOperator19_4 : bool;

227

LogicalOperator19_5 : bool;

228

LogicalOperator19_6 : bool;

229

LogicalOperator2_1 : bool;

230

LogicalOperator2_2 : bool;

231

LogicalOperator20_1 : bool;

232

LogicalOperator20_2 : bool;

233

LogicalOperator20_3 : bool;

234

LogicalOperator20_4 : bool;

235

LogicalOperator3_1 : bool;

236

LogicalOperator3_2 : bool;

237

LogicalOperator3_3 : bool;

238

LogicalOperator3_4 : bool;

239

LogicalOperator4_1 : bool;

240

LogicalOperator4_2 : bool;

241

LogicalOperator5_1 : bool;

242

LogicalOperator5_2 : bool;

243

LogicalOperator5_3 : bool;

244

LogicalOperator5_4 : bool;

245

LogicalOperator6_1 : bool;

246

LogicalOperator7_1 : bool;

247

LogicalOperator8_1 : bool;

248

LogicalOperator8_2 : bool;

249

LogicalOperator9_1 : bool;

250

LogicalOperator9_2 : bool;

251

LogicalOperator9_3 : bool;

252

LogicalOperator9_4 : bool;

253

LogicalOperator9_5 : bool;

254

LogicalOperator9_6 : bool;

255

__time_step : real;

256

__nb_step : int;

257

let

258

LogicalOperator_1 = (not In1_1);

259

LogicalOperator1_1 = ( In2_1 and In2_1 and In2_1 );

260

LogicalOperator1_2 = ( In2_2 and In2_2 and In2_2 );

261

LogicalOperator10_1 = ( real_to_bool(In8_1) and real_to_bool(In9_1) );

262

LogicalOperator10_2 = ( real_to_bool(In8_2) and real_to_bool(In9_2) );

263

LogicalOperator11_1 = ( int_to_bool(In10_1) and int_to_bool(In11_1) );

264

LogicalOperator11_2 = ( int_to_bool(In10_2) and int_to_bool(In11_2) );

265

LogicalOperator11_3 = ( int_to_bool(In10_3) and int_to_bool(In11_3) );

266

LogicalOperator11_4 = ( int_to_bool(In10_4) and int_to_bool(In11_4) );

267

LogicalOperator11_5 = ( int_to_bool(In10_5) and int_to_bool(In11_5) );

268

LogicalOperator11_6 = ( int_to_bool(In10_6) and int_to_bool(In11_6) );

269

LogicalOperator12_1 = ( real_to_bool(In12_1) or real_to_bool(In13_1) );

270

LogicalOperator12_2 = ( real_to_bool(In12_2) or real_to_bool(In13_2) );

271

LogicalOperator13_1 = ( int_to_bool(In14_1) or int_to_bool(In15_1) );

272

LogicalOperator13_2 = ( int_to_bool(In14_2) or int_to_bool(In15_2) );

273

LogicalOperator13_3 = ( int_to_bool(In14_3) or int_to_bool(In15_3) );

274

LogicalOperator13_4 = ( int_to_bool(In14_4) or int_to_bool(In15_4) );

275

LogicalOperator13_5 = ( int_to_bool(In14_5) or int_to_bool(In15_5) );

276

LogicalOperator13_6 = ( int_to_bool(In14_6) or int_to_bool(In15_6) );

277

LogicalOperator14_1 = (not ( real_to_bool(In16_1) and real_to_bool(In17_1) ));

278

LogicalOperator14_2 = (not ( real_to_bool(In16_2) and real_to_bool(In17_2) ));

279

LogicalOperator15_1 = (not ( int_to_bool(In18_1) and int_to_bool(In19_1) ));

280

LogicalOperator15_2 = (not ( int_to_bool(In18_2) and int_to_bool(In19_2) ));

281

LogicalOperator15_3 = (not ( int_to_bool(In18_3) and int_to_bool(In19_3) ));

282

LogicalOperator15_4 = (not ( int_to_bool(In18_4) and int_to_bool(In19_4) ));

283

LogicalOperator15_5 = (not ( int_to_bool(In18_5) and int_to_bool(In19_5) ));

284

LogicalOperator15_6 = (not ( int_to_bool(In18_6) and int_to_bool(In19_6) ));

285

LogicalOperator16_1 = (not ( real_to_bool(In20_1) or real_to_bool(In21_1) ));

286

LogicalOperator16_2 = (not ( real_to_bool(In20_2) or real_to_bool(In21_2) ));

287

LogicalOperator17_1 = (not ( int_to_bool(In22_1) or int_to_bool(In23_1) ));

288

LogicalOperator17_2 = (not ( int_to_bool(In22_2) or int_to_bool(In23_2) ));

289

LogicalOperator17_3 = (not ( int_to_bool(In22_3) or int_to_bool(In23_3) ));

290

LogicalOperator17_4 = (not ( int_to_bool(In22_4) or int_to_bool(In23_4) ));

291

LogicalOperator17_5 = (not ( int_to_bool(In22_5) or int_to_bool(In23_5) ));

292

LogicalOperator17_6 = (not ( int_to_bool(In22_6) or int_to_bool(In23_6) ));

293

LogicalOperator18_1 = ( real_to_bool(In24_1) xor real_to_bool(In25_1) );

294

LogicalOperator18_2 = ( real_to_bool(In24_2) xor real_to_bool(In25_2) );

295

LogicalOperator19_1 = ( int_to_bool(In26_1) xor int_to_bool(In27_1) );

296

LogicalOperator19_2 = ( int_to_bool(In26_2) xor int_to_bool(In27_2) );

297

LogicalOperator19_3 = ( int_to_bool(In26_3) xor int_to_bool(In27_3) );

298

LogicalOperator19_4 = ( int_to_bool(In26_4) xor int_to_bool(In27_4) );

299

LogicalOperator19_5 = ( int_to_bool(In26_5) xor int_to_bool(In27_5) );

300

LogicalOperator19_6 = ( int_to_bool(In26_6) xor int_to_bool(In27_6) );

301

LogicalOperator2_1 = ( In2_1 or In2_1 or In2_1 );

302

LogicalOperator2_2 = ( In2_2 or In2_2 or In2_2 );

303

LogicalOperator20_1 = (not ( In3_1 xor In3_1 xor In3_1 ));

304

LogicalOperator20_2 = (not ( In3_2 xor In3_2 xor In3_2 ));

305

LogicalOperator20_3 = (not ( In3_3 xor In3_3 xor In3_3 ));

306

LogicalOperator20_4 = (not ( In3_4 xor In3_4 xor In3_4 ));

307

LogicalOperator3_1 = ( In3_1 xor In3_1 xor In3_1 );

308

LogicalOperator3_2 = ( In3_2 xor In3_2 xor In3_2 );

309

LogicalOperator3_3 = ( In3_3 xor In3_3 xor In3_3 );

310

LogicalOperator3_4 = ( In3_4 xor In3_4 xor In3_4 );

311

LogicalOperator4_1 = (not ( In2_1 and In2_1 and In2_1 ));

312

LogicalOperator4_2 = (not ( In2_2 and In2_2 and In2_2 ));

313

LogicalOperator5_1 = (not ( In3_1 or In3_1 or In3_1 ));

314

LogicalOperator5_2 = (not ( In3_2 or In3_2 or In3_2 ));

315

LogicalOperator5_3 = (not ( In3_3 or In3_3 or In3_3 ));

316

LogicalOperator5_4 = (not ( In3_4 or In3_4 or In3_4 ));

317

LogicalOperator6_1 = (not real_to_bool(In4_1));

318

LogicalOperator7_1 = (not int_to_bool(In5_1));

319

LogicalOperator8_1 = (not real_to_bool(In6_1));

320

LogicalOperator8_2 = (not real_to_bool(In6_2));

321

LogicalOperator9_1 = (not int_to_bool(In7_1));

322

LogicalOperator9_2 = (not int_to_bool(In7_2));

323

LogicalOperator9_3 = (not int_to_bool(In7_3));

324

LogicalOperator9_4 = (not int_to_bool(In7_4));

325

LogicalOperator9_5 = (not int_to_bool(In7_5));

326

LogicalOperator9_6 = (not int_to_bool(In7_6));

327

Out1_1 = LogicalOperator_1;

328

Out7_1 = LogicalOperator6_1;

329

Out8_1 = LogicalOperator7_1;

330

Out9_1 = LogicalOperator8_1;

331

Out9_2 = LogicalOperator8_2;

332

Out10_1 = LogicalOperator9_1;

333

Out10_2 = LogicalOperator9_2;

334

Out10_3 = LogicalOperator9_3;

335

Out10_4 = LogicalOperator9_4;

336

Out10_5 = LogicalOperator9_5;

337

Out10_6 = LogicalOperator9_6;

338

Out11_1 = LogicalOperator10_1;

339

Out11_2 = LogicalOperator10_2;

340

Out12_1 = LogicalOperator11_1;

341

Out12_2 = LogicalOperator11_2;

342

Out12_3 = LogicalOperator11_3;

343

Out12_4 = LogicalOperator11_4;

344

Out12_5 = LogicalOperator11_5;

345

Out12_6 = LogicalOperator11_6;

346

Out13_1 = LogicalOperator12_1;

347

Out13_2 = LogicalOperator12_2;

348

Out14_1 = LogicalOperator13_1;

349

Out14_2 = LogicalOperator13_2;

350

Out14_3 = LogicalOperator13_3;

351

Out14_4 = LogicalOperator13_4;

352

Out14_5 = LogicalOperator13_5;

353

Out14_6 = LogicalOperator13_6;

354

Out15_1 = LogicalOperator14_1;

355

Out15_2 = LogicalOperator14_2;

356

Out16_1 = LogicalOperator15_1;

357

Out16_2 = LogicalOperator15_2;

358

Out16_3 = LogicalOperator15_3;

359

Out16_4 = LogicalOperator15_4;

360

Out16_5 = LogicalOperator15_5;

361

Out16_6 = LogicalOperator15_6;

362

Out17_1 = LogicalOperator16_1;

363

Out17_2 = LogicalOperator16_2;

364

Out18_1 = LogicalOperator17_1;

365

Out18_2 = LogicalOperator17_2;

366

Out18_3 = LogicalOperator17_3;

367

Out18_4 = LogicalOperator17_4;

368

Out18_5 = LogicalOperator17_5;

369

Out18_6 = LogicalOperator17_6;

370

Out19_1 = LogicalOperator18_1;

371

Out19_2 = LogicalOperator18_2;

372

Out20_1 = LogicalOperator19_1;

373

Out20_2 = LogicalOperator19_2;

374

Out20_3 = LogicalOperator19_3;

375

Out20_4 = LogicalOperator19_4;

376

Out20_5 = LogicalOperator19_5;

377

Out20_6 = LogicalOperator19_6;

378

Out2_1 = LogicalOperator1_1;

379

Out2_2 = LogicalOperator1_2;

380

Out3_1 = LogicalOperator2_1;

381

Out3_2 = LogicalOperator2_2;

382

Out4_1 = LogicalOperator3_1;

383

Out4_2 = LogicalOperator3_2;

384

Out4_3 = LogicalOperator3_3;

385

Out4_4 = LogicalOperator3_4;

386

Out5_1 = LogicalOperator4_1;

387

Out5_2 = LogicalOperator4_2;

388

Out6_1 = LogicalOperator5_1;

389

Out6_2 = LogicalOperator5_2;

390

Out6_3 = LogicalOperator5_3;

391

Out6_4 = LogicalOperator5_4;

392

Out21_1 = LogicalOperator20_1;

393

Out21_2 = LogicalOperator20_2;

394

Out21_3 = LogicalOperator20_3;

395

Out21_4 = LogicalOperator20_4;

396

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

397

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

398

tel

399

