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

History | View | Annotate | Download (3.77 KB)

1 |
-- This file has been generated by CoCoSim2. |
---|---|

2 | |

3 |
-- Compiler: Lustre compiler 2 (ToLustre.m) |

4 |
-- Time: 03-Dec-2018 22:13:31 |

5 |
(* |

6 |
Original block name: Sum16_PP |

7 |
*) |

8 |
node Sum16_PP(In1_1 : real; |

9 |
In2_1 : real; |

10 |
In3_1 : real; |

11 |
In4_1 : real; |

12 |
In4_2 : real; |

13 |
In4_3 : real; |

14 |
In5_1 : real; |

15 |
In5_2 : real; |

16 |
In5_3 : real; |

17 |
In6_1 : real; |

18 |
In6_2 : real; |

19 |
In6_3 : real; |

20 |
In7_1 : real; |

21 |
In7_2 : real; |

22 |
In7_3 : real; |

23 |
In7_4 : real; |

24 |
In7_5 : real; |

25 |
In7_6 : real; |

26 |
In8_1 : real; |

27 |
In8_2 : real; |

28 |
In8_3 : real; |

29 |
In8_4 : real; |

30 |
In8_5 : real; |

31 |
In8_6 : real; |

32 |
In9_1 : real; |

33 |
In9_2 : real; |

34 |
In9_3 : real; |

35 |
In9_4 : real; |

36 |
In9_5 : real; |

37 |
In9_6 : real; |

38 |
In10_1 : real; |

39 |
In11_1 : real; |

40 |
In11_2 : real; |

41 |
In11_3 : real; |

42 |
In12_1 : real; |

43 |
In13_1 : real; |

44 |
In13_2 : real; |

45 |
In13_3 : real; |

46 |
In14_1 : real; |

47 |
In15_1 : real; |

48 |
In15_2 : real; |

49 |
In15_3 : real; |

50 |
In16_1 : real; |

51 |
In17_1 : real; |

52 |
In17_2 : real; |

53 |
In17_3 : real; |

54 |
In17_4 : real; |

55 |
In17_5 : real; |

56 |
In17_6 : real; |

57 |
In18_1 : real; |

58 |
In19_1 : real; |

59 |
In19_2 : real; |

60 |
In19_3 : real; |

61 |
In19_4 : real; |

62 |
In19_5 : real; |

63 |
In19_6 : real; |

64 |
In20_1 : real; |

65 |
In21_1 : real; |

66 |
In21_2 : real; |

67 |
In21_3 : real; |

68 |
In21_4 : real; |

69 |
In21_5 : real; |

70 |
In21_6 : real;) |

71 |
returns(Out1_1 : real; |

72 |
Out2_1 : real; |

73 |
Out2_2 : real; |

74 |
Out2_3 : real; |

75 |
Out3_1 : real; |

76 |
Out3_2 : real; |

77 |
Out3_3 : real; |

78 |
Out3_4 : real; |

79 |
Out3_5 : real; |

80 |
Out3_6 : real; |

81 |
Out4_1 : real; |

82 |
Out4_2 : real; |

83 |
Out4_3 : real; |

84 |
Out5_1 : real; |

85 |
Out5_2 : real; |

86 |
Out5_3 : real; |

87 |
Out6_1 : real; |

88 |
Out6_2 : real; |

89 |
Out6_3 : real; |

90 |
Out6_4 : real; |

91 |
Out6_5 : real; |

92 |
Out6_6 : real; |

93 |
Out7_1 : real; |

94 |
Out7_2 : real; |

95 |
Out7_3 : real; |

96 |
Out7_4 : real; |

97 |
Out7_5 : real; |

98 |
Out7_6 : real;); |

99 |
var Sum_1 : real; |

100 |
Sum1_1 : real; |

101 |
Sum1_2 : real; |

102 |
Sum1_3 : real; |

103 |
Sum2_1 : real; |

104 |
Sum2_2 : real; |

105 |
Sum2_3 : real; |

106 |
Sum2_4 : real; |

107 |
Sum2_5 : real; |

108 |
Sum2_6 : real; |

109 |
Sum3_1 : real; |

110 |
Sum3_2 : real; |

111 |
Sum3_3 : real; |

112 |
Sum4_1 : real; |

113 |
Sum4_2 : real; |

114 |
Sum4_3 : real; |

115 |
Sum5_1 : real; |

116 |
Sum5_2 : real; |

117 |
Sum5_3 : real; |

118 |
Sum5_4 : real; |

119 |
Sum5_5 : real; |

120 |
Sum5_6 : real; |

121 |
Sum6_1 : real; |

122 |
Sum6_2 : real; |

123 |
Sum6_3 : real; |

124 |
Sum6_4 : real; |

125 |
Sum6_5 : real; |

126 |
Sum6_6 : real; |

127 |
__time_step : real; |

128 |
__nb_step : int; |

129 |
let |

130 |
Sum_1 = 0.0 + In1_1 - In2_1 + In3_1; |

131 |
Sum1_1 = 0.0 + In4_1 - In5_1 + In6_1; |

132 |
Sum1_2 = 0.0 + In4_2 - In5_2 + In6_2; |

133 |
Sum1_3 = 0.0 + In4_3 - In5_3 + In6_3; |

134 |
Sum2_1 = 0.0 + In7_1 - In8_1 + In9_1; |

135 |
Sum2_2 = 0.0 + In7_2 - In8_2 + In9_2; |

136 |
Sum2_3 = 0.0 + In7_3 - In8_3 + In9_3; |

137 |
Sum2_4 = 0.0 + In7_4 - In8_4 + In9_4; |

138 |
Sum2_5 = 0.0 + In7_5 - In8_5 + In9_5; |

139 |
Sum2_6 = 0.0 + In7_6 - In8_6 + In9_6; |

140 |
Sum3_1 = 0.0 - In10_1 + In11_1 + In12_1; |

141 |
Sum3_2 = 0.0 - In10_1 + In11_2 + In12_1; |

142 |
Sum3_3 = 0.0 - In10_1 + In11_3 + In12_1; |

143 |
Sum4_1 = 0.0 + In13_1 + In14_1 - In15_1; |

144 |
Sum4_2 = 0.0 + In13_2 + In14_1 - In15_2; |

145 |
Sum4_3 = 0.0 + In13_3 + In14_1 - In15_3; |

146 |
Sum5_1 = 0.0 - In16_1 + In17_1 + In18_1; |

147 |
Sum5_2 = 0.0 - In16_1 + In17_2 + In18_1; |

148 |
Sum5_3 = 0.0 - In16_1 + In17_3 + In18_1; |

149 |
Sum5_4 = 0.0 - In16_1 + In17_4 + In18_1; |

150 |
Sum5_5 = 0.0 - In16_1 + In17_5 + In18_1; |

151 |
Sum5_6 = 0.0 - In16_1 + In17_6 + In18_1; |

152 |
Sum6_1 = 0.0 - In19_1 - In20_1 - In21_1; |

153 |
Sum6_2 = 0.0 - In19_2 - In20_1 - In21_2; |

154 |
Sum6_3 = 0.0 - In19_3 - In20_1 - In21_3; |

155 |
Sum6_4 = 0.0 - In19_4 - In20_1 - In21_4; |

156 |
Sum6_5 = 0.0 - In19_5 - In20_1 - In21_5; |

157 |
Sum6_6 = 0.0 - In19_6 - In20_1 - In21_6; |

158 |
Out1_1 = Sum_1; |

159 |
Out2_1 = Sum1_1; |

160 |
Out2_2 = Sum1_2; |

161 |
Out2_3 = Sum1_3; |

162 |
Out3_1 = Sum2_1; |

163 |
Out3_2 = Sum2_2; |

164 |
Out3_3 = Sum2_3; |

165 |
Out3_4 = Sum2_4; |

166 |
Out3_5 = Sum2_5; |

167 |
Out3_6 = Sum2_6; |

168 |
Out4_1 = Sum3_1; |

169 |
Out4_2 = Sum3_2; |

170 |
Out4_3 = Sum3_3; |

171 |
Out5_1 = Sum4_1; |

172 |
Out5_2 = Sum4_2; |

173 |
Out5_3 = Sum4_3; |

174 |
Out6_1 = Sum5_1; |

175 |
Out6_2 = Sum5_2; |

176 |
Out6_3 = Sum5_3; |

177 |
Out6_4 = Sum5_4; |

178 |
Out6_5 = Sum5_5; |

179 |
Out6_6 = Sum5_6; |

180 |
Out7_1 = Sum6_1; |

181 |
Out7_2 = Sum6_2; |

182 |
Out7_3 = Sum6_3; |

183 |
Out7_4 = Sum6_4; |

184 |
Out7_5 = Sum6_5; |

185 |
Out7_6 = Sum6_6; |

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

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

188 |
tel |

189 |