Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/microwave39.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; 
......
193 193
   CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and 
194 194
      (not (pre KP_CLEAR))));
195 195

  
196
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode_logic_steps_remaining div 1) div 60);
196
   microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((chart_microwave_mode__logic_steps_remaining div 1) div 60);
197 197

  
198
   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));
198
   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));
199 199

  
200 200
   SUSPENDED = 
201
      (if (3 = microwave_microwave_mode_logic_mode)
201
      (if (3 = microwave_microwave_mode__logic_mode_)
202 202
         then true
203 203
         else false);
204 204

  
......
234 234

  
235 235

  
236 236

  
237
   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);
237
   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);
238 238

  
239 239
   MWI_FcnMaxI_In16 = ((pre rlt__Arrow3) - 1);
240 240

  
......
244 244

  
245 245

  
246 246
   COOKING = 
247
      (if (2 = microwave_microwave_mode_logic_mode)
247
      (if (2 = microwave_microwave_mode__logic_mode_)
248 248
         then true
249 249
         else false);
250 250

  
......
253 253
   START_PRESSED = (KP_START -> (KP_START and 
254 254
      (not (pre KP_START))));
255 255

  
256
   chart_microwave_mode_logic_start = 
256
   chart_microwave_mode__logic_start = 
257 257
      (if (START_PRESSED = false)
258 258
         then 0
259 259
         else 1);
260 260

  
261
   chart_microwave_mode_logic_clear_off = 
261
   chart_microwave_mode__logic_clear_off = 
262 262
      (if (CLEAR_PRESSED = false)
263 263
         then 0
264 264
         else 1);
265 265

  
266
   chart_microwave_mode_logic_door_closed = 
266
   chart_microwave_mode__logic_door_closed = 
267 267
      (if (DOOR_CLOSED = false)
268 268
         then 0
269 269
         else 1);
270 270

  
271
   chart_microwave_mode_logic____wakeup___ = true;
271
   chart_microwave_mode__logic____wakeup___ = true;
272 272

  
273
   chart_microwave_mode_logic_rlt_evtInitStep = (true -> 
274
      (if (pre chart_microwave_mode_logic____wakeup___)
273
   chart_microwave_mode__logic_rlt_evtInitStep = (true -> 
274
      (if (pre chart_microwave_mode__logic____wakeup___)
275 275
         then false
276
         else (pre chart_microwave_mode_logic_rlt_evtInitStep)));
276
         else (pre chart_microwave_mode__logic_rlt_evtInitStep)));
277 277

  
278
   chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre chart_microwave_mode_logic_final_state_states___root));
278
   chart_microwave_mode__logic_begin_state_states___root = (0 -> (pre chart_microwave_mode__logic_final_state_states___root));
279 279

  
280
   chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre chart_microwave_mode_logic_mode));
280
   chart_microwave_mode__logic_begin_state_outports_mode_ = (0 -> (pre chart_microwave_mode__logic_mode_));
281 281

  
282
   chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode_logic_steps_remaining));
282
   chart_microwave_mode__logic_begin_state_outports_steps_remaining = (0 -> (pre chart_microwave_mode__logic_steps_remaining));
283 283

  
284
   chart_microwave_mode_logic_final_state_states___root = 
285
      (if chart_microwave_mode_logic____wakeup___
284
   chart_microwave_mode__logic_final_state_states___root = 
285
      (if chart_microwave_mode__logic____wakeup___
286 286
         then 
287
               (if chart_microwave_mode_logic_rlt_evtInitStep
288
                  then rlt_enter_microwave_mode_logic_rlt_state_2_states___root
287
               (if chart_microwave_mode__logic_rlt_evtInitStep
288
                  then rlt_enter_microwave_mode__logic_rlt_state_2_states___root
289 289
                  else 
290
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
290
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
291 291
                  
292 292
                  
293
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
294
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
293
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
294
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
295 295
                  then 
296
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
296
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
297 297
                           then 
298
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
298
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
299 299
                                    then 
300 300
                                          
301 301
                                          3
302
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
303
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root)
304
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root))
305
         else chart_microwave_mode_logic_begin_state_states___root);
