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

History | View | Annotate | Download (1.07 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: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 |