Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / all files / top.ec.bkp @ b8dc00eb

History | View | Annotate | Download (40.9 KB)

1
node top
2
  (KP_START: bool;
3
  KP_CLEAR: bool;
4
  KP_0: bool;
5
  KP_1: bool;
6
  KP_2: bool;
7
  KP_3: bool;
8
  KP_4: bool;
9
  KP_5: bool;
10
  KP_6: bool;
11
  KP_7: bool;
12
  KP_8: bool;
13
  KP_9: bool;
14
  DOOR_CLOSED: bool)
15
returns
16
  (OK: bool);
17

    
18
var
19
  V17_SETUP: bool;
20
  V18_COOKING: bool;
21
  V19_SUSPENDED: bool;
22
  V20_START_PRESSED: bool;
23
  V21_CLEAR_PRESSED: bool;
24
  V25_STEPS_TO_COOK: int;
25
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock: bool;
26
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step: 
27
  bool;
28
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY
29
  : int;
30
  V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY: int;
31
  V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY: int;
32
  V41_rlt__Arrow5: int;
33
  V42_rlt__Arrow4: int;
34
  V43_rlt__Arrow3: int;
35
  V44_rlt__Arrow2: int;
36
  V45_rlt__Arrow1: int;
37
  V46_rlt__Arrow: int;
38
  V47_chart_microwave_mode_logic_start: int;
39
  V48_chart_microwave_mode_logic_clear_off: int;
40
  V49_chart_microwave_mode_logic_door_closed: int;
41
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1: bool;
42
  V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root: int;
43
  V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root: int;
44
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2: bool;
45
  V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1: bool;
46
  V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root: int;
47
  V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode: int;
48
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root: int;
49
  V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode: int;
50
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4: bool;
51
  V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2: bool;
52
  V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root: int;
53
  V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining: 
54
  int;
55
  V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root: int;
56
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5: bool;
57
  V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode: int;
58
  V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root: int;
59
  V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root: int;
60
  V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6: bool;
61
  V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root: int;
62
  V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode: int;
63
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root: int;
64
  V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0: bool;
65
  V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1: bool;
66
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root: int;
67
  V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode: int;
68
  V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2: bool;
69
  V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root: int;
70
  V79_rlt_eval_microwave_mode_logic_rlt_fired_0: bool;
71
  V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining: int;
72
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1: bool;
73
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root: int;
74
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root: int;
75
  V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode: int;
76
  V85_rlt_enter_microwave_mode_logic_rltCheckEntryStateConsistency_0: bool;
77
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root: int;
78
  V87_chart_microwave_mode_logic_rlt_evtInitStep: bool;
79
  V88_chart_microwave_mode_logic_begin_state_states___root: int;
80
  V89_chart_microwave_mode_logic_begin_state_outports_mode: int;
81
  V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining: int;
82
  V91_chart_microwave_mode_logic_final_state_states___root: int;
83
  V93_chart_microwave_mode_logic_steps_remaining: int;
84
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT: int;
85
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT: int;
86
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER: int;
87
  V97_microwave_microwave_mode_logic_mode: int;
88
  V98_MWI_FcnMaxI_In16: int;
89
  V99_MWI_FcnMaxI_In15: int;
90
  V100_MWI_FcnMaxI_In13: int;
91
  V101_MWI_FcnMaxI_In12: int;
92
  V102_MWI_FcnMaxI_In11: int;
93
  V103_MWI_FcnMaxI_In1: int;
94
  V104_p3: bool;
95
  V105_p4: bool;
96
  V106_p5: bool;
97
  V107_p6: bool;
98
  V108_p7: bool;
99
  V109_p8: bool;
100
  V110_p9: bool;
101
  V111_p10: bool;
102
  V112_p11: bool;
103
  V113_p12: bool;
104
  V114_p13: bool;
105
  V115_p14: bool;
106
  V116_p15: bool;
107
  V117_p16: bool;
108
  V118_p17: bool;
109
  V119_p18: bool;
110
  V120_p19: bool;
111
  V121_p20: bool;
112
  V122_p21: bool;
113
  V123_p22: bool;
114
  V124_p23: bool;
115
  V125_p24: bool;
116
  V126_p25: bool;
