Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/microwave40.lus

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave40.lus
48 48
   rlt__Arrow2: int; 
49 49
   rlt__Arrow1: int; 
50 50
   rlt__Arrow: int; 
51
   chart_microwave_mode_logic_start: int; 
52
   chart_microwave_mode_logic_clear_off: int; 
53
   chart_microwave_mode_logic_door_closed: int; 
54
   chart_microwave_mode_logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int; 
62
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int; 
64
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int; 
71
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int; 
76
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int; 
81
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode_logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode_logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int; 
89
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode_logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode_logic_begin_state_states___root: int; 
92
   chart_microwave_mode_logic_begin_state_outports_mode: int; 
93
   chart_microwave_mode_logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode_logic_final_state_states___root: int; 
95
   chart_microwave_mode_logic_mode: int; 
96
   chart_microwave_mode_logic_steps_remaining: int; 
51
   chart_microwave_mode__logic_start: int; 
52
   chart_microwave_mode__logic_clear_off: int; 
53
   chart_microwave_mode__logic_door_closed: int; 
54
   chart_microwave_mode__logic____wakeup___: bool; 
55
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1: bool; 
56
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
57
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
58
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2: bool; 
59
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1: bool; 
60
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root: int; 
61
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_: int; 
62
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
63
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_: int; 
64
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4: bool; 
65
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2: bool; 
66
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root: int; 
67
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining: int; 
68
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root: int; 
69
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5: bool; 
70
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_: int; 
71
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root: int; 
72
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root: int; 
73
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6: bool; 
74
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root: int; 
75
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_: int; 
76
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root: int; 
77
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0: bool; 
78
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1: bool; 
79
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root: int; 
80
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_: int; 
81
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2: bool; 
82
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root: int; 
83
   rlt_eval_microwave_mode__logic_rlt_fired_0: bool; 
84
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining: int; 
85
   rlt_eval_microwave_mode__logic_rlt_fired_1: bool; 
86
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root: int; 
87
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root: int; 
88
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_: int; 
89
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root: int; 
90
   chart_microwave_mode__logic_rlt_evtInitStep: bool; 
91
   chart_microwave_mode__logic_begin_state_states___root: int; 
92
   chart_microwave_mode__logic_begin_state_outports_mode_: int; 
93
   chart_microwave_mode__logic_begin_state_outports_steps_remaining: int; 
94
   chart_microwave_mode__logic_final_state_states___root: int; 
95
   chart_microwave_mode__logic_mode_: int; 
96
   chart_microwave_mode__logic_steps_remaining: int; 
97 97
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int; 
98 98
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int; 
99 99
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int; 
100
   microwave_microwave_mode_logic_mode: int; 
100
   microwave_microwave_mode__logic_mode_: int; 
101 101
   MWI_FcnMaxI_In16: int; 
102 102
   MWI_FcnMaxI_In15: int; 
103 103
   MWI_FcnMaxI_In13: int; 
......
169 169
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
170 170
      (not (pre KP_CLEAR))));
