1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:02:43

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: detect_fall_test_PP/Detect Fall

15

Negative/Negative

16

*)

17

node Negative_287_003(u_1 : real;

18

__time_step : real;

19

__nb_step : int;)

20

returns(y_1 : bool;);

21

var Compare_1 : bool;

22

Constant_1 : real;

23

let

24

Compare_1 = (u_1 < Constant_1);

25

Constant_1 = 0.000000000000000;

26

y_1 = Compare_1;

27

tel

28


29

(*

30

Original block name: detect_fall_test_PP/Detect Fall

31

Negative

32

*)

33

node DetectFallNegative_283_003(U_1 : real;

34

__time_step : real;

35

__nb_step : int;)

36

returns(Y_1 : bool;);

37

var DelayInput1_1 : bool;

38

FixPtRelationalOperator_1 : bool;

39

Negative_1 : bool;

40

let

41

DelayInput1_1 = (false > (pre Negative_1));

42

FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));

43

Negative_1 = Negative_287_003(U_1, __time_step, __nb_step);

44

Y_1 = FixPtRelationalOperator_1;

45

tel

46


47

(*

48

Original block name: detect_fall_test_PP/Detect Fall

49

Negative1/Negative

50

*)

51

node Negative_308_003(u_1 : real;

52

u_2 : real;

53

u_3 : real;

54

u_4 : real;

55

u_5 : real;

56

__time_step : real;

57

__nb_step : int;)

58

returns(y_1 : bool;

59

y_2 : bool;

60

y_3 : bool;

61

y_4 : bool;

62

y_5 : bool;);

63

var Compare_1 : bool;

64

Compare_2 : bool;

65

Compare_3 : bool;

66

Compare_4 : bool;

67

Compare_5 : bool;

68

Constant_1 : real;

69

let

70

Compare_1 = (u_1 < Constant_1);

71

Compare_2 = (u_2 < Constant_1);

72

Compare_3 = (u_3 < Constant_1);

73

Compare_4 = (u_4 < Constant_1);

74

Compare_5 = (u_5 < Constant_1);

75

Constant_1 = 0.000000000000000;

76

y_1 = Compare_1;

77

y_2 = Compare_2;

78

y_3 = Compare_3;

79

y_4 = Compare_4;

80

y_5 = Compare_5;

81

tel

82


83

(*

84

Original block name: detect_fall_test_PP/Detect Fall

85

Negative1

86

*)

87

node DetectFallNegative1_304_003(U_1 : real;

88

U_2 : real;

89

U_3 : real;

90

U_4 : real;

91

U_5 : real;

92

__time_step : real;

93

__nb_step : int;)

94

returns(Y_1 : bool;

95

Y_2 : bool;

96

Y_3 : bool;

97

Y_4 : bool;

98

Y_5 : bool;);

99

var DelayInput1_1 : bool;

100

DelayInput1_2 : bool;

101

DelayInput1_3 : bool;

102

DelayInput1_4 : bool;

103

DelayInput1_5 : bool;

104

FixPtRelationalOperator_1 : bool;

105

FixPtRelationalOperator_2 : bool;

106

FixPtRelationalOperator_3 : bool;

107

FixPtRelationalOperator_4 : bool;

108

FixPtRelationalOperator_5 : bool;

109

Negative_1 : bool;

110

Negative_2 : bool;

111

Negative_3 : bool;

112

Negative_4 : bool;

113

Negative_5 : bool;

114

let

115

DelayInput1_1 = (false > (pre Negative_1));

116

DelayInput1_2 = (false > (pre Negative_2));

117

DelayInput1_3 = (false > (pre Negative_3));

118

DelayInput1_4 = (false > (pre Negative_4));

119

DelayInput1_5 = (false > (pre Negative_5));

120

FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));

121

FixPtRelationalOperator_2 = (bool_to_int(Negative_2) > bool_to_int(DelayInput1_2));