302
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
303
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root)
304
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root))
305
         else chart_microwave_mode__logic_begin_state_states___root);
306 306

  
307
   chart_microwave_mode_logic_mode = 
308
      (if chart_microwave_mode_logic____wakeup___
307
   chart_microwave_mode__logic_mode_ = 
308
      (if chart_microwave_mode__logic____wakeup___
309 309
         then 
310
               (if chart_microwave_mode_logic_rlt_evtInitStep
310
               (if chart_microwave_mode__logic_rlt_evtInitStep
311 311
                  then 
312
                        (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
312
                        (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
313 313
                           then 1
314
                           else chart_microwave_mode_logic_begin_state_outports_mode)
314
                           else chart_microwave_mode__logic_begin_state_outports_mode_)
315 315
                  else 
316
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
316
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
317 317
                  
318 318
                  
319
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
320
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
319
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
320
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
321 321
                  then 
322
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
322
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
323 323
                           then 
324
                                 (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3))
324
                                 (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 3))
325 325
                                    then 3
326
                                    else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
327
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode)
328
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode))
329
         else chart_microwave_mode_logic_begin_state_outports_mode);
326
                                    else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
327
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_)
328
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_))
329
         else chart_microwave_mode__logic_begin_state_outports_mode_);
330 330

  
331
   chart_microwave_mode_logic_steps_remaining = 
332
      (if chart_microwave_mode_logic____wakeup___
331
   chart_microwave_mode__logic_steps_remaining = 
332
      (if chart_microwave_mode__logic____wakeup___
333 333
         then 
334
               (if chart_microwave_mode_logic_rlt_evtInitStep
335
                  then chart_microwave_mode_logic_begin_state_outports_steps_remaining
334
               (if chart_microwave_mode__logic_rlt_evtInitStep
335
                  then chart_microwave_mode__logic_begin_state_outports_steps_remaining
336 336
                  else 
337
               (if ((not rlt_eval_microwave_mode_logic_rlt_fired_1) and 
337
               (if ((not rlt_eval_microwave_mode__logic_rlt_fired_1) and 
338 338
                  
339 339
                  
340
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
341
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)))
340
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
341
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3)))
342 342
                  then 
343
                        (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
344
                           then (rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1)
345
                           else rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining)
346
                  else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
347
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
343
                        (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
344
                           then (rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining - 1)
345
                           else rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining)
346
                  else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining))
347
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
348 348

  
349 349
   
350 350
   
351
   rlt_eval_microwave_mode_logic_rlt_fired_0 = (chart_microwave_mode_logic_begin_state_states___root = 4);
351
   rlt_eval_microwave_mode__logic_rlt_fired_0 = (chart_microwave_mode__logic_begin_state_states___root = 4);
352 352

  
353 353
   
354 354
   
355
   rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = 
356
      (if rlt_eval_microwave_mode_logic_rlt_fired_0
355
   rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining = 
356
      (if rlt_eval_microwave_mode__logic_rlt_fired_0
357 357
         then STEPS_TO_COOK
358
         else chart_microwave_mode_logic_begin_state_outports_steps_remaining);
358
         else chart_microwave_mode__logic_begin_state_outports_steps_remaining);
359 359

  
360 360
   
361 361
   
