|
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
|
|