122

FixPtRelationalOperator_3 = (bool_to_int(Negative_3) > bool_to_int(DelayInput1_3));

123

FixPtRelationalOperator_4 = (bool_to_int(Negative_4) > bool_to_int(DelayInput1_4));

124

FixPtRelationalOperator_5 = (bool_to_int(Negative_5) > bool_to_int(DelayInput1_5));

125

(Negative_1, Negative_2, Negative_3, Negative_4, Negative_5) = Negative_308_003(U_1, U_2, U_3, U_4, U_5, __time_step, __nb_step);

126

Y_1 = FixPtRelationalOperator_1;

127

Y_2 = FixPtRelationalOperator_2;

128

Y_3 = FixPtRelationalOperator_3;

129

Y_4 = FixPtRelationalOperator_4;

130

Y_5 = FixPtRelationalOperator_5;

131

tel

132


133

(*

134

Original block name: detect_fall_test_PP/Detect Fall

135

Negative2/Negative

136

*)

137

node Negative_329_004(u_1 : int;

138

u_2 : int;

139

u_3 : int;

140

u_4 : int;

141

u_5 : int;

142

u_6 : int;

143

__time_step : real;

144

__nb_step : int;)

145

returns(y_1 : bool;

146

y_2 : bool;

147

y_3 : bool;

148

y_4 : bool;

149

y_5 : bool;

150

y_6 : bool;);

151

var Compare_1 : bool;

152

Compare_2 : bool;

153

Compare_3 : bool;

154

Compare_4 : bool;

155

Compare_5 : bool;

156

Compare_6 : bool;

157

Constant_1 : int;

158

let

159

Compare_1 = (u_1 < Constant_1);

160

Compare_2 = (u_2 < Constant_1);

161

Compare_3 = (u_3 < Constant_1);

162

Compare_4 = (u_4 < Constant_1);

163

Compare_5 = (u_5 < Constant_1);

164

Compare_6 = (u_6 < Constant_1);

165

Constant_1 = 0;

166

y_1 = Compare_1;

167

y_2 = Compare_2;

168

y_3 = Compare_3;

169

y_4 = Compare_4;

170

y_5 = Compare_5;

171

y_6 = Compare_6;

172

tel

173


174

(*

175

Original block name: detect_fall_test_PP/Detect Fall

176

Negative2

177

*)

178

node DetectFallNegative2_325_004(U_1 : int;

179

U_2 : int;

180

U_3 : int;

181

U_4 : int;

182

U_5 : int;

183

U_6 : int;

184

__time_step : real;

185

__nb_step : int;)

186

returns(Y_1 : bool;

187

Y_2 : bool;

188

Y_3 : bool;

189

Y_4 : bool;

190

Y_5 : bool;

191

Y_6 : bool;);

192

var DelayInput1_1 : bool;

193

DelayInput1_2 : bool;

194

DelayInput1_3 : bool;

195

DelayInput1_4 : bool;

196

DelayInput1_5 : bool;

197

DelayInput1_6 : bool;

198

FixPtRelationalOperator_1 : bool;

199

FixPtRelationalOperator_2 : bool;

200

FixPtRelationalOperator_3 : bool;

201

FixPtRelationalOperator_4 : bool;

202

FixPtRelationalOperator_5 : bool;

203

FixPtRelationalOperator_6 : bool;

204

Negative_1 : bool;

205

Negative_2 : bool;

206

Negative_3 : bool;

207

Negative_4 : bool;

208

Negative_5 : bool;

209

Negative_6 : bool;

210

let

211

DelayInput1_1 = (false > (pre Negative_1));

212

DelayInput1_2 = (false > (pre Negative_2));

213

DelayInput1_3 = (false > (pre Negative_3));

214

DelayInput1_4 = (false > (pre Negative_4));

215

DelayInput1_5 = (false > (pre Negative_5));

216