362
   rlt_eval_microwave_mode_logic_rlt_fired_1 = (rlt_eval_microwave_mode_logic_rlt_fired_0 and 
363
      ((chart_microwave_mode_logic_begin_state_states___root = 4) and 
362
   rlt_eval_microwave_mode__logic_rlt_fired_1 = (rlt_eval_microwave_mode__logic_rlt_fired_0 and 
363
      ((chart_microwave_mode__logic_begin_state_states___root = 4) and 
364 364
      (
365
      (if (chart_microwave_mode_logic_start <> 0)
365
      (if (chart_microwave_mode__logic_start <> 0)
366 366
         then true
367 367
         else false) and 
368 368
      
......
375 375

  
376 376
   
377 377
   
378
   rlt_eval_microwave_mode_logic_rlt_state_2_states___root = 
379
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
378
   rlt_eval_microwave_mode__logic_rlt_state_2_states___root = 
379
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
380 380
         then 
381
               (if (chart_microwave_mode_logic_begin_state_states___root = 4)
381
               (if (chart_microwave_mode__logic_begin_state_states___root = 4)
382 382
                  then 
383 383
                        
384 384
                        0
385
                  else chart_microwave_mode_logic_begin_state_states___root)
386
         else chart_microwave_mode_logic_begin_state_states___root);
385
                  else chart_microwave_mode__logic_begin_state_states___root)
386
         else chart_microwave_mode__logic_begin_state_states___root);
387 387

  
388 388
   
389 389
   
390
   rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 
391
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
392
         then rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root
393
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
390
   rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 
391
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
392
         then rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root
393
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
394 394
   
395 395
   
396 396

  
397 397
   
398 398
   
399
   rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = 
400
      (if rlt_eval_microwave_mode_logic_rlt_fired_1
399
   rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_ = 
400
      (if rlt_eval_microwave_mode__logic_rlt_fired_1
401 401
         then 
402
               (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
402
               (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
403 403
                  then 
404
                        (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
404
                        (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
405 405
                           then 3
406
                           else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
407
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode)
408
         else chart_microwave_mode_logic_begin_state_outports_mode);
406
                           else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
407
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_)
408
         else chart_microwave_mode__logic_begin_state_outports_mode_);
409 409
   
410 410
   
411 411

  
412 412
   
413 413
   
414
   rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and 
415
      (rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) and 
416
      (rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
414
   rlt_eval_microwave_mode__logic_ON_rlt_fired_1 = (((rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2) and 
415
      (rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining <= 0)) and 
416
      (rlt_eval_microwave_mode__logic_rlt_state_3_states___root = 2));
417 417

  
418 418
   
419 419
   
420
   rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 
421
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
420
   rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 
421
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
422 422
         then 
423 423
               (if 
424 424
                  
425
                  ((rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and 
426
                  (rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))
425
                  ((rlt_eval_microwave_mode__logic_rlt_state_3_states___root >= 1) and 
426
                  (rlt_eval_microwave_mode__logic_rlt_state_3_states___root <= 3))
427 427
                  then 
428 428
                        
429 429
                        0
430
                  else rlt_eval_microwave_mode_logic_rlt_state_3_states___root)
431
         else rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
430
                  else rlt_eval_microwave_mode__logic_rlt_state_3_states___root)
431
         else rlt_eval_microwave_mode__logic_rlt_state_3_states___root);
432 432

  
433 433
   
434 434
   
435
   rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 
436
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
435
   rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 
436
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
437 437
         then 
438
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
438
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
439 439
                  then 
440 440
                        
441 441
                        4
442
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root)
443
         else rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
442
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root)
443
         else rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root);
444 444
   
445 445
   
446 446

  
447 447
   
448 448
   
449
   rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and 
449
   rlt_eval_microwave_mode__logic_ON_rlt_fired_2 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3) and 
450 450
      ((
451
      (if (chart_microwave_mode_logic_start <> 0)
451
      (if (chart_microwave_mode__logic_start <> 0)
452 452
         then true
453 453
         else false) and 
454 454
      
455
      (if (chart_microwave_mode_logic_door_closed <> 0)
455
      (if (chart_microwave_mode__logic_door_closed <> 0)
456 456
         then true
457 457
         else false)) and 
458
      (not rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
458
      (not rlt_eval_microwave_mode__logic_ON_rlt_fired_1)));
459 459

  
460 460
   
461 461
   
462
   rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
463
      rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
462
   rlt_eval_microwave_mode__logic_ON_rlt_complete_1 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_2 or 
463
      rlt_eval_microwave_mode__logic_ON_rlt_fired_1);
464 464

  
465 465
   
466 466
   
467
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 
468
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
467
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 
468
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
469 469
         then 
470
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3)
470
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root = 3)
471 471
                  then 
472 472
                        
473 473
                        1
474
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root)
475
         else rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