117
  V127_p26: bool;
118
  V128_p27: bool;
119
  V129_p28: bool;
120
  V130_p29: bool;
121
  V131_p30: bool;
122
  V132_p31: bool;
123
  V133_p32: bool;
124
  V134_p33: bool;
125
  V135_p34: bool;
126
  V136_p35: bool;
127
  V137_p36: bool;
128
  V138_p37: bool;
129
  V139_rltTruncByConv2: bool;
130
  V140_rltTruncByConv1: bool;
131
  V141_rltTruncByConv: bool;
132

    
133
let
134
  OK = ((V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 2) 
135
  or (V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = 3));
136
  V17_SETUP = (if (1 = V97_microwave_microwave_mode_logic_mode) then true else 
137
  false);
138
  V18_COOKING = (if (2 = V97_microwave_microwave_mode_logic_mode) then true 
139
  else false);
140
  V19_SUSPENDED = (if (3 = V97_microwave_microwave_mode_logic_mode) then true 
141
  else false);
142
  V20_START_PRESSED = (KP_START -> (KP_START and (not (pre KP_START))));
143
  V21_CLEAR_PRESSED = (KP_CLEAR -> (KP_CLEAR and (not (pre KP_CLEAR))));
144
  V25_STEPS_TO_COOK = ((if (
145
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
146
  (not V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)) 
147
  then 0 else ((((V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + (
148
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY 
149
  * 60)) * 1)) -> (if (
150
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step and 
151
  (not V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock)) 
152
  then 0 else (if 
153
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (((
154
  (V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY * 1) + (V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY * 10)) + (
155
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY 
156
  * 60)) * 1) else (pre V25_STEPS_TO_COOK))));
157
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock = (true 
158
  -> (if (1 = (pre V97_microwave_microwave_mode_logic_mode)) then true else 
159
  false));
160
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step = (
161
  true -> (if (not 
162
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock) then 
163
  true else (if (pre 
164
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock) then 
165
  false else (pre 
166
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step))));
167
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY 
168
  = (0 -> (if 
169
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if 
170
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then 
171
  0 else (if KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then 
172
  0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre 
173
  KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and 
174
  (not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if 
175
  (KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then 
176
  7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre 
177
  KP_9))) then 9 else 10)))))))))) <= 9) then true else false) then (pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY) 
178
  else (pre 
179
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY
180
  )))) else (pre 
181
  V38_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY
182
  )));
183
  V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY = (0 -> (if 
184
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if 
185
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then 
186
  0 else (if KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then 
187
  0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre 
188
  KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and 
189
  (not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if 
190
  (KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then 
191
  7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre 
192
  KP_9))) then 9 else 10)))))))))) <= 9) then true else false) then (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY) else 
193
  (pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)))) else (pre V39_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY)));