DelayInput1_6 = (false > (pre Negative_6));

217

FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));

218

FixPtRelationalOperator_2 = (bool_to_int(Negative_2) > bool_to_int(DelayInput1_2));

219

FixPtRelationalOperator_3 = (bool_to_int(Negative_3) > bool_to_int(DelayInput1_3));

220

FixPtRelationalOperator_4 = (bool_to_int(Negative_4) > bool_to_int(DelayInput1_4));

221

FixPtRelationalOperator_5 = (bool_to_int(Negative_5) > bool_to_int(DelayInput1_5));

222

FixPtRelationalOperator_6 = (bool_to_int(Negative_6) > bool_to_int(DelayInput1_6));

223

(Negative_1, Negative_2, Negative_3, Negative_4, Negative_5, Negative_6) = Negative_329_004(U_1, U_2, U_3, U_4, U_5, U_6, __time_step, __nb_step);

224

Y_1 = FixPtRelationalOperator_1;

225

Y_2 = FixPtRelationalOperator_2;

226

Y_3 = FixPtRelationalOperator_3;

227

Y_4 = FixPtRelationalOperator_4;

228

Y_5 = FixPtRelationalOperator_5;

229

Y_6 = FixPtRelationalOperator_6;

230

tel

231


232

(*

233

Original block name: detect_fall_test_PP/Detect Fall

234

Negative3/Negative

235

*)

236

node Negative_350_004(u_1 : bool;

237

__time_step : real;

238

__nb_step : int;)

239

returns(y_1 : bool;);

240

var Compare_1 : bool;

241

Constant_1 : bool;

242

let

243

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

244

Constant_1 = false;

245

y_1 = Compare_1;

246

tel

247


248

(*

249

Original block name: detect_fall_test_PP/Detect Fall

250

Negative3

251

*)

252

node DetectFallNegative3_346_004(U_1 : bool;

253

__time_step : real;

254

__nb_step : int;)

255

returns(Y_1 : bool;);

256

var DelayInput1_1 : bool;

257

FixPtRelationalOperator_1 : bool;

258

Negative_1 : bool;

259

let

260

DelayInput1_1 = (false > (pre Negative_1));

261

FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));

262

Negative_1 = Negative_350_004(U_1, __time_step, __nb_step);

263

Y_1 = FixPtRelationalOperator_1;

264

tel

265


266

(*

267

Original block name: detect_fall_test_PP/Detect Fall

268

Nonpositive/Nonpositive

269

*)

270

node Nonpositive_371_003(u_1 : real;

271

__time_step : real;

272

__nb_step : int;)

273

returns(y_1 : bool;);

274

var Compare_1 : bool;

275

Constant_1 : real;

276

let

277

Compare_1 = (u_1 <= Constant_1);

278

Constant_1 = 0.000000000000000;

279

y_1 = Compare_1;

280

tel

281


282

(*

283

Original block name: detect_fall_test_PP/Detect Fall

284

Nonpositive

285

*)

286

node DetectFallNonpositive_367_003(U_1 : real;

287

__time_step : real;

288

__nb_step : int;)

289

returns(Y_1 : bool;);

290

var DelayInput1_1 : bool;

291

FixPtRelationalOperator_1 : bool;

292

Nonpositive_1 : bool;

293

let

294

DelayInput1_1 = (false > (pre Nonpositive_1));

295

FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));

296

Nonpositive_1 = Nonpositive_371_003(U_1, __time_step, __nb_step);

297

Y_1 = FixPtRelationalOperator_1;

298

tel

299


300

(*

301

Original block name: detect_fall_test_PP/Detect Fall

302

Nonpositive1/Nonpositive

303

*)

304

node Nonpositive_392_003(u_1 : real;

305

u_2 : real;

306

u_3 : real;

307

u_4 : real;

308

u_5 : real;

309

__time_step : real;

310

__nb_step : int;)

311

returns(y_1 : bool;

312

y_2 : bool;

313

y_3 : bool;

314

y_4 : bool;

315

y_5 : bool;);

316

var Compare_1 : bool;

317

Compare_2 : bool;

318

Compare_3 : bool;

319

Compare_4 : bool;

320

Compare_5 : bool;

321

Constant_1 : real;

322

let

323

Compare_1 = (u_1 <= Constant_1);

324

Compare_2 = (u_2 <= Constant_1);

325

Compare_3 = (u_3 <= Constant_1);

326

Compare_4 = (u_4 <= Constant_1);

327

Compare_5 = (u_5 <= Constant_1);

328

Constant_1 = 0.000000000000000;

329

y_1 = Compare_1;

330

y_2 = Compare_2;

331

y_3 = Compare_3;

332

y_4 = Compare_4;

333

y_5 = Compare_5;

334

tel

335


336

(*

337

Original block name: detect_fall_test_PP/Detect Fall

338

Nonpositive1

339

*)

340

node DetectFallNonpositive1_388_008(U_1 : real;

341

U_2 : real;

342

U_3 : real;

343

U_4 : real;

344

U_5 : real;

345

__time_step : real;

346

__nb_step : int;)

347

returns(Y_1 : bool;

348

Y_2 : bool;

349

Y_3 : bool;

350

Y_4 : bool;

351

Y_5 : bool;);

352

var DelayInput1_1 : bool;

353

DelayInput1_2 : bool;

354

DelayInput1_3 : bool;

355

DelayInput1_4 : bool;

356

DelayInput1_5 : bool;

357

FixPtRelationalOperator_1 : bool;

358

FixPtRelationalOperator_2 : bool;

359

FixPtRelationalOperator_3 : bool;

360

FixPtRelationalOperator_4 : bool;

361

FixPtRelationalOperator_5 : bool;

362

Nonpositive_1 : bool;

363

Nonpositive_2 : bool;

364

Nonpositive_3 : bool;

365

Nonpositive_4 : bool;

366

Nonpositive_5 : bool;

367

let

368

DelayInput1_1 = (false > (pre Nonpositive_1));

369

DelayInput1_2 = (false > (pre Nonpositive_2));

370

DelayInput1_3 = (false > (pre Nonpositive_3));

371

DelayInput1_4 = (false > (pre Nonpositive_4));

372

DelayInput1_5 = (false > (pre Nonpositive_5));

373

FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));

374

FixPtRelationalOperator_2 = (bool_to_int(Nonpositive_2) > bool_to_int(DelayInput1_2));

375

FixPtRelationalOperator_3 = (bool_to_int(Nonpositive_3) > bool_to_int(DelayInput1_3));

376

FixPtRelationalOperator_4 = (bool_to_int(Nonpositive_4) > bool_to_int(DelayInput1_4));

377

FixPtRelationalOperator_5 = (bool_to_int(Nonpositive_5) > bool_to_int(DelayInput1_5));

378

(Nonpositive_1, Nonpositive_2, Nonpositive_3, Nonpositive_4, Nonpositive_5) = Nonpositive_392_003(U_1, U_2, U_3, U_4, U_5, __time_step, __nb_step);

379

Y_1 = FixPtRelationalOperator_1;

380

Y_2 = FixPtRelationalOperator_2;

381

Y_3 = FixPtRelationalOperator_3;

382

Y_4 = FixPtRelationalOperator_4;

383

Y_5 = FixPtRelationalOperator_5;

384

tel

385


386

(*

387

Original block name: detect_fall_test_PP/Detect Fall

388

Nonpositive2/Nonpositive

389

*)

390

node Nonpositive_413_003(u_1 : int;

391

u_2 : int;

392

u_3 : int;

393

u_4 : int;

394

u_5 : int;

395

u_6 : int;

396

__time_step : real;

397

__nb_step : int;)

398

returns(y_1 : bool;

399

y_2 : bool;

400

y_3 : bool;

401

y_4 : bool;

402

y_5 : bool;

403

y_6 : bool;);

404

var Compare_1 : bool;

405

Compare_2 : bool;

406

Compare_3 : bool;

407

Compare_4 : bool;

408

Compare_5 : bool;

409

Compare_6 : bool;

410

Constant_1 : int;

411

let

412

Compare_1 = (u_1 <= Constant_1);

413

Compare_2 = (u_2 <= Constant_1);

414

Compare_3 = (u_3 <= Constant_1);

415

Compare_4 = (u_4 <= Constant_1);

416

Compare_5 = (u_5 <= Constant_1);

417

Compare_6 = (u_6 <= Constant_1);

418

Constant_1 = 0;

419

y_1 = Compare_1;

420

y_2 = Compare_2;

421

y_3 = Compare_3;

422

y_4 = Compare_4;

423

y_5 = Compare_5;

424

y_6 = Compare_6;

425

tel

426


427

(*

428

Original block name: detect_fall_test_PP/Detect Fall

429

Nonpositive2

430

*)

431

node DetectFallNonpositive2_409_005(U_1 : int;

432

U_2 : int;

433

U_3 : int;

434

U_4 : int;

435

U_5 : int;

436

U_6 : int;

437

__time_step : real;

438

__nb_step : int;)

439

returns(Y_1 : bool;

440

Y_2 : bool;

441

Y_3 : bool;

442

Y_4 : bool;

443

Y_5 : bool;

444

Y_6 : bool;);

445

var DelayInput1_1 : bool;

446

DelayInput1_2 : bool;

447

DelayInput1_3 : bool;

448

DelayInput1_4 : bool;

449

DelayInput1_5 : bool;

450

DelayInput1_6 : bool;

451

FixPtRelationalOperator_1 : bool;

452

FixPtRelationalOperator_2 : bool;

453

FixPtRelationalOperator_3 : bool;

454

FixPtRelationalOperator_4 : bool;

455

FixPtRelationalOperator_5 : bool;

456

FixPtRelationalOperator_6 : bool;

457

Nonpositive_1 : bool;

458

Nonpositive_2 : bool;

459

Nonpositive_3 : bool;

460

Nonpositive_4 : bool;

461

Nonpositive_5 : bool;

462

Nonpositive_6 : bool;

463

let

464

DelayInput1_1 = (false > (pre Nonpositive_1));

465

DelayInput1_2 = (false > (pre Nonpositive_2));

466

DelayInput1_3 = (false > (pre Nonpositive_3));

467

DelayInput1_4 = (false > (pre Nonpositive_4));

468

DelayInput1_5 = (false > (pre Nonpositive_5));

469

DelayInput1_6 = (false > (pre Nonpositive_6));

470

FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));

471

FixPtRelationalOperator_2 = (bool_to_int(Nonpositive_2) > bool_to_int(DelayInput1_2));

472

FixPtRelationalOperator_3 = (bool_to_int(Nonpositive_3) > bool_to_int(DelayInput1_3));

473

FixPtRelationalOperator_4 = (bool_to_int(Nonpositive_4) > bool_to_int(DelayInput1_4));

474

FixPtRelationalOperator_5 = (bool_to_int(Nonpositive_5) > bool_to_int(DelayInput1_5));

475

FixPtRelationalOperator_6 = (bool_to_int(Nonpositive_6) > bool_to_int(DelayInput1_6));

476

(Nonpositive_1, Nonpositive_2, Nonpositive_3, Nonpositive_4, Nonpositive_5, Nonpositive_6) = Nonpositive_413_003(U_1, U_2, U_3, U_4, U_5, U_6, __time_step, __nb_step);

477

Y_1 = FixPtRelationalOperator_1;

478

Y_2 = FixPtRelationalOperator_2;

479

Y_3 = FixPtRelationalOperator_3;

480

Y_4 = FixPtRelationalOperator_4;

481

Y_5 = FixPtRelationalOperator_5;

482

Y_6 = FixPtRelationalOperator_6;

483

tel

484


485

(*

486

Original block name: detect_fall_test_PP/Detect Fall

487

Nonpositive3/Nonpositive

488

*)

489

node Nonpositive_434_003(u_1 : bool;

490

__time_step : real;

491

__nb_step : int;)

492

returns(y_1 : bool;);

493

var Compare_1 : bool;

494

Constant_1 : bool;

495

let

496

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

497

Constant_1 = false;

498

y_1 = Compare_1;

499

tel

500


501

(*

502

Original block name: detect_fall_test_PP/Detect Fall

503

Nonpositive3

504

*)

505

node DetectFallNonpositive3_430_003(U_1 : bool;

506

__time_step : real;

507

__nb_step : int;)

508

returns(Y_1 : bool;);

509

var DelayInput1_1 : bool;

510

FixPtRelationalOperator_1 : bool;

511

Nonpositive_1 : bool;

512

let

513

DelayInput1_1 = (false > (pre Nonpositive_1));

514

FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));

515

Nonpositive_1 = Nonpositive_434_003(U_1, __time_step, __nb_step);

516

Y_1 = FixPtRelationalOperator_1;

517

tel

518


519

(*

520

Original block name: detect_fall_test_PP

521

*)

522

node detect_fall_test_PP(In1_1 : real;

523

In2_1 : real;

524

In2_2 : real;

525

In2_3 : real;

526

In2_4 : real;

527

In2_5 : real;

528

In3_1 : int;

529

In3_2 : int;

530

In3_3 : int;

531

In3_4 : int;

532

In3_5 : int;

533

In3_6 : int;

534

In4_1 : real;

535

In5_1 : real;

536

In5_2 : real;

537

In5_3 : real;

538

In5_4 : real;

539

In5_5 : real;

540

In6_1 : int;

541

In6_2 : int;

542

In6_3 : int;

543

In6_4 : int;

544

In6_5 : int;

545

In6_6 : int;

546

In7_1 : bool;

547

In8_1 : bool;)

548

returns(Out1_1 : bool;

549

Out2_1 : bool;

550

Out2_2 : bool;

551

Out2_3 : bool;

552

Out2_4 : bool;

553

Out2_5 : bool;

554

Out3_1 : bool;

555

Out3_2 : bool;

556

Out3_3 : bool;

557

Out3_4 : bool;

558

Out3_5 : bool;

559

Out3_6 : bool;

560

Out4_1 : bool;

561

Out5_1 : bool;

562

Out5_2 : bool;

563

Out5_3 : bool;

564

Out5_4 : bool;

565

Out5_5 : bool;

566

Out6_1 : bool;

567

Out6_2 : bool;

568

Out6_3 : bool;

569

Out6_4 : bool;

570

Out6_5 : bool;

571

Out6_6 : bool;

572

Out7_1 : bool;

573

Out8_1 : bool;);

574

var DetectFallNegative_1 : bool;

575

DetectFallNegative1_1 : bool;

576

DetectFallNegative1_2 : bool;

577

DetectFallNegative1_3 : bool;

578

DetectFallNegative1_4 : bool;

579

DetectFallNegative1_5 : bool;

580

DetectFallNegative2_1 : bool;

581

DetectFallNegative2_2 : bool;

582

DetectFallNegative2_3 : bool;

583

DetectFallNegative2_4 : bool;

584

DetectFallNegative2_5 : bool;

585

DetectFallNegative2_6 : bool;

586

DetectFallNegative3_1 : bool;

587

DetectFallNonpositive_1 : bool;

588

DetectFallNonpositive1_1 : bool;

589

DetectFallNonpositive1_2 : bool;

590

DetectFallNonpositive1_3 : bool;

591

DetectFallNonpositive1_4 : bool;

592

DetectFallNonpositive1_5 : bool;

593

DetectFallNonpositive2_1 : bool;

594

DetectFallNonpositive2_2 : bool;

595

DetectFallNonpositive2_3 : bool;

596

DetectFallNonpositive2_4 : bool;

597

DetectFallNonpositive2_5 : bool;

598

DetectFallNonpositive2_6 : bool;

599

DetectFallNonpositive3_1 : bool;

600

__time_step : real;

601

__nb_step : int;

602

let

603

DetectFallNegative_1 = DetectFallNegative_283_003(In1_1, __time_step, __nb_step);

604

(DetectFallNegative1_1, DetectFallNegative1_2, DetectFallNegative1_3, DetectFallNegative1_4, DetectFallNegative1_5) = DetectFallNegative1_304_003(In2_1, In2_2, In2_3, In2_4, In2_5, __time_step, __nb_step);

605

(DetectFallNegative2_1, DetectFallNegative2_2, DetectFallNegative2_3, DetectFallNegative2_4, DetectFallNegative2_5, DetectFallNegative2_6) = DetectFallNegative2_325_004(In3_1, In3_2, In3_3, In3_4, In3_5, In3_6, __time_step, __nb_step);

606

DetectFallNegative3_1 = DetectFallNegative3_346_004(In7_1, __time_step, __nb_step);

607

DetectFallNonpositive_1 = DetectFallNonpositive_367_003(In4_1, __time_step, __nb_step);

608

(DetectFallNonpositive1_1, DetectFallNonpositive1_2, DetectFallNonpositive1_3, DetectFallNonpositive1_4, DetectFallNonpositive1_5) = DetectFallNonpositive1_388_008(In5_1, In5_2, In5_3, In5_4, In5_5, __time_step, __nb_step);

609

(DetectFallNonpositive2_1, DetectFallNonpositive2_2, DetectFallNonpositive2_3, DetectFallNonpositive2_4, DetectFallNonpositive2_5, DetectFallNonpositive2_6) = DetectFallNonpositive2_409_005(In6_1, In6_2, In6_3, In6_4, In6_5, In6_6, __time_step, __nb_step);

610

DetectFallNonpositive3_1 = DetectFallNonpositive3_430_003(In8_1, __time_step, __nb_step);

611

Out1_1 = DetectFallNegative_1;

612

Out2_1 = DetectFallNegative1_1;

613

Out2_2 = DetectFallNegative1_2;

614

Out2_3 = DetectFallNegative1_3;

615

Out2_4 = DetectFallNegative1_4;

616

Out2_5 = DetectFallNegative1_5;

617

Out3_1 = DetectFallNegative2_1;

618

Out3_2 = DetectFallNegative2_2;

619

Out3_3 = DetectFallNegative2_3;

620

Out3_4 = DetectFallNegative2_4;

621

Out3_5 = DetectFallNegative2_5;

622

Out3_6 = DetectFallNegative2_6;

623

Out4_1 = DetectFallNonpositive_1;

624

Out5_1 = DetectFallNonpositive1_1;

625

Out5_2 = DetectFallNonpositive1_2;

626

Out5_3 = DetectFallNonpositive1_3;

627

Out5_4 = DetectFallNonpositive1_4;

628

Out5_5 = DetectFallNonpositive1_5;

629

Out6_1 = DetectFallNonpositive2_1;

630

Out6_2 = DetectFallNonpositive2_2;

631

Out6_3 = DetectFallNonpositive2_3;

632

Out6_4 = DetectFallNonpositive2_4;

633

Out6_5 = DetectFallNonpositive2_5;

634

Out6_6 = DetectFallNonpositive2_6;

635

Out7_1 = DetectFallNegative3_1;

636

Out8_1 = DetectFallNonpositive3_1;

637

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

638

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

639

tel

640

