1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
|
/* This file was generated by lv6 version master.737 (2727a7744111c84f7984634d2bd3ad6f7c6c7ff9). */
/* lv6 -en -2cgc heater_control.lus -n heater_control */
/* on vanoise the 15/05/2019 at 13:20:10 */
#include "heater_control_heater_control.h"
//// Defining step functions
// Memory initialisation for Lustre_arrow_ctx
#define DM_INLINE inline
DM_INLINE void Lustre_arrow_ctx_reset(Lustre_arrow_ctx_type* ctx){
int _i;
ctx->_memory = _true;
}
// Initialisation of the internal structure of Lustre_arrow_ctx
DM_INLINE void Lustre_arrow_ctx_init(Lustre_arrow_ctx_type* ctx){
// ctx->client_data = cdata;
Lustre_arrow_ctx_reset(ctx);
}
// Step function(s) for Lustre_arrow_ctx
DM_INLINE void Lustre_arrow_step(_boolean i1,_boolean i2,_boolean *out,Lustre_arrow_ctx_type* ctx){ *out = ((ctx->_memory)? i1 : i2);
ctx->_memory = _false;
} // End of Lustre_arrow_step
// Memory initialisation for Lustre_pre_ctx
DM_INLINE void Lustre_pre_ctx_reset(Lustre_pre_ctx_type* ctx){
int _i;
}
// Initialisation of the internal structure of Lustre_pre_ctx
DM_INLINE void Lustre_pre_ctx_init(Lustre_pre_ctx_type* ctx){
// ctx->client_data = cdata;
Lustre_pre_ctx_reset(ctx);
}
// Step function(s) for Lustre_pre_ctx
DM_INLINE void Lustre_pre_get(_boolean *out,Lustre_pre_ctx_type* ctx){
*out = ctx->_memory;
} // End of Lustre_pre_get
DM_INLINE void Lustre_pre_set(_boolean i1,Lustre_pre_ctx_type* ctx){
ctx->_memory = i1;
} // End of Lustre_pre_set
// Step function(s) for Lustre_slash_ctx
#if 0
DM_INLINE void Lustre_slash_step(_real i1,_real i2,_real *out){
*out = (i1 / i2);
}
#else
#define Lustre_slash_step(x, y, out) *out = x/y
#endif
// End of Lustre_slash_step
// Memory initialisation for heater_control_heater_control_ctx
DM_INLINE void heater_control_heater_control_ctx_reset(heater_control_heater_control_ctx_type* ctx){
int _i;
Lustre_pre_ctx_reset(&ctx->Lustre_pre_ctx_tab[0]);
Lustre_arrow_ctx_reset(&ctx->Lustre_arrow_ctx_tab[0]);
}
// Initialisation of the internal structure of heater_control_heater_control_ctx
void heater_control_heater_control_ctx_init(heater_control_heater_control_ctx_type* ctx){
// ctx->client_data = cdata;
heater_control_heater_control_ctx_reset(ctx);
}
// Step function(s) for heater_control_heater_control_ctx
void heater_control_heater_control_step(_real T,_real T1,_real T2,_real T3,_boolean *Heat_on,heater_control_heater_control_ctx_type* ctx){ _boolean __split_9_3;
_real __split_10_3;
_boolean __split_9_2;
_real __split_10_2;
_boolean __split_9_1;
_real __split_10_1;
_real __split_1_3;
_real __split_1_2;
_real __split_1_1;
_real __split_2_2;
_real __split_3_2;
_real __split_4_2;
_real __split_5_2;
_real __split_6_2;
_real __split_7_2;
_real __split_8_2;
_boolean ___split_38_1_2;
_boolean ___split_38_2_2;
_boolean ___split_37_1_2;
_boolean ___split_37_2_2;
_boolean __split_11_1;
_real __split_2_1;
_real __split_3_1;
_real __split_4_1;
_real __split_5_1;
_real __split_6_1;
_real __split_7_1;
_real __split_8_1;
_boolean ___split_38_1_1;
_boolean ___split_38_2_1;
_boolean ___split_37_1_1;
_boolean ___split_37_2_1;
_boolean __split_43_1;
_boolean __split_44_1;
_boolean __split_45_1;
_boolean __split_46_1;
_boolean __split_47_1;
_boolean __split_48_1;
_boolean __split_49_1;
_boolean __split_50_1;
_boolean __split_51_1;
_boolean __split_52_1;
_boolean __split_53_1;
_boolean __split_54_1;
_boolean __split_55_1;
_boolean __split_39_1;
_boolean __split_40_1;
_boolean __split_41_1;
_boolean __split_42_1;
_boolean _split_36;
_boolean _split_35;
_boolean _split_34;
_boolean _split_33;
_boolean _split_32;
_boolean _split_31;
_boolean _split_30;
_real _split_29;
_real _split_28;
_real _split_27;
_real _split_26;
_real _split_25;
_real _split_24;
_real _split_23;
_real _split_22;
_boolean _split_21;
_real _split_20;
_boolean _split_19;
_boolean _split_18;
_real _split_17;
_real _split_16;
_real _split_15;
_real _split_14;
_real _split_13;
_real _split_12;
_boolean V12;
_boolean V13;
_boolean V23;
_real Tguess;
_split_16 = T2 - T3;
__split_10_1 = - _split_16;
__split_9_1 = _split_16 >= 0.0;
if (__split_9_1 == _true) {
_split_17 = _split_16;
} else {
_split_17 = __split_10_1;
}
V23 = _split_17 < 0.5;
__split_42_1 = ! V23;
_split_12 = T1 - T2;
__split_10_3 = - _split_12;
__split_9_3 = _split_12 >= 0.0;
if (__split_9_3 == _true) {
_split_13 = _split_12;
} else {
_split_13 = __split_10_3;
}
V12 = _split_13 < 0.5;
__split_39_1 = ! V12;
_split_14 = T1 - T3;
__split_10_2 = - _split_14;
__split_9_2 = _split_14 >= 0.0;
if (__split_9_2 == _true) {
_split_15 = _split_14;
} else {
_split_15 = __split_10_2;
}
V13 = _split_15 < 0.5;
__split_40_1 = ! V13;
__split_41_1 = __split_39_1 & __split_40_1;
_split_18 = __split_41_1 & __split_42_1;
__split_43_1 = ! V13;
__split_44_1 = V12 & __split_43_1;
__split_45_1 = ! V23;
__split_46_1 = __split_44_1 & __split_45_1;
__split_47_1 = ! V12;
__split_48_1 = V13 & __split_47_1;
__split_49_1 = ! V23;
__split_50_1 = __split_48_1 & __split_49_1;
__split_51_1 = __split_46_1 | __split_50_1;
__split_54_1 = ! V13;
__split_52_1 = ! V12;
__split_53_1 = V23 & __split_52_1;
__split_55_1 = __split_53_1 & __split_54_1;
_split_19 = __split_51_1 | __split_55_1;
___split_37_1_1 = T2 > T3;
if (___split_37_1_1 == _true) {
__split_7_1 = T2;
} else {
__split_7_1 = T3;
}
___split_37_2_1 = T1 > __split_7_1;
if (___split_37_2_1 == _true) {
__split_8_1 = T1;
} else {
__split_8_1 = __split_7_1;
}
___split_38_1_1 = T2 < T3;
if (___split_38_1_1 == _true) {
__split_4_1 = T2;
} else {
__split_4_1 = T3;
}
___split_38_2_1 = T1 < __split_4_1;
if (___split_38_2_1 == _true) {
__split_5_1 = T1;
} else {
__split_5_1 = __split_4_1;
}
__split_2_1 = T1 + T2;
__split_3_1 = __split_2_1 + T3;
__split_6_1 = __split_3_1 - __split_5_1;
_split_20 = __split_6_1 - __split_8_1;
__split_1_2 = T1 + T3;
Lustre_slash_step(__split_1_2,2.0,&_split_24);
__split_1_3 = T2 + T3;
Lustre_slash_step(__split_1_3,2.0,&_split_25);
if (V13 == _true) {
_split_26 = _split_24;
} else {
_split_26 = _split_25;
}
__split_1_1 = T1 + T2;
Lustre_slash_step(__split_1_1,2.0,&_split_23);
if (V12 == _true) {
_split_27 = _split_23;
} else {
_split_27 = _split_26;
}
__split_11_1 = V12 & V13;
_split_21 = __split_11_1 & V23;
___split_37_1_2 = T2 > T3;
if (___split_37_1_2 == _true) {
__split_7_2 = T2;
} else {
__split_7_2 = T3;
}
___split_37_2_2 = T1 > __split_7_2;
if (___split_37_2_2 == _true) {
__split_8_2 = T1;
} else {
__split_8_2 = __split_7_2;
}
___split_38_1_2 = T2 < T3;
if (___split_38_1_2 == _true) {
__split_4_2 = T2;
} else {
__split_4_2 = T3;
}
___split_38_2_2 = T1 < __split_4_2;
if (___split_38_2_2 == _true) {
__split_5_2 = T1;
} else {
__split_5_2 = __split_4_2;
}
__split_2_2 = T1 + T2;
__split_3_2 = __split_2_2 + T3;
__split_6_2 = __split_3_2 - __split_5_2;
_split_22 = __split_6_2 - __split_8_2;
if (_split_21 == _true) {
_split_28 = _split_22;
} else {
_split_28 = _split_27;
}
if (_split_19 == _true) {
_split_29 = _split_20;
} else {
_split_29 = _split_28;
}
if (_split_18 == _true) {
Tguess = -999.0;
} else {
Tguess = _split_29;
}
_split_30 = Tguess == -999.0;
_split_31 = Tguess < 6.0;
Lustre_pre_get(&_split_33,&ctx->Lustre_pre_ctx_tab[0]);
_split_32 = Tguess > 9.0;
if (_split_32 == _true) {
_split_34 = _false;
} else {
_split_34 = _split_33;
}
if (_split_31 == _true) {
_split_35 = _true;
} else {
_split_35 = _split_34;
}
if (_split_30 == _true) {
_split_36 = _false;
} else {
_split_36 = _split_35;
}
Lustre_arrow_step(_true,_split_36,Heat_on,&ctx->Lustre_arrow_ctx_tab[0]);
Lustre_pre_set(*Heat_on,&ctx->Lustre_pre_ctx_tab[0]);
} // End of heater_control_heater_control_step
|