171 171

  
172
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
172
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
173 173

  
174
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
174
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) - ((((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10) * 10));
175 175

  
176 176
   SUSPENDED = 
177
      (if (3 = microwave_microwave_mode_logic_mode)
177
      (if (3 = microwave_microwave_mode__logic_mode_)
178 178
         then true
179 179
         else false);
180 180

  
......
209 209

  
210 210

  
211 211

  
212
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode_logic_steps_remaining div 1) - (((chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
212
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((chart_microwave_mode__logic_steps_remaining div 1) - (((chart_microwave_mode__logic_steps_remaining div 1) div 60) * 60)) div 10);
213 213

  
214 214
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
215 215

  
......
219 219

  
220 220

  
221 221
   COOKING = 
222
      (if (2 = microwave_microwave_mode_logic_mode)
222
      (if (2 = microwave_microwave_mode__logic_mode_)
223 223
         then true
224 224
         else false);
225 225

  
......
228 228
   START_PRESSED = (KP_START -> (KP_START and 
229 229
      (not (pre KP_START))));
230 230

  
231
   chart_microwave_mode_logic_start = 
231
   chart_microwave_mode__logic_start = 
232 232
      (if (START_PRESSED = false)
233 233
         then 0
234 234
         else 1);
235 235

  
236
   chart_microwave_mode_logic_clear_off = 
236
   chart_microwave_mode__logic_clear_off = 
237 237
      (if (CLEAR_PRESSED = false)
238 238
         then 0
239 239
         else 1);
240 240

  
241
   chart_microwave_mode_logic_door_closed = 
241
   chart_microwave_mode__logic_door_closed = 
242 242
      (if (DOOR_CLOSED = false)
243 243
         then 0
244 244
         else 1);
245 245

  
246
   chart_microwave_mode_logic____wakeup___ = true;
246
   chart_microwave_mode__logic____wakeup___ = true;
247 247

  
248
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
249
      (if (pre chart_microwave_mode_logic____wakeup___)
248
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
249
      (if (pre chart_microwave_mode__logic____wakeup___)
250 250
         then false
251
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
251
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
252 252

  
253
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
253
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
254 254

  
255
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
255
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
256 256

  
257
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
257
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
258 258

  
259
   chart_microwave_mode_logic_final_state_states___root = 
260
      (if chart_microwave_mode_logic____wakeup___
259
   chart_microwave_mode__logic_final_state_states___root = 
260
      (if chart_microwave_mode__logic____wakeup___
261 261
         then 
262
               (if chart_microwave_mode_logic_rlt_evtInitStep
263
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
262
               (if chart_microwave_mode__logic_rlt_evtInitStep
263
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
264 264
                  else 
265
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
265
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
266 266
                  
267 267
                  
268
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
269
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
268
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
269
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
270 270
                  then 
271
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
271
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
272 272
                           then 
273
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
273
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
274 274
                                    then 
275 275
                                          
276 276
                                          3
277
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
278
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
279
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
280
         else chart_microwave_mode_logic_begin_state_states___root);
277
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
278
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
279
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
280
         else chart_microwave_mode__logic_begin_state_states___root);
281 281

  
282
   chart_microwave_mode_logic_mode = 
283
      (if chart_microwave_mode_logic____wakeup___
282
   chart_microwave_mode__logic_mode_ = 
283
      (if chart_microwave_mode__logic____wakeup___
284 284
         then 
285
               (if chart_microwave_mode_logic_rlt_evtInitStep
285
               (if chart_microwave_mode__logic_rlt_evtInitStep
286 286
                  then 
287
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
287
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
288 288
                           then 1
289
                           else chart_microwave_mode_logic_begin_state_outports_mode)
289
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
290 290
                  else 
291
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
291
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
292 292
                  
293 293
                  
294
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
295
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
294
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
295
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
296 296
                  then 
297
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
297
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
298 298
                           then 
299
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
299
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
300 300
                                    then 3
301
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
302
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
303
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
304
         else chart_microwave_mode_logic_begin_state_outports_mode);
301
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
302
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
303
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
304
         else chart_microwave_mode__logic_begin_state_outports_mode_);
305 305

  
306
   chart_microwave_mode_logic_steps_remaining = 
307
      (if chart_microwave_mode_logic____wakeup___
306
   chart_microwave_mode__logic_steps_remaining = 
307
      (if chart_microwave_mode__logic____wakeup___
308 308
         then 
309
               (if chart_microwave_mode_logic_rlt_evtInitStep
310
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
309
               (if chart_microwave_mode__logic_rlt_evtInitStep
310
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
311 311
                  else 
312
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
312
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
313 313
                  
314 314
                  
315
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
316
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
315
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
316
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
317 317
                  then 
318
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
319
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
320
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
321
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
322
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
318
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
319
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
320
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
321
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
322
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
323 323

  
324 324
   
325 325
   
326
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
326
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
327 327

  
328 328
   
329 329
   
330
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
331
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
330
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
331
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
332 332
         then STEPS_TO_COOK
333
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
333
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
334 334

  
335 335
   
336 336
   
337
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
338
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
337
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
338
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
339 339
      (
340
      (if (chart_microwave_mode_logic_start <> 0)
340
      (if (chart_microwave_mode__logic_start <> 0)
341 341
         then true
342 342
         else false) and 
343 343
      
......
350 350

  
351 351
   
352 352
   
353
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
354
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
353
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
354
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
355 355
         then 
356
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
356
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
357 357
                  then 
358 358
                        
359 359
                        0
360
                  else chart_microwave_mode_logic_begin_state_states___root)
361
         else chart_microwave_mode_logic_begin_state_states___root);
360
                  else chart_microwave_mode__logic_begin_state_states___root)
361
         else chart_microwave_mode__logic_begin_state_states___root);
362 362

  
363 363
   
364 364
   
365
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
366
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
367
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
368
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
365
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
366
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
367
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
368
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
369 369
   
370 370
   
371 371

  
372 372
   
373 373
   
374
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
375
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
374
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
375
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
376 376
         then 
377
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
377
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
378 378
                  then 
379
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
379
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
380 380
                           then 3
381
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
382
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
383
         else chart_microwave_mode_logic_begin_state_outports_mode);
381
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
382
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
383
         else chart_microwave_mode__logic_begin_state_outports_mode_);
384 384
   
385 385
   
386 386

  
387 387
   
388 388
   
389
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
390
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
391
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
389
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
390
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
391
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
392 392

  
393 393
   
394 394
   
395
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
396
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
395
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
396
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
397 397
         then 
398 398
               (if 
399 399
                  
400
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
401
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
400
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
401
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
402 402
                  then 
403 403
                        
404 404
                        0
405
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
406
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
405
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
406
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
407 407

  
408 408
   
409 409
   
410
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
411
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
410
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
411
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
412 412
         then 
413
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
413
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
414 414
                  then 
415 415
                        
416 416
                        4
417
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
418
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
417
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
418
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
419 419
   
420 420
   
421 421

  
422 422
   
423 423
   
424
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
424
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
425 425
      ((
426
      (if (chart_microwave_mode_logic_start <> 0)
426
      (if (chart_microwave_mode__logic_start <> 0)
427 427
         then true
428 428
         else false) and 
429 429
      
430
      (if (chart_microwave_mode_logic_door_closed <> 0)
430
      (if (chart_microwave_mode__logic_door_closed <> 0)
431 431
         then true
432 432
         else false)) and 
433
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
433
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
434 434

  
435 435
   
436 436
   
437
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
438
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
437
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
438
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
439 439

  
440 440
   
441 441
   
442
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
443
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
442
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
443
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
444 444
         then 
445
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
445
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
446 446
                  then 
447 447
                        
448 448
                        1
449
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
450
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
449
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
450
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
451 451

  
452 452
   
453 453
   
454
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
455
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
454
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
455
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
456 456
         then 
457
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
457
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
458 458
                  then 1
459
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
460
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
459
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
460
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
461 461

  
462 462
   
463 463
   
464
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
465
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
464
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
465
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
466 466
         then 
467
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
467
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
468 468
                  then 
469 469
                        
470 470
                        2
471
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
472
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
471
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
472
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
473 473
   
474 474
   
475 475

  
476 476
   
477 477
   
478
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
479
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
478
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
479
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
480 480
         then 
481
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
481
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
482 482
                  then 2
483
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
484
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
483
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
484
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
485 485
   
486 486
   
487 487

  
488 488
   
489 489
   
490
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
490
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
491 491
      (
492
      (if (chart_microwave_mode_logic_clear_off <> 0)
492
      (if (chart_microwave_mode__logic_clear_off <> 0)
493 493
         then true
494 494
         else false) and 
495
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
496
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
497
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
495
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
496
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
497
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
498 498

  
499 499
   
500 500
   
501
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
502
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
501
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
502
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
503 503

  
504 504
   
505 505
   
506
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
507
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
506
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
507
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
508 508
         then 
509 509
               (if 
510 510
                  
511
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
512
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
511
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
512
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
513 513
                  then 
514 514
                        
515 515
                        0
516
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
517
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
516
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
517
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
518 518

  
519 519
   
520 520
   
521
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
522
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
521
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
522
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
523 523
         then 0
524
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
524
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
525 525

  
526 526
   
527 527
   
528
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
529
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
528
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
529
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
530 530
         then 
531
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
531
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
532 532
                  then 
533 533
                        
534 534
                        4
535
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
536
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
535
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
536
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
537 537
   
538 538
   
539 539

  
540 540
   
541 541
   
542
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
543
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
544
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
542
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
543
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
544
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
545 545

  
546 546
   
547 547
   
548
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
549
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
548
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
549
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
550 550
         then 
551
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
551
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
552 552
                  then 1
553
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
554
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
553
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
554
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
555 555

  
556 556
   
557 557
   
558
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
559
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
558
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
559
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
560 560
         then 
561
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
561
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
562 562
                  then 
563 563
                        
564 564
                        1
565
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
566
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
565
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
566
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
567 567

  
568 568
   
569 569
   
570
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
571
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
570
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
571
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
572 572
         then 
573
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
573
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
574 574
                  then 
575 575
                        
576 576
                        2
577
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
578
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
577
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
578
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
579 579
   
580 580
   
581 581

  
582 582
   
583 583
   
584
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
584
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
585 585
      ((
586
      (if (chart_microwave_mode_logic_clear_off <> 0)
586
      (if (chart_microwave_mode__logic_clear_off <> 0)
587 587
         then true
588 588
         else false) or 
589 589
      (not 
590
      (if (chart_microwave_mode_logic_door_closed <> 0)
590
      (if (chart_microwave_mode__logic_door_closed <> 0)
591 591
         then true
592 592
         else false))) and 
593
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
594
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
593
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
594
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
595 595

  
596 596
   
597 597
   
598
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
599
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
598
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
599
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
600 600
         then 
601
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
601
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
602 602
                  then 
603 603
                        
604 604
                        1
605
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
606
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
605
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
606
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
607 607

  
608 608
   
609 609
   
610
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
611
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
610
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
611
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
612 612
         then 
613
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
613
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
614 614
                  then 2
615
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
616
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
615
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
616
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
617 617

  
618
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
618
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
619 619
      (if (not 
620 620
         
621
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
622
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
621
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
622
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
623 623
         then 
624 624
               
625 625
               1
626
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
626
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
627 627

  
628 628
   
629 629
   
630
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
630
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
631 631
      
632
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
633
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
632
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
633
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
634 634
      
635 635
      
636
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
637
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
636
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
637
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
638 638

  
639 639
   
640 640
   
641
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
641
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
642 642
      (
643 643
      
644
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
645
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
644
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
645
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
646 646
      
647
      (if (chart_microwave_mode_logic_door_closed <> 0)
647
      (if (chart_microwave_mode__logic_door_closed <> 0)
648 648
         then true
649 649
         else false)));
650 650

  
651 651
   
652 652
   
653
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
654
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
653
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
654
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
655 655
         then 
656
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
656
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
657 657
                  then 
658 658
                        
659 659
                        2
660
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
661
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
660
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
661
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
662 662
   
663 663
   
664 664

  
665 665
   
666 666
   
667
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
668
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
667
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
668
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
669 669
         then 
670
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
670
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
671 671
                  then 2
672
                  else chart_microwave_mode_logic_begin_state_outports_mode)
673
         else chart_microwave_mode_logic_begin_state_outports_mode);
672
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
673
         else chart_microwave_mode__logic_begin_state_outports_mode_);
674 674
   
675 675
   
676 676

  
677 677
   
678 678
   
679
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
679
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
680 680
      (
681 681
      
682
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
683
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
684
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
682
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
683
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
684
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
685 685

  
686 686
   
687 687
   
688
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
689
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
688
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
689
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
690 690
         then 
691
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
691
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
692 692
                  then 
693 693
                        
694 694
                        3
695
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
696
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
695
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
696
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
697 697
   
698 698
   
699 699

  
700 700
   
701 701
   
702
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
703
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
702
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
703
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
704 704
         then 
705 705
               
706 706
               4
707
         else chart_microwave_mode_logic_begin_state_states___root);
707
         else chart_microwave_mode__logic_begin_state_states___root);
708 708
   
709 709
   
710 710

  
711
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
711
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
712 712

  
713 713

  
714 714
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1107 1107
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1108 1108

  
1109 1109
   SETUP = 
1110
      (if (1 = microwave_microwave_mode_logic_mode)
1110
      (if (1 = microwave_microwave_mode__logic_mode_)
1111 1111
         then true
1112 1112
         else false);
1113 1113

  
1114 1114
   enable = (true -> 
1115
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1115
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1116 1116
         then true
1117 1117
         else false));
1118 1118

  

Also available in: Unified diff