## lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/CompareTo2_PP.LUSTREC.lusi @ 4748b215

1 |
(* Generated Lustre Interface file from CompareTo2_PP.LUSTREC.lus *) |
---|---|

2 |
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:00 *) |

3 |
(* Feel free to mask some of the definitions by removing them from this file. *) |

4 | |

5 |
function bool_to_int (x: bool) returns (y: int); |

6 | |

7 |
function CompareToConstant10_220_001 (u_1: real; |

8 |
__time_step: real; |

9 |
__nb_step: int) returns (y_1: bool; |

10 |
y_2: bool; |

11 |
y_3: bool; |

12 |
y_4: bool; |

13 |
y_5: bool; |

14 |
y_6: bool); |

15 | |

16 |
function CompareToConstant11_221_001 (u_1: real; |

17 |
u_2: real; |

18 |
u_3: real; |

19 |
__time_step: real; |

20 |
__nb_step: int) returns (y_1: bool; |

21 |
y_2: bool; |

22 |
y_3: bool); |

23 | |

24 |
function CompareToConstant12_222_001 (u_1: real; |

25 |
u_2: real; |

26 |
u_3: real; |

27 |
u_4: real; |

28 |
u_5: real; |

29 |
u_6: real; |

30 |
__time_step: real; |

31 |
__nb_step: int) returns (y_1: bool; |

32 |
y_2: bool; |

33 |
y_3: bool; |

34 |
y_4: bool; |

35 |
y_5: bool; |

36 |
y_6: bool); |

37 | |

38 |
function CompareToConstant1_219_001 (u_1: int; |

39 |
__time_step: real; |

40 |
__nb_step: int) returns (y_1: bool); |

41 | |

42 |
function CompareToConstant2_223_001 (u_1: bool; |

43 |
__time_step: real; |

44 |
__nb_step: int) returns (y_1: bool); |

45 | |

46 |
function CompareToConstant3_224_001 (u_1: real; |

47 |
u_2: real; |

48 |
u_3: real; |

49 |
__time_step: real; |

50 |
__nb_step: int) returns (y_1: bool; |

51 |
y_2: bool; |

52 |
y_3: bool); |

53 | |

54 |
function CompareToConstant4_225_001 (u_1: int; |

55 |
u_2: int; |

56 |
u_3: int; |

57 |
__time_step: real; |

58 |
__nb_step: int) returns (y_1: bool; |

59 |
y_2: bool; |

60 |
y_3: bool); |

61 | |

62 |
function CompareToConstant5_226_001 (u_1: bool; |

63 |
u_2: bool; |

64 |
u_3: bool; |

65 |
__time_step: real; |

66 |
__nb_step: int) returns (y_1: bool; |

67 |
y_2: bool; |

68 |
y_3: bool); |

69 | |

70 |
function CompareToConstant6_227_001 (u_1: real; |

71 |
u_2: real; |

72 |
u_3: real; |

73 |
u_4: real; |

74 |
u_5: real; |

75 |
u_6: real; |

76 |
__time_step: real; |

77 |
__nb_step: int) returns (y_1: bool; |

78 |
y_2: bool; |

79 |
y_3: bool; |

80 |
y_4: bool; |

81 |
y_5: bool; |

82 |
y_6: bool); |

83 | |

84 |
function CompareToConstant7_228_001 (u_1: int; |

85 |
u_2: int; |

86 |
u_3: int; |

87 |
u_4: int; |

88 |
u_5: int; |

89 |
u_6: int; |

90 |
__time_step: real; |

91 |
__nb_step: int) returns (y_1: bool; |

92 |
y_2: bool; |

93 |
y_3: bool; |

94 |
y_4: bool; |

95 |
y_5: bool; |

96 |
y_6: bool); |

97 | |

98 |
function CompareToConstant8_229_001 (u_1: bool; |

99 |
u_2: bool; |

100 |
u_3: bool; |

101 |
u_4: bool; |

102 |
u_5: bool; |

103 |
u_6: bool; |

104 |
__time_step: real; |

105 |
__nb_step: int) returns (y_1: bool; |

106 |
y_2: bool; |

107 |
y_3: bool; |

108 |
y_4: bool; |

109 |
y_5: bool; |

110 |
y_6: bool); |

111 | |

112 |
function CompareToConstant9_230_001 (u_1: real; |

113 |
__time_step: real; |

114 |
__nb_step: int) returns (y_1: bool; |

115 |
y_2: bool; |

116 |
y_3: bool); |

117 | |

118 |
function CompareToConstant_218_001 (u_1: real; |

119 |
__time_step: real; |

120 |
__nb_step: int) returns (y_1: bool); |

121 | |

122 |
node CompareTo2_PP (In2_1: real; |

123 |
In3_1: int; |

124 |
In4_1: bool; |

125 |
In5_1: real; |

126 |
In5_2: real; |

127 |
In5_3: real; |

128 |
In6_1: int; |

129 |
In6_2: int; |

130 |
In6_3: int; |

131 |
In7_1: bool; |

132 |
In7_2: bool; |

133 |
In7_3: bool; |

134 |
In8_1: real; |

135 |
In8_2: real; |

136 |
In8_3: real; |

137 |
In8_4: real; |

138 |
In8_5: real; |

139 |
In8_6: real; |

140 |
In9_1: int; |

141 |
In9_2: int; |

142 |
In9_3: int; |

143 |
In9_4: int; |

144 |
In9_5: int; |

145 |
In9_6: int; |

146 |
In10_1: bool; |

147 |
In10_2: bool; |

148 |
In10_3: bool; |

149 |
In10_4: bool; |

150 |
In10_5: bool; |

151 |
In10_6: bool; |

152 |
In12_1: real; |

153 |
In12_2: real; |

154 |
In12_3: real; |

155 |
In13_1: real; |

156 |
In13_2: real; |

157 |
In13_3: real; |

158 |
In13_4: real; |

159 |
In13_5: real; |

160 |
In13_6: real; |

161 |
In1_1: real; |

162 |
In11_1: real) returns (Out2_1: bool; |

163 |
Out3_1: bool; |

164 |
Out4_1: bool; |

165 |
Out5_1: bool; |

166 |
Out5_2: bool; |

167 |
Out5_3: bool; |

168 |
Out6_1: bool; |

169 |
Out6_2: bool; |

170 |
Out6_3: bool; |

171 |
Out7_1: bool; |

172 |
Out7_2: bool; |

173 |
Out7_3: bool; |

174 |
Out8_1: bool; |

175 |
Out8_2: bool; |

176 |
Out8_3: bool; |

177 |
Out8_4: bool; |

178 |
Out8_5: bool; |

179 |
Out8_6: bool; |

180 |
Out9_1: bool; |

181 |
Out9_2: bool; |

182 |
Out9_3: bool; |

183 |
Out9_4: bool; |

184 |
Out9_5: bool; |

185 |
Out9_6: bool; |

186 |
Out10_1: bool; |

187 |
Out10_2: bool; |

188 |
Out10_3: bool; |

189 |
Out10_4: bool; |

190 |
Out10_5: bool; |

191 |
Out10_6: bool; |

192 |
Out12_1: bool; |

193 |
Out12_2: bool; |

194 |
Out12_3: bool; |

195 |
Out13_1: bool; |

196 |
Out13_2: bool; |

197 |
Out13_3: bool; |

198 |
Out13_4: bool; |

199 |
Out13_5: bool; |

200 |
Out13_6: bool; |

201 |
Out1_1: bool; |

202 |
Out1_2: bool; |

203 |
Out1_3: bool; |

204 |
Out11_1: bool; |

205 |
Out11_2: bool; |

206 |
Out11_3: bool; |

207 |
Out11_4: bool; |

208 |
Out11_5: bool; |

209 |
Out11_6: bool); |

210 | |

211 |