194
  V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY = ((if KP_CLEAR then 0 else (if (if ((if KP_0 then 0 else (if KP_1 then 1 
195
  else (if KP_2 then 2 else (if KP_3 then 3 else (if KP_4 then 4 else (if KP_5 
196
  then 5 else (if KP_6 then 6 else (if KP_7 then 7 else (if KP_8 then 8 else 
197
  (if KP_9 then 9 else 10)))))))))) <= 9) then true else false) then (if KP_0 
198
  then 0 else (if KP_1 then 1 else (if KP_2 then 2 else (if KP_3 then 3 else 
199
  (if KP_4 then 4 else (if KP_5 then 5 else (if KP_6 then 6 else (if KP_7 then 
200
  7 else (if KP_8 then 8 else (if KP_9 then 9 else 10)))))))))) else 0)) -> (if 
201
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock then (if 
202
  V37_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step then 
203
  (if KP_CLEAR then 0 else (if (if ((if KP_0 then 0 else (if KP_1 then 1 else 
204
  (if KP_2 then 2 else (if KP_3 then 3 else (if KP_4 then 4 else (if KP_5 then 
205
  5 else (if KP_6 then 6 else (if KP_7 then 7 else (if KP_8 then 8 else (if 
206
  KP_9 then 9 else 10)))))))))) <= 9) then true else false) then (if KP_0 then 
207
  0 else (if KP_1 then 1 else (if KP_2 then 2 else (if KP_3 then 3 else (if 
208
  KP_4 then 4 else (if KP_5 then 5 else (if KP_6 then 6 else (if KP_7 then 7 
209
  else (if KP_8 then 8 else (if KP_9 then 9 else 10)))))))))) else 0)) else (if 
210
  KP_CLEAR then 0 else (if (if ((if (KP_0 and (not (pre KP_0))) then 0 else (if 
211
  (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and (not (pre KP_2))) then 
212
  2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if (KP_4 and (not (pre 
213
  KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 5 else (if (KP_6 and 
214
  (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre KP_7))) then 7 else (if 
215
  (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and (not (pre KP_9))) then 
216
  9 else 10)))))))))) <= 9) then true else false) then (if (KP_0 and (not (pre 
217
  KP_0))) then 0 else (if (KP_1 and (not (pre KP_1))) then 1 else (if (KP_2 and 
218
  (not (pre KP_2))) then 2 else (if (KP_3 and (not (pre KP_3))) then 3 else (if 
219
  (KP_4 and (not (pre KP_4))) then 4 else (if (KP_5 and (not (pre KP_5))) then 
220
  5 else (if (KP_6 and (not (pre KP_6))) then 6 else (if (KP_7 and (not (pre 
221
  KP_7))) then 7 else (if (KP_8 and (not (pre KP_8))) then 8 else (if (KP_9 and 
222
  (not (pre KP_9))) then 9 else 10)))))))))) else (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)))) else (pre V40_microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY)));
223
  V41_rlt__Arrow5 = (639 -> (if (not (not V17_SETUP)) then (if (
224
  V100_MWI_FcnMaxI_In13 > 0) then V100_MWI_FcnMaxI_In13 else 0) else 639));
225
  V42_rlt__Arrow4 = (639 -> (if (not V19_SUSPENDED) then (if (
226
  V101_MWI_FcnMaxI_In12 > 0) then V101_MWI_FcnMaxI_In12 else 0) else 639));
227
  V43_rlt__Arrow3 = (639 -> (if (not (not V18_COOKING)) then (if (
228
  V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639));
229
  V44_rlt__Arrow2 = (639 -> (if (not (not V19_SUSPENDED)) then (if (
230
  V99_MWI_FcnMaxI_In15 > 0) then V99_MWI_FcnMaxI_In15 else 0) else 639));
231
  V45_rlt__Arrow1 = (639 -> (if (not V18_COOKING) then (if (
232
  V102_MWI_FcnMaxI_In11 > 0) then V102_MWI_FcnMaxI_In11 else 0) else 639));
233
  V46_rlt__Arrow = (639 -> (if (not V17_SETUP) then (if (V103_MWI_FcnMaxI_In1 > 
234
  0) then V103_MWI_FcnMaxI_In1 else 0) else 639));
235
  V47_chart_microwave_mode_logic_start = (if (V20_START_PRESSED = false) then 0 
236
  else 1);
237
  V48_chart_microwave_mode_logic_clear_off = (if (V21_CLEAR_PRESSED = false) 
238
  then 0 else 1);
239
  V49_chart_microwave_mode_logic_door_closed = (if (DOOR_CLOSED = false) then 0 
240
  else 1);
241
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 = (((
242
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2) and (
243
  V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining <= 0)) 
244
  and (V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = 2));
245
  V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = (if 
246
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if ((
247
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and (
248
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3)) then 0 
249
  else V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root) else 
250
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root);
251
  V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = (if 
252
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if (not (
253
  V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) then 4 
254
  else V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root) else 
255
  V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root);
256
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 = ((
257
  V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) and (((if 
258
  (V47_chart_microwave_mode_logic_start <> 0) then true else false) and (if (
259
  V49_chart_microwave_mode_logic_door_closed <> 0) then true else false)) and 
260
  (not V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1)));
261
  V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1 = (
262
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 or 
263
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1);
264
  V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = (if 
265
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if (
266
  V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root = 3) then 1 
267
  else V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root) else 
268
  V53_rlt_eval_microwave_mode_logic_ON_rlt_state_2_states___root);
269
  V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode = (if 
270
  V51_rlt_eval_microwave_mode_logic_ON_rlt_fired_1 then (if (not (
271
  V52_rlt_eval_microwave_mode_logic_ON_rlt_state_1_states___root = 4)) then 1 
272
  else V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode) else 
273
  V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode);
274
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = (if 
275
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if (not (
276
  V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) then 2 
277
  else V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root) else 
278
  V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root);
279
  V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode = (if 
280
  V54_rlt_eval_microwave_mode_logic_ON_rlt_fired_2 then (if (not (
281
  V56_rlt_eval_microwave_mode_logic_ON_rlt_state_3_states___root = 2)) then 2 
282
  else V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode) else 
283
  V57_rlt_eval_microwave_mode_logic_ON_rlt_state_3_outports_mode);
284
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 = (((
285
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and ((if 
286
  (V48_chart_microwave_mode_logic_clear_off <> 0) then true else false) and 
287
  (not V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1))) and ((
288
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root = 3) and (not 
289
  V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1)));
290
  V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2 = (
291
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 or 
292
  V55_rlt_eval_microwave_mode_logic_ON_rlt_complete_1);
293
  V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = (if 
294
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if ((
295
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root >= 1) and (
296
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root <= 3)) then 0 
297
  else V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root) else 
298
  V58_rlt_eval_microwave_mode_logic_ON_rlt_state_4_states___root);
299
  V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining = 
300
  (if V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then 0 else 
301
  V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining);
302
  V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = (if 
303
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if (not (
304
  V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) then 4 
305
  else V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root) else 
306
  V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root);
307
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 = ((
308
  V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) and ((
309
  V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining > 0
310
  ) and (not V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2)));
311
  V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode = (if 
312
  V60_rlt_eval_microwave_mode_logic_ON_rlt_fired_4 then (if (not (
313
  V62_rlt_eval_microwave_mode_logic_ON_rlt_state_6_states___root = 4)) then 1 
314
  else V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode) else 
315
  V59_rlt_eval_microwave_mode_logic_ON_rlt_state_4_outports_mode);
316
  V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = (if 
317
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if (
318
  V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root = 2) then 1 
319
  else V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root) else 
320
  V64_rlt_eval_microwave_mode_logic_ON_rlt_state_7_states___root);
321
  V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = (if 
322
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if (not (
323
  V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) then 2 
324
  else V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root) else 
325
  V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root);
326
  V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 = ((
327
  V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) and ((
328
  (if (V48_chart_microwave_mode_logic_clear_off <> 0) then true else false) or 
329
  (not (if (V49_chart_microwave_mode_logic_door_closed <> 0) then true else 
330
  false))) and (not (V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 or 
331
  V61_rlt_eval_microwave_mode_logic_ON_rlt_complete_2))));
332
  V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = (if 
333
  V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if (
334
  V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root = 2) then 1 
335
  else V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root) else 
336
  V68_rlt_eval_microwave_mode_logic_ON_rlt_state_10_states___root);
337
  V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode = (if 
338
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (if (not (
339
  V67_rlt_eval_microwave_mode_logic_ON_rlt_state_9_states___root = 2)) then 2 
340
  else V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode) else 
341
  V66_rlt_eval_microwave_mode_logic_ON_rlt_state_8_outports_mode);
342
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = (if (not ((
343
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and (
344
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) then 1 
345
  else V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
346
  V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 = ((not ((
347
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root >= 1) and (
348
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root <= 3))) and ((
349
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and (
350
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)));
351
  V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 = (
352
  V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and (((
353
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root >= 1) and (
354
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root <= 3)) and 
355
  (if (V49_chart_microwave_mode_logic_door_closed <> 0) then true else false)))
356
  ;
357
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = (if 
358
  V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 then (if (not (
359
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) then 2 
360
  else V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root) else 
361
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root);
362
  V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode = (if 
363
  V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1 then (if (not (
364
  V72_rlt_enter_microwave_mode_logic_ON_rlt_state_1_states___root = 2)) then 2 
365
  else V89_chart_microwave_mode_logic_begin_state_outports_mode) else 
366
  V89_chart_microwave_mode_logic_begin_state_outports_mode);
367
  V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 = (
368
  V73_rlt_enter_microwave_mode_logic_ON_rlt_fired_0 and (((
369
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root >= 1) and (
370
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root <= 3)) and 
371
  (not V74_rlt_enter_microwave_mode_logic_ON_rlt_fired_1)));
372
  V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root = (if 
373
  V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 then (if (not (
374
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) then 3 
375
  else V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root) else 
376
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root);
377
  V79_rlt_eval_microwave_mode_logic_rlt_fired_0 = (
378
  V88_chart_microwave_mode_logic_begin_state_states___root = 4);
379
  V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining = (if 
380
  V79_rlt_eval_microwave_mode_logic_rlt_fired_0 then V25_STEPS_TO_COOK else 
381
  V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining);
382
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1 = (
383
  V79_rlt_eval_microwave_mode_logic_rlt_fired_0 and ((
384
  V88_chart_microwave_mode_logic_begin_state_states___root = 4) and ((if (
385
  V47_chart_microwave_mode_logic_start <> 0) then true else false) and (if ((if 
386
  ((V25_STEPS_TO_COOK > 0) = false) then 0 else 1) <> 0) then true else false))
387
  ));
388
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root = (if 
389
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then (if (
390
  V88_chart_microwave_mode_logic_begin_state_states___root = 4) then 0 else 
391
  V88_chart_microwave_mode_logic_begin_state_states___root) else 
392
  V88_chart_microwave_mode_logic_begin_state_states___root);
393
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root = (if 
394
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then 
395
  V78_rlt_enter_microwave_mode_logic_ON_rlt_state_4_states___root else 
396
  V82_rlt_eval_microwave_mode_logic_rlt_state_2_states___root);
397
  V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode = (if 
398
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1 then (if 
399
  V77_rlt_enter_microwave_mode_logic_ON_rlt_fired_2 then (if (not (
400
  V75_rlt_enter_microwave_mode_logic_ON_rlt_state_2_states___root = 3)) then 3 
401
  else V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode) else 
402
  V76_rlt_enter_microwave_mode_logic_ON_rlt_state_2_outports_mode) else 
403
  V89_chart_microwave_mode_logic_begin_state_outports_mode);
404
  V85_rlt_enter_microwave_mode_logic_rltCheckEntryStateConsistency_0 = (((
405
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root >= 1) and (
406
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root <= 3)) or (
407
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root = 4));
408
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root = (if (not (
409
  V88_chart_microwave_mode_logic_begin_state_states___root = 4)) then 4 else 
410
  V88_chart_microwave_mode_logic_begin_state_states___root);
411
  V87_chart_microwave_mode_logic_rlt_evtInitStep = (true -> (if (pre true) then 
412
  false else (pre V87_chart_microwave_mode_logic_rlt_evtInitStep)));
413
  V88_chart_microwave_mode_logic_begin_state_states___root = (0 -> (pre 
414
  V91_chart_microwave_mode_logic_final_state_states___root));
415
  V89_chart_microwave_mode_logic_begin_state_outports_mode = (0 -> (pre 
416
  V97_microwave_microwave_mode_logic_mode));
417
  V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining = (0 -> 
418
  (pre V93_chart_microwave_mode_logic_steps_remaining));
419
  V91_chart_microwave_mode_logic_final_state_states___root = (if 
420
  V87_chart_microwave_mode_logic_rlt_evtInitStep then 
421
  V86_rlt_enter_microwave_mode_logic_rlt_state_2_states___root else (if ((not 
422
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and ((
423
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and (
424
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if 
425
  V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if (not (
426
  V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) then 3 
427
  else V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) else 
428
  V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root) else 
429
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root));
430
  V93_chart_microwave_mode_logic_steps_remaining = (if 
431
  V87_chart_microwave_mode_logic_rlt_evtInitStep then 
432
  V90_chart_microwave_mode_logic_begin_state_outports_steps_remaining else (if 
433
  ((not V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and ((
434
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and (
435
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if 
436
  V65_rlt_eval_microwave_mode_logic_ON_rlt_fired_5 then (
437
  V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining - 1
438
  ) else 
439
  V63_rlt_eval_microwave_mode_logic_ON_rlt_state_6_outports_steps_remaining) 
440
  else V80_rlt_eval_microwave_mode_logic_rlt_state_1_outports_steps_remaining))
441
  ;
442
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((
443
  V93_chart_microwave_mode_logic_steps_remaining div 1) div 60);
444
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (((
445
  V93_chart_microwave_mode_logic_steps_remaining div 1) - (((
446
  V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10);
447
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (((
448
  V93_chart_microwave_mode_logic_steps_remaining div 1) - (((
449
  V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) - ((((
450
  V93_chart_microwave_mode_logic_steps_remaining div 1) - (((
451
  V93_chart_microwave_mode_logic_steps_remaining div 1) div 60) * 60)) div 10) 
452
  * 10));
453
  V97_microwave_microwave_mode_logic_mode = (if 
454
  V87_chart_microwave_mode_logic_rlt_evtInitStep then (if (not (
455
  V88_chart_microwave_mode_logic_begin_state_states___root = 4)) then 1 else 
456
  V89_chart_microwave_mode_logic_begin_state_outports_mode) else (if ((not 
457
  V81_rlt_eval_microwave_mode_logic_rlt_fired_1) and ((
458
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root >= 1) and (
459
  V83_rlt_eval_microwave_mode_logic_rlt_state_3_states___root <= 3))) then (if 
460
  V69_rlt_eval_microwave_mode_logic_ON_rlt_fired_6 then (if (not (
461
  V70_rlt_eval_microwave_mode_logic_ON_rlt_state_11_states___root = 3)) then 3 
462
  else V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode) else 
463
  V71_rlt_eval_microwave_mode_logic_ON_rlt_state_11_outports_mode) else 
464
  V84_rlt_eval_microwave_mode_logic_rlt_state_3_outports_mode));
465
  V98_MWI_FcnMaxI_In16 = ((pre V43_rlt__Arrow3) - 1);
466
  V99_MWI_FcnMaxI_In15 = ((pre V44_rlt__Arrow2) - 1);
467
  V100_MWI_FcnMaxI_In13 = ((pre V41_rlt__Arrow5) - 1);
468
  V101_MWI_FcnMaxI_In12 = ((pre V42_rlt__Arrow4) - 1);
469
  V102_MWI_FcnMaxI_In11 = ((pre V45_rlt__Arrow1) - 1);
470
  V103_MWI_FcnMaxI_In1 = ((pre V46_rlt__Arrow) - 1);
471
  V104_p3 = (true -> ((if (not V17_SETUP) then (if (V103_MWI_FcnMaxI_In1 > 0) 
472
  then V103_MWI_FcnMaxI_In1 else 0) else 639) > 0));
473
  V105_p4 = (true -> ((if (not V18_COOKING) then (if (V102_MWI_FcnMaxI_In11 > 0
474
  ) then V102_MWI_FcnMaxI_In11 else 0) else 639) > 0));
475
  V106_p5 = (true -> ((if (not V19_SUSPENDED) then (if (V101_MWI_FcnMaxI_In12 > 
476
  0) then V101_MWI_FcnMaxI_In12 else 0) else 639) > 0));
477
  V107_p6 = (true -> ((not V17_SETUP) or ((if (not (not V17_SETUP)) then (if (
478
  V100_MWI_FcnMaxI_In13 > 0) then V100_MWI_FcnMaxI_In13 else 0) else 639) > 0))
479
  );
480
  V108_p7 = (true -> ((not V18_COOKING) or ((if (not (not V18_COOKING)) then 
481
  (if (V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639) > 
482
  0)));
483
  V109_p8 = (true -> ((not V19_SUSPENDED) or ((if (not (not V19_SUSPENDED)) 
484
  then (if (V99_MWI_FcnMaxI_In15 > 0) then V99_MWI_FcnMaxI_In15 else 0) else 
485
  639) > 0)));
486
  V110_p9 = (true -> ((not V18_COOKING) or DOOR_CLOSED));
487
  V111_p10 = (true -> ((not V18_COOKING) or ((if (not (not V18_COOKING)) then 
488
  (if (V98_MWI_FcnMaxI_In16 > 0) then V98_MWI_FcnMaxI_In16 else 0) else 639) > 
489
  0)));
490
  V112_p11 = ((not KP_CLEAR) or (not V18_COOKING));
491
  V113_p12 = (
492
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or (
493
  V25_STEPS_TO_COOK = 0));
494
  V114_p13 = ((not (
495
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and 
496
  KP_CLEAR)) or (V25_STEPS_TO_COOK = 0));
497
  V115_p14 = (true -> ((not (
498
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
499
  KP_CLEAR))) or (V25_STEPS_TO_COOK = (((
500
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER + (
501
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT * 10)) + (
502
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT * 60)) * 
503
  1))));
504
  V116_p15 = (
505
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or (
506
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0));
507
  V117_p16 = ((not (
508
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and 
509
  KP_CLEAR)) or (
510
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0));
511
  V118_p17 = (((not (
512
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
513
  KP_CLEAR))) or ((not (((((((((KP_1 or KP_2) or KP_3) or KP_4) or KP_5) or 
514
  KP_6) or KP_7) or KP_8) or KP_9) or KP_0)) or (
515
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = 0))) 
516
  -> ((not (
517
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
518
  KP_CLEAR))) or ((not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not 
519
  (pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) 
520
  or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and 
521
  (not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre 
522
  KP_9)))) or (KP_0 and (not (pre KP_0))))) or (
523
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (pre 
524
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT)))));
525
  V119_p18 = (((not (
526
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
527
  KP_CLEAR))) or ((not (((((((((KP_1 or KP_2) or KP_3) or KP_4) or KP_5) or 
528
  KP_6) or KP_7) or KP_8) or KP_9) or KP_0)) or (
529
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((
530
  V25_STEPS_TO_COOK div 1) div 60)))) -> ((not (
531
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
532
  KP_CLEAR))) or ((not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not 
533
  (pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) 
534
  or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and 
535
  (not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre 
536
  KP_9)))) or (KP_0 and (not (pre KP_0))))) or (
537
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = ((
538
  V25_STEPS_TO_COOK div 1) div 60)))));
539
  V120_p19 = (true -> ((not (
540
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
541
  KP_CLEAR))) or (((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre 
542
  KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or (
543
  KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not 
544
  (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) 
545
  or (KP_0 and (not (pre KP_0)))) or (
546
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT = (pre 
547
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT)))));
548
  V121_p20 = (
549
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or (
550
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = 0));
551
  V122_p21 = ((not (
552
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and 
553
  KP_CLEAR)) or (
554
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = 0));
555
  V123_p22 = (true -> (((not (
556
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
557
  KP_CLEAR))) or (not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not 
558
  (pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) 
559
  or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and 
560
  (not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre 
561
  KP_9)))) or (KP_0 and (not (pre KP_0)))))) or (
562
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (pre 
563
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER))));
564
  V124_p23 = (true -> (((not (
565
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
566
  KP_CLEAR))) or (not ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not 
567
  (pre KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) 
568
  or (KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and 
569
  (not (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre 
570
  KP_9)))) or (KP_0 and (not (pre KP_0)))))) or (
571
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = ((
572
  V25_STEPS_TO_COOK - ((V25_STEPS_TO_COOK div 60) * 60)) div 10))));
573
  V125_p24 = (true -> (((not (
574
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
575
  KP_CLEAR))) or ((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre 
576
  KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or (
577
  KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not 
578
  (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) 
579
  or (KP_0 and (not (pre KP_0))))) or (
580
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT = (pre 
581
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT))));
582
  V126_p25 = (
583
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock or (
584
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0));
585
  V127_p26 = ((not (
586
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and 
587
  KP_CLEAR)) or (
588
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0));
589
  V128_p27 = (((not (
590
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
591
  KP_CLEAR))) or ((not KP_0) or (
592
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0))) -> 
593
  ((not (V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock 
594
  and (not KP_CLEAR))) or ((not (KP_0 and (not (pre KP_0)))) or (
595
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 0))));
596
  V129_p28 = (true -> ((not (
597
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
598
  KP_CLEAR))) or ((not ((KP_1 and (not (pre KP_1))) and (not (KP_0 and (not 
599
  (pre KP_0)))))) or (
600
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 1))));
601
  V130_p29 = (true -> ((not (
602
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
603
  KP_CLEAR))) or ((not ((KP_2 and (not (pre KP_2))) and ((not (KP_1 and (not 
604
  (pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))) or (
605
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 2))));
606
  V131_p30 = (true -> ((not (
607
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
608
  KP_CLEAR))) or ((not ((KP_3 and (not (pre KP_3))) and ((not (KP_2 and (not 
609
  (pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not 
610
  (pre KP_0)))))))) or (
611
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 3))));
612
  V132_p31 = (true -> ((not (
613
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
614
  KP_CLEAR))) or ((not ((KP_4 and (not (pre KP_4))) and ((not (KP_3 and (not 
615
  (pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not 
616
  (pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))) or (
617
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 4))));
618
  V133_p32 = (true -> ((not (
619
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
620
  KP_CLEAR))) or ((not ((KP_5 and (not (pre KP_5))) and ((not (KP_4 and (not 
621
  (pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not 
622
  (pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not 
623
  (pre KP_0)))))))))) or (
624
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 5))));
625
  V134_p33 = (true -> ((not (
626
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
627
  KP_CLEAR))) or ((not ((KP_6 and (not (pre KP_6))) and ((not (KP_5 and (not 
628
  (pre KP_5)))) and ((not (KP_4 and (not (pre KP_4)))) and ((not (KP_3 and (not 
629
  (pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not 
630
  (pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))))) or (
631
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 6))));
632
  V135_p34 = (true -> ((not (
633
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
634
  KP_CLEAR))) or ((not ((KP_7 and (not (pre KP_7))) and ((not (KP_6 and (not 
635
  (pre KP_6)))) and ((not (KP_5 and (not (pre KP_5)))) and ((not (KP_4 and (not 
636
  (pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not 
637
  (pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not 
638
  (pre KP_0)))))))))))) or (
639
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 7))));
640
  V136_p35 = (true -> ((not (
641
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
642
  KP_CLEAR))) or ((not ((KP_8 and (not (pre KP_8))) and ((not (KP_7 and (not 
643
  (pre KP_7)))) and ((not (KP_6 and (not (pre KP_6)))) and ((not (KP_5 and (not 
644
  (pre KP_5)))) and ((not (KP_4 and (not (pre KP_4)))) and ((not (KP_3 and (not 
645
  (pre KP_3)))) and ((not (KP_2 and (not (pre KP_2)))) and ((not (KP_1 and (not 
646
  (pre KP_1)))) and (not (KP_0 and (not (pre KP_0))))))))))))) or (
647
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 8))));
648
  V137_p36 = (true -> ((not (
649
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
650
  KP_CLEAR))) or ((not ((KP_9 and (not (pre KP_9))) and ((not (KP_8 and (not 
651
  (pre KP_8)))) and ((not (KP_7 and (not (pre KP_7)))) and ((not (KP_6 and (not 
652
  (pre KP_6)))) and ((not (KP_5 and (not (pre KP_5)))) and ((not (KP_4 and (not 
653
  (pre KP_4)))) and ((not (KP_3 and (not (pre KP_3)))) and ((not (KP_2 and (not 
654
  (pre KP_2)))) and ((not (KP_1 and (not (pre KP_1)))) and (not (KP_0 and (not 
655
  (pre KP_0)))))))))))))) or (
656
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = 9))));
657
  V138_p37 = (true -> ((not (
658
  V26_rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock and (not 
659
  KP_CLEAR))) or (((((((((((KP_1 and (not (pre KP_1))) or (KP_2 and (not (pre 
660
  KP_2)))) or (KP_3 and (not (pre KP_3)))) or (KP_4 and (not (pre KP_4)))) or (
661
  KP_5 and (not (pre KP_5)))) or (KP_6 and (not (pre KP_6)))) or (KP_7 and (not 
662
  (pre KP_7)))) or (KP_8 and (not (pre KP_8)))) or (KP_9 and (not (pre KP_9)))) 
663
  or (KP_0 and (not (pre KP_0)))) or (
664
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER = (pre 
665
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER)))));
666
  V139_rltTruncByConv2 = ((
667
  V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER >= 0) and 
668
  (V96_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__REMAINDER <= 256));
669
  V140_rltTruncByConv1 = ((
670
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT >= 0) and (
671
  V95_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_TENS__QUOTIENT <= 256));
672
  V141_rltTruncByConv = ((
673
  V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT >= 0) 
674
  and (V94_microwave_microwave_TIME_ON_DISPLAY_SECONDS_TO_MINUTES__QUOTIENT <= 
675
  256));
676
tel.
677