474
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root)
475
         else rlt_eval_microwave_mode__logic_ON_rlt_state_2_states___root);
476 476

  
477 477
   
478 478
   
479
   rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = 
480
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_1
479
   rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_ = 
480
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_1
481 481
         then 
482
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4))
482
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_1_states___root = 4))
483 483
                  then 1
484
                  else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode)
485
         else rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
484
                  else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_)
485
         else rlt_eval_microwave_mode__logic_rlt_state_3_outports_mode_);
486 486

  
487 487
   
488 488
   
489
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 
490
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
489
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 
490
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
491 491
         then 
492
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
492
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
493 493
                  then 
494 494
                        
495 495
                        2
496
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root)
497
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
496
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root)
497
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root);
498 498
   
499 499
   
500 500

  
501 501
   
502 502
   
503
   rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = 
504
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_2
503
   rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_ = 
504
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_2
505 505
         then 
506
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2))
506
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_3_states___root = 2))
507 507
                  then 2
508
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode)
509
         else rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
508
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_)
509
         else rlt_eval_microwave_mode__logic_ON_rlt_state_3_outports_mode_);
510 510
   
511 511
   
512 512

  
513 513
   
514 514
   
515
   rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
515
   rlt_eval_microwave_mode__logic_ON_rlt_fired_4 = (((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
516 516
      (
517
      (if (chart_microwave_mode_logic_clear_off <> 0)
517
      (if (chart_microwave_mode__logic_clear_off <> 0)
518 518
         then true
519 519
         else false) and 
520
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and 
521
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and 
522
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
520
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1))) and 
521
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root = 3) and 
522
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_1)));
523 523

  
524 524
   
525 525
   
526
   rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
527
      rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
526
   rlt_eval_microwave_mode__logic_ON_rlt_complete_2 = (rlt_eval_microwave_mode__logic_ON_rlt_fired_4 or 
527
      rlt_eval_microwave_mode__logic_ON_rlt_complete_1);
528 528

  
529 529
   
530 530
   
531
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 
532
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
531
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 
532
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
533 533
         then 
534 534
               (if 
535 535
                  
536
                  ((rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and 
537
                  (rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3))
536
                  ((rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root >= 1) and 
537
                  (rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root <= 3))
538 538
                  then 
539 539
                        
540 540
                        0
541
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root)
542
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
541
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root)
542
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_states___root);
543 543

  
544 544
   
545 545
   
546
   rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
547
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
546
   rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining = 
547
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
548 548
         then 0
549
         else rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
549
         else rlt_eval_microwave_mode__logic_rlt_state_1_outports_steps_remaining);
550 550

  
551 551
   
552 552
   
553
   rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 
554
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
553
   rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 
554
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
555 555
         then 
556
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
556
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
557 557
                  then 
558 558
                        
559 559
                        4
560
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root)
561
         else rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
560
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root)
561
         else rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root);
562 562
   
563 563
   
564 564

  
565 565
   
566 566
   
567
   rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and 
568
      ((rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
569
      (not rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
567
   rlt_eval_microwave_mode__logic_ON_rlt_fired_5 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2) and 
568
      ((rlt_eval_microwave_mode__logic_ON_rlt_state_6_outports_steps_remaining > 0) and 
569
      (not rlt_eval_microwave_mode__logic_ON_rlt_complete_2)));
570 570

  
571 571
   
572 572
   
573
   rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = 
574
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_4
573
   rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_ = 
574
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_4
575 575
         then 
576
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4))
576
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_6_states___root = 4))
577 577
                  then 1
578
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode)
579
         else rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
578
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_)
579
         else rlt_eval_microwave_mode__logic_ON_rlt_state_4_outports_mode_);
580 580

  
581 581
   
582 582
   
583
   rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 
584
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
583
   rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 
584
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
585 585
         then 
586
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2)
586
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root = 2)
587 587
                  then 
588 588
                        
589 589
                        1
590
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root)
591
         else rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
590
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root)
591
         else rlt_eval_microwave_mode__logic_ON_rlt_state_7_states___root);
592 592

  
593 593
   
594 594
   
595
   rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 
596
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
595
   rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 
596
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
597 597
         then 
598
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
598
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
599 599
                  then 
600 600
                        
601 601
                        2
602
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root)
603
         else rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
602
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root)
603
         else rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root);
604 604
   
605 605
   
606 606

  
607 607
   
608 608
   
609
   rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and 
609
   rlt_eval_microwave_mode__logic_ON_rlt_fired_6 = ((rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2) and 
610 610
      ((
611
      (if (chart_microwave_mode_logic_clear_off <> 0)
611
      (if (chart_microwave_mode__logic_clear_off <> 0)
612 612
         then true
613 613
         else false) or 
614 614
      (not 
615
      (if (chart_microwave_mode_logic_door_closed <> 0)
615
      (if (chart_microwave_mode__logic_door_closed <> 0)
616 616
         then true
617 617
         else false))) and 
618
      (not (rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
619
      rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
618
      (not (rlt_eval_microwave_mode__logic_ON_rlt_fired_5 or 
619
      rlt_eval_microwave_mode__logic_ON_rlt_complete_2))));
620 620

  
621 621
   
622 622
   
623
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 
624
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_6
623
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_states___root = 
624
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_6
625 625
         then 
626
               (if (rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2)
626
               (if (rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root = 2)
627 627
                  then 
628 628
                        
629 629
                        1
630
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root)
631
         else rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
630
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root)
631
         else rlt_eval_microwave_mode__logic_ON_rlt_state_10_states___root);
632 632

  
633 633
   
634 634
   
635
   rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = 
636
      (if rlt_eval_microwave_mode_logic_ON_rlt_fired_5
635
   rlt_eval_microwave_mode__logic_ON_rlt_state_11_outports_mode_ = 
636
      (if rlt_eval_microwave_mode__logic_ON_rlt_fired_5
637 637
         then 
638
               (if (not (rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2))
638
               (if (not (rlt_eval_microwave_mode__logic_ON_rlt_state_9_states___root = 2))
639 639
                  then 2
640
                  else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode)
641
         else rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
640
                  else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_)
641
         else rlt_eval_microwave_mode__logic_ON_rlt_state_8_outports_mode_);
642 642

  
643
   rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 
643
   rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 
644 644
      (if (not 
645 645
         
646
         ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
647
         (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3)))
646
         ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
647
         (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3)))
648 648
         then 
649 649
               
650 650
               1
651
         else rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
651
         else rlt_eval_microwave_mode__logic_rlt_state_2_states___root);
652 652

  
653 653
   
654 654
   
655
   rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not 
655
   rlt_enter_microwave_mode__logic_ON_rlt_fired_0 = ((not 
656 656
      
657
      ((rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and 
658
      (rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and 
657
      ((rlt_eval_microwave_mode__logic_rlt_state_2_states___root >= 1) and 
658
      (rlt_eval_microwave_mode__logic_rlt_state_2_states___root <= 3))) and 
659 659
      
660 660
      
661
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
662
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
661
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
662
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)));
663 663

  
664 664
   
665 665
   
666
   rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
666
   rlt_enter_microwave_mode__logic_ON_rlt_fired_1 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
667 667
      (
668 668
      
669
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and 
670
      (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
669
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root >= 1) and 
670
      (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root <= 3)) and 
671 671
      
672
      (if (chart_microwave_mode_logic_door_closed <> 0)
672
      (if (chart_microwave_mode__logic_door_closed <> 0)
673 673
         then true
674 674
         else false)));
675 675

  
676 676
   
677 677
   
678
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 
679
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
678
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 
679
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
680 680
         then 
681
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
681
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
682 682
                  then 
683 683
                        
684 684
                        2
685
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root)
686
         else rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
685
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root)
686
         else rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root);
687 687
   
688 688
   
689 689

  
690 690
   
691 691
   
692
   rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = 
693
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_1
692
   rlt_enter_microwave_mode__logic_ON_rlt_state_2_outports_mode_ = 
693
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_1
694 694
         then 
695
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2))
695
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_1_states___root = 2))
696 696
                  then 2
697
                  else chart_microwave_mode_logic_begin_state_outports_mode)
698
         else chart_microwave_mode_logic_begin_state_outports_mode);
697
                  else chart_microwave_mode__logic_begin_state_outports_mode_)
698
         else chart_microwave_mode__logic_begin_state_outports_mode_);
699 699
   
700 700
   
701 701

  
702 702
   
703 703
   
704
   rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and 
704
   rlt_enter_microwave_mode__logic_ON_rlt_fired_2 = (rlt_enter_microwave_mode__logic_ON_rlt_fired_0 and 
705 705
      (
706 706
      
707
      ((rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and 
708
      (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
709
      (not rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
707
      ((rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root >= 1) and 
708
      (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root <= 3)) and 
709
      (not rlt_enter_microwave_mode__logic_ON_rlt_fired_1)));
710 710

  
711 711
   
712 712
   
713
   rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 
714
      (if rlt_enter_microwave_mode_logic_ON_rlt_fired_2
713
   rlt_enter_microwave_mode__logic_ON_rlt_state_4_states___root = 
714
      (if rlt_enter_microwave_mode__logic_ON_rlt_fired_2
715 715
         then 
716
               (if (not (rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3))
716
               (if (not (rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root = 3))
717 717
                  then 
718 718
                        
719 719
                        3
720
                  else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root)
721
         else rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
720
                  else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root)
721
         else rlt_enter_microwave_mode__logic_ON_rlt_state_2_states___root);
722 722
   
723 723
   
724 724

  
725 725
   
726 726
   
727
   rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 
728
      (if (not (chart_microwave_mode_logic_begin_state_states___root = 4))
727
   rlt_enter_microwave_mode__logic_rlt_state_2_states___root = 
728
      (if (not (chart_microwave_mode__logic_begin_state_states___root = 4))
729 729
         then 
730 730
               
731 731
               4
732
         else chart_microwave_mode_logic_begin_state_states___root);
732
         else chart_microwave_mode__logic_begin_state_states___root);
733 733
   
734 734
   
735 735

  
736
   microwave_microwave_mode_logic_mode = chart_microwave_mode_logic_mode;
736
   microwave_microwave_mode__logic_mode_ = chart_microwave_mode__logic_mode_;
737 737

  
738 738

  
739 739
   MWI_FcnMaxI_In13 = ((pre rlt__Arrow5) - 1);
......
1132 1132
         else (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
1133 1133

  
1134 1134
   SETUP = 
1135
      (if (1 = microwave_microwave_mode_logic_mode)
1135
      (if (1 = microwave_microwave_mode__logic_mode_)
1136 1136
         then true
1137 1137
         else false);
1138 1138

  
1139 1139
   enable = (true -> 
1140
      (if (1 = (pre microwave_microwave_mode_logic_mode))
1140
      (if (1 = (pre microwave_microwave_mode__logic_mode_))
1141 1141
         then true
1142 1142
         else false));
1143 1143

  

Also available in: Unified diff