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

History | View | Annotate | Download (1.94 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:13:17 |
||

5 | (* |
||

6 | Original block name: Sum15_PP |
||

7 | *) |
||

8 | node Sum15_PP(In1_1 : real; |
||

9 | In2_1 : real; |
||

10 | In3_1 : real; |
||

11 | In3_2 : real; |
||

12 | In3_3 : real; |
||

13 | In4_1 : real; |
||

14 | In4_2 : real; |
||

15 | In4_3 : real; |
||

16 | In5_1 : real; |
||

17 | In5_2 : real; |
||

18 | In5_3 : real; |
||

19 | In5_4 : real; |
||

20 | In5_5 : real; |
||

21 | In5_6 : real; |
||

22 | In6_1 : real; |
||

23 | In6_2 : real; |
||

24 | In6_3 : real; |
||

25 | In6_4 : real; |
||

26 | In6_5 : real; |
||

27 | In6_6 : real; |
||

28 | In7_1 : real; |
||

29 | In7_2 : real; |
||

30 | In7_3 : real; |
||

31 | In7_4 : real; |
||

32 | In7_5 : real; |
||

33 | In7_6 : real; |
||

34 | In8_1 : real; |
||

35 | In8_2 : real; |
||

36 | In8_3 : real; |
||

37 | In8_4 : real; |
||

38 | In8_5 : real; |
||

39 | In8_6 : real;) |
||

40 | returns(Out1_1 : real; |
||

41 | Out2_1 : real; |
||

42 | Out3_1 : real; |
||

43 | Out4_1 : real; |
||

44 | Out5_1 : real; |
||

45 | Out5_2 : real; |
||

46 | Out5_3 : real; |
||

47 | Out6_1 : real; |
||

48 | Out6_2 : real; |
||

49 | Out6_3 : real; |
||

50 | Out7_1 : real; |
||

51 | Out7_2 : real; |
||

52 | Out8_1 : real; |
||

53 | Out8_2 : real;); |
||

54 | var Sum_1 : real; |
||

55 | Sum1_1 : real; |
||

56 | Sum2_1 : real; |
||

57 | Sum3_1 : real; |
||

58 | Sum4_1 : real; |
||

59 | Sum4_2 : real; |
||

60 | Sum4_3 : real; |
||

61 | Sum5_1 : real; |
||

62 | Sum5_2 : real; |
||

63 | Sum5_3 : real; |
||

64 | Sum6_1 : real; |
||

65 | Sum6_2 : real; |
||

66 | Sum7_1 : real; |
||

67 | Sum7_2 : real; |
||

68 | __time_step : real; |
||

69 | __nb_step : int; |
||

70 | let |
||

71 | Sum_1 = 0.0 + In1_1; |
||

72 | Sum1_1 = 0.0 - In2_1; |
||

73 | Sum2_1 = 0.0 + In3_1 + In3_2 + In3_3; |
||

74 | Sum3_1 = 0.0 - In4_1 - In4_2 - In4_3; |
||

75 | Sum4_1 = 0.0 + In5_1 + In5_2; |
||

76 | Sum4_2 = 0.0 + In5_3 + In5_4; |
||

77 | Sum4_3 = 0.0 + In5_5 + In5_6; |
||

78 | Sum5_1 = 0.0 - In6_1 - In6_2; |
||

79 | Sum5_2 = 0.0 - In6_3 - In6_4; |
||

80 | Sum5_3 = 0.0 - In6_5 - In6_6; |
||

81 | Sum6_1 = 0.0 + In7_1 + In7_3 + In7_5; |
||

82 | Sum6_2 = 0.0 + In7_2 + In7_4 + In7_6; |
||

83 | Sum7_1 = 0.0 - In8_1 - In8_3 - In8_5; |
||

84 | Sum7_2 = 0.0 - In8_2 - In8_4 - In8_6; |
||

85 | Out1_1 = Sum_1; |
||

86 | Out2_1 = Sum1_1; |
||

87 | Out3_1 = Sum2_1; |
||

88 | Out4_1 = Sum3_1; |
||

89 | Out5_1 = Sum4_1; |
||

90 | Out5_2 = Sum4_2; |
||

91 | Out5_3 = Sum4_3; |
||

92 | Out6_1 = Sum5_1; |
||

93 | Out6_2 = Sum5_2; |
||

94 | Out6_3 = Sum5_3; |
||

95 | Out7_1 = Sum6_1; |
||

96 | Out7_2 = Sum6_2; |
||

97 | Out8_1 = Sum7_1; |
||

98 | Out8_2 = Sum7_2; |
||

99 | __time_step = (0.0 -> ((pre __time_step) + 0.200000000000000)); |
||

100 | __nb_step = (0 -> ((pre __nb_step) + 1)); |
||

101 | tel |