1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:15:56

5

(*

6

Original block name: Abs3_PP

7

*)

8

node Abs3_PP(In3_1 : real;

9

In3_2 : real;

10

In3_3 : real;

11

In3_4 : real;

12

In3_5 : real;

13

In3_6 : real;)

14

returns(Out3_1 : real;

15

Out3_2 : real;

16

Out3_3 : real;

17

Out3_4 : real;

18

Out3_5 : real;

19

Out3_6 : real;);

20

var Abs2_1 : real;

21

Abs2_2 : real;

22

Abs2_3 : real;

23

Abs2_4 : real;

24

Abs2_5 : real;

25

Abs2_6 : real;

26

__time_step : real;

27

__nb_step : int;

28

let

29

Abs2_1 = if (In3_1 >= 0.0) then

30

In3_1

31

else ( In3_1);

32

Abs2_2 = if (In3_2 >= 0.0) then

33

In3_2

34

else ( In3_2);

35

Abs2_3 = if (In3_3 >= 0.0) then

36

In3_3

37

else ( In3_3);

38

Abs2_4 = if (In3_4 >= 0.0) then

39

In3_4

40

else ( In3_4);

41

Abs2_5 = if (In3_5 >= 0.0) then

42

In3_5

43

else ( In3_5);

44

Abs2_6 = if (In3_6 >= 0.0) then

45

In3_6

46

else ( In3_6);

47

Out3_1 = Abs2_1;

48

Out3_2 = Abs2_2;

49

Out3_3 = Abs2_3;

50

Out3_4 = Abs2_4;

51

Out3_5 = Abs2_5;

52

Out3_6 = Abs2_6;

53

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

54

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

55

tel

56

