Project

General

Profile

Download (3.51 KB) Statistics
| Branch: | Tag: | Revision:
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

    
(266-266/1153)