Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetOut / SetResetOut.smt2 @ eb639349

History | View | Annotate | Download (121 KB)

1
(declare-datatypes () ((setresetout_setresetout__type POINTSetResetOut_SetResetOut POINT__TO__SETRESETOUT_OFF_1 SETRESETOUT_ON__TO__SETRESETOUT_OFF_1 SETRESETOUT_OFF__TO__SETRESETOUT_ON_1 SETRESETOUT_ON_IDL SETRESETOUT_OFF_IDL)));
2

    
3
; SetResetOut_Off_en
4
(declare-var SetResetOut_Off_en.idSetResetOut_SetResetOut_1 Int)
5
(declare-var SetResetOut_Off_en.is_set_1 Int)
6
(declare-var SetResetOut_Off_en.offcnt_1 Int)
7
(declare-var SetResetOut_Off_en.isInner Bool)
8
(declare-var SetResetOut_Off_en.idSetResetOut_SetResetOut Int)
9
(declare-var SetResetOut_Off_en.is_set Int)
10
(declare-var SetResetOut_Off_en.offcnt Int)
11
(declare-var SetResetOut_Off_en.__SetResetOut_Off_en_1 Bool)
12
(declare-var SetResetOut_Off_en.is_set_2 Int)
13
(declare-var SetResetOut_Off_en.offcnt_2 Int)
14
(declare-rel SetResetOut_Off_en (Int Int Int Bool Int Int Int))
15
(rule (=> 
16
  (and (= SetResetOut_Off_en.__SetResetOut_Off_en_1 (not SetResetOut_Off_en.isInner))
17
       (and (or (not (= SetResetOut_Off_en.__SetResetOut_Off_en_1 false))
18
               (and (= SetResetOut_Off_en.offcnt_2 SetResetOut_Off_en.offcnt_1)
19
                    (= SetResetOut_Off_en.is_set_2 SetResetOut_Off_en.is_set_1)
20
                    ))
21
            (or (not (= SetResetOut_Off_en.__SetResetOut_Off_en_1 true))
22
               (and (= SetResetOut_Off_en.offcnt_2 (+ SetResetOut_Off_en.offcnt_1 1))
23
                    (= SetResetOut_Off_en.is_set_2 2)
24
                    ))
25
       )
26
       (= SetResetOut_Off_en.offcnt SetResetOut_Off_en.offcnt_2)
27
       (= SetResetOut_Off_en.is_set SetResetOut_Off_en.is_set_2)
28
       (= SetResetOut_Off_en.idSetResetOut_SetResetOut 1737)
29
       )
30
  (SetResetOut_Off_en SetResetOut_Off_en.idSetResetOut_SetResetOut_1 SetResetOut_Off_en.is_set_1 SetResetOut_Off_en.offcnt_1 SetResetOut_Off_en.isInner SetResetOut_Off_en.idSetResetOut_SetResetOut SetResetOut_Off_en.is_set SetResetOut_Off_en.offcnt)
31
))
32

    
33
; SetResetOut_Off_du
34
(declare-var SetResetOut_Off_du.offcnt_1 Int)
35
(declare-var SetResetOut_Off_du.offcnt Int)
36
(declare-rel SetResetOut_Off_du (Int Int))
37
(rule (=> 
38
  (= SetResetOut_Off_du.offcnt (+ SetResetOut_Off_du.offcnt_1 1))
39
  (SetResetOut_Off_du SetResetOut_Off_du.offcnt_1 SetResetOut_Off_du.offcnt)
40
))
41

    
42
; SetResetOut_Off_ex
43
(declare-var SetResetOut_Off_ex.is_reset_1 Int)
44
(declare-var SetResetOut_Off_ex.idSetResetOut_SetResetOut_1 Int)
45
(declare-var SetResetOut_Off_ex.isInner Bool)
46
(declare-var SetResetOut_Off_ex.is_reset Int)
47
(declare-var SetResetOut_Off_ex.idSetResetOut_SetResetOut Int)
48
(declare-var SetResetOut_Off_ex.__SetResetOut_Off_ex_1 Bool)
49
(declare-var SetResetOut_Off_ex.idSetResetOut_SetResetOut_2 Int)
50
(declare-var SetResetOut_Off_ex.is_reset_2 Int)
51
(declare-rel SetResetOut_Off_ex (Int Int Bool Int Int))
52
(rule (=> 
53
  (and (= SetResetOut_Off_ex.__SetResetOut_Off_ex_1 (not SetResetOut_Off_ex.isInner))
54
       (and (or (not (= SetResetOut_Off_ex.__SetResetOut_Off_ex_1 false))
55
               (and (= SetResetOut_Off_ex.is_reset_2 SetResetOut_Off_ex.is_reset_1)
56
                    (= SetResetOut_Off_ex.idSetResetOut_SetResetOut_2 SetResetOut_Off_ex.idSetResetOut_SetResetOut_1)
57
                    ))
58
            (or (not (= SetResetOut_Off_ex.__SetResetOut_Off_ex_1 true))
59
               (and (= SetResetOut_Off_ex.is_reset_2 2)
60
                    (= SetResetOut_Off_ex.idSetResetOut_SetResetOut_2 0)
61
                    ))
62
       )
63
       (= SetResetOut_Off_ex.is_reset SetResetOut_Off_ex.is_reset_2)
64
       (= SetResetOut_Off_ex.idSetResetOut_SetResetOut SetResetOut_Off_ex.idSetResetOut_SetResetOut_1)
65
       )
66
  (SetResetOut_Off_ex SetResetOut_Off_ex.is_reset_1 SetResetOut_Off_ex.idSetResetOut_SetResetOut_1 SetResetOut_Off_ex.isInner SetResetOut_Off_ex.is_reset SetResetOut_Off_ex.idSetResetOut_SetResetOut)
67
))
68

    
69
; SetResetOut_On_en
70
(declare-var SetResetOut_On_en.idSetResetOut_SetResetOut_1 Int)
71
(declare-var SetResetOut_On_en.is_set_1 Int)
72
(declare-var SetResetOut_On_en.oncnt_1 Int)
73
(declare-var SetResetOut_On_en.isInner Bool)
74
(declare-var SetResetOut_On_en.idSetResetOut_SetResetOut Int)
75
(declare-var SetResetOut_On_en.is_set Int)
76
(declare-var SetResetOut_On_en.oncnt Int)
77
(declare-var SetResetOut_On_en.__SetResetOut_On_en_1 Bool)
78
(declare-var SetResetOut_On_en.is_set_2 Int)
79
(declare-var SetResetOut_On_en.oncnt_2 Int)
80
(declare-rel SetResetOut_On_en (Int Int Int Bool Int Int Int))
81
(rule (=> 
82
  (and (= SetResetOut_On_en.__SetResetOut_On_en_1 (not SetResetOut_On_en.isInner))
83
       (and (or (not (= SetResetOut_On_en.__SetResetOut_On_en_1 false))
84
               (and (= SetResetOut_On_en.oncnt_2 SetResetOut_On_en.oncnt_1)
85
                    (= SetResetOut_On_en.is_set_2 SetResetOut_On_en.is_set_1)
86
                    ))
87
            (or (not (= SetResetOut_On_en.__SetResetOut_On_en_1 true))
88
               (and (= SetResetOut_On_en.oncnt_2 (+ SetResetOut_On_en.oncnt_1 1))
89
                    (= SetResetOut_On_en.is_set_2 1)
90
                    ))
91
       )
92
       (= SetResetOut_On_en.oncnt SetResetOut_On_en.oncnt_2)
93
       (= SetResetOut_On_en.is_set SetResetOut_On_en.is_set_2)
94
       (= SetResetOut_On_en.idSetResetOut_SetResetOut 1736)
95
       )
96
  (SetResetOut_On_en SetResetOut_On_en.idSetResetOut_SetResetOut_1 SetResetOut_On_en.is_set_1 SetResetOut_On_en.oncnt_1 SetResetOut_On_en.isInner SetResetOut_On_en.idSetResetOut_SetResetOut SetResetOut_On_en.is_set SetResetOut_On_en.oncnt)
97
))
98

    
99
; SetResetOut_On_du
100
(declare-var SetResetOut_On_du.oncnt_1 Int)
101
(declare-var SetResetOut_On_du.oncnt Int)
102
(declare-rel SetResetOut_On_du (Int Int))
103
(rule (=> 
104
  (= SetResetOut_On_du.oncnt (+ SetResetOut_On_du.oncnt_1 1))
105
  (SetResetOut_On_du SetResetOut_On_du.oncnt_1 SetResetOut_On_du.oncnt)
106
))
107

    
108
; SetResetOut_On_ex
109
(declare-var SetResetOut_On_ex.is_reset_1 Int)
110
(declare-var SetResetOut_On_ex.idSetResetOut_SetResetOut_1 Int)
111
(declare-var SetResetOut_On_ex.isInner Bool)
112
(declare-var SetResetOut_On_ex.is_reset Int)
113
(declare-var SetResetOut_On_ex.idSetResetOut_SetResetOut Int)
114
(declare-var SetResetOut_On_ex.__SetResetOut_On_ex_1 Bool)
115
(declare-var SetResetOut_On_ex.idSetResetOut_SetResetOut_2 Int)
116
(declare-var SetResetOut_On_ex.is_reset_2 Int)
117
(declare-rel SetResetOut_On_ex (Int Int Bool Int Int))
118
(rule (=> 
119
  (and (= SetResetOut_On_ex.__SetResetOut_On_ex_1 (not SetResetOut_On_ex.isInner))
120
       (and (or (not (= SetResetOut_On_ex.__SetResetOut_On_ex_1 false))
121
               (and (= SetResetOut_On_ex.is_reset_2 SetResetOut_On_ex.is_reset_1)
122
                    (= SetResetOut_On_ex.idSetResetOut_SetResetOut_2 SetResetOut_On_ex.idSetResetOut_SetResetOut_1)
123
                    ))
124
            (or (not (= SetResetOut_On_ex.__SetResetOut_On_ex_1 true))
125
               (and (= SetResetOut_On_ex.is_reset_2 1)
126
                    (= SetResetOut_On_ex.idSetResetOut_SetResetOut_2 0)
127
                    ))
128
       )
129
       (= SetResetOut_On_ex.is_reset SetResetOut_On_ex.is_reset_2)
130
       (= SetResetOut_On_ex.idSetResetOut_SetResetOut SetResetOut_On_ex.idSetResetOut_SetResetOut_1)
131
       )
132
  (SetResetOut_On_ex SetResetOut_On_ex.is_reset_1 SetResetOut_On_ex.idSetResetOut_SetResetOut_1 SetResetOut_On_ex.isInner SetResetOut_On_ex.is_reset SetResetOut_On_ex.idSetResetOut_SetResetOut)
133
))
134

    
135
; setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until
136
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_1 Int)
137
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_1 Int)
138
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_1 Int)
139
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_1 Int)
140
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_1 Int)
141
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__restart_in Bool)
142
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
143
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_out Int)
144
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_out Int)
145
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_out Int)
146
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_out Int)
147
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_out Int)
148
(declare-rel setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
149
(rule (=> 
150
  (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
151
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__restart_in false)
152
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_1)
153
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_1)
154
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_1)
155
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_1)
156
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_1)
157
       )
158
  (setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.setresetout_setresetout__state_in setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_reset_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.is_set_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.offcnt_out setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until.oncnt_out)
159
))
160

    
161
; setresetout_setresetout__POINTSetResetOut_SetResetOut_unless
162
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_in Bool)
163
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
164
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 Int)
165
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Reset Bool)
166
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Set Bool)
167
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act Bool)
168
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
169
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_1 Bool)
170
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_2 Bool)
171
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_3 Bool)
172
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_4 Bool)
173
(declare-var setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_5 Bool)
174
(declare-rel setresetout_setresetout__POINTSetResetOut_SetResetOut_unless (Bool setresetout_setresetout__type Int Bool Bool Bool setresetout_setresetout__type))
175
(rule (=> 
176
  (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_5 (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 1737))
177
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_4 (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 1736))
178
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_3 (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 1737) setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Set))
179
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_2 (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 1736) setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Reset))
180
       (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_1 (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 0))
181
       (and (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_1 false))
182
               (and (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_2 false))
183
                       (and (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_3 false))
184
                               (and (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_4 false))
185
                                       (and (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_5 false))
186
                                               (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_in)
187
                                                    (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_in)
188
                                                    ))
189
                                            (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_5 true))
190
                                               (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act SETRESETOUT_OFF_IDL)
191
                                                    (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act true)
192
                                                    ))
193
                                       ))
194
                                    (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_4 true))
195
                                       (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act SETRESETOUT_ON_IDL)
196
                                            (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act true)
197
                                            ))
198
                               ))
199
                            (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_3 true))
200
                               (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act SETRESETOUT_OFF__TO__SETRESETOUT_ON_1)
201
                                    (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act true)
202
                                    ))
203
                       ))
204
                    (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_2 true))
205
                       (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act SETRESETOUT_ON__TO__SETRESETOUT_OFF_1)
206
                            (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act true)
207
                            ))
208
               ))
209
            (or (not (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.__setresetout_setresetout__POINTSetResetOut_SetResetOut_unless_1 true))
210
               (and (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act POINT__TO__SETRESETOUT_OFF_1)
211
                    (= setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act true)
212
                    ))
213
       )
214
       )
215
  (setresetout_setresetout__POINTSetResetOut_SetResetOut_unless setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_in setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_in setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.idSetResetOut_SetResetOut_1 setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Reset setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.Set setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__restart_act setresetout_setresetout__POINTSetResetOut_SetResetOut_unless.setresetout_setresetout__state_act)
216
))
217

    
218
; setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until
219
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1 Int)
220
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_1 Int)
221
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1 Int)
222
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1 Int)
223
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1 Int)
224
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in Bool)
225
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
226
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out Int)
227
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out Int)
228
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_out Int)
229
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out Int)
230
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out Int)
231
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2 Int)
232
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_2 Int)
233
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2 Int)
234
(declare-rel setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
235
(rule (=> 
236
  (and (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
237
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in true)
238
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1)
239
       (SetResetOut_Off_en setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1
240
                           setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_1
241
                           setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1
242
                           false
243
                           setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2
244
                           setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_2
245
                           setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2)
246
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2)
247
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_2)
248
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1)
249
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2)
250
       )
251
  (setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_1 setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1 setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1 setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1 setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.is_set_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out)
252
))
253

    
254
; setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless
255
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in Bool)
256
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
257
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act Bool)
258
(declare-var setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
259
(declare-rel setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless (Bool setresetout_setresetout__type Bool setresetout_setresetout__type))
260
(rule (=> 
261
  (and (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in)
262
       (= setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in)
263
       )
264
  (setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act)
265
))
266

    
267
; setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until
268
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_1 Int)
269
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_1 Int)
270
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_1 Int)
271
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_1 Int)
272
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_1 Int)
273
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__restart_in Bool)
274
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
275
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_out Int)
276
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_out Int)
277
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_out Int)
278
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_out Int)
279
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_out Int)
280
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_2 Int)
281
(declare-rel setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
282
(rule (=> 
283
  (and (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
284
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__restart_in true)
285
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_1)
286
       (SetResetOut_Off_du setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_1
287
                           setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_2)
288
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_2)
289
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_1)
290
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_1)
291
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_1)
292
       )
293
  (setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_1 setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_1 setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_1 setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_1 setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until.oncnt_out)
294
))
295

    
296
; setresetout_setresetout__SETRESETOUT_OFF_IDL_unless
297
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_in Bool)
298
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
299
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_act Bool)
300
(declare-var setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
301
(declare-rel setresetout_setresetout__SETRESETOUT_OFF_IDL_unless (Bool setresetout_setresetout__type Bool setresetout_setresetout__type))
302
(rule (=> 
303
  (and (= setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_act setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_in)
304
       (= setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_in)
305
       )
306
  (setresetout_setresetout__SETRESETOUT_OFF_IDL_unless setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_OFF_IDL_unless.setresetout_setresetout__state_act)
307
))
308

    
309
; setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until
310
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_1 Int)
311
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_1 Int)
312
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_1 Int)
313
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_1 Int)
314
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_1 Int)
315
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__restart_in Bool)
316
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
317
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_out Int)
318
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_out Int)
319
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_out Int)
320
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_out Int)
321
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_out Int)
322
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_2 Int)
323
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_3 Int)
324
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_2 Int)
325
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_2 Int)
326
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_2 Int)
327
(declare-rel setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
328
(rule (=> 
329
  (and (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
330
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__restart_in true)
331
       (SetResetOut_Off_ex setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_1
332
                           setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_1
333
                           false
334
                           setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_2
335
                           setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_2)
336
       (SetResetOut_On_en setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_2
337
                          setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_1
338
                          setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_1
339
                          false
340
                          setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_3
341
                          setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_2
342
                          setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_2)
343
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_2)
344
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_1)
345
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_2)
346
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_2)
347
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_3)
348
       )
349
  (setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_1 setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_1 setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_1 setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_1 setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until.oncnt_out)
350
))
351

    
352
; setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless
353
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_in Bool)
354
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
355
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_act Bool)
356
(declare-var setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
357
(declare-rel setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless (Bool setresetout_setresetout__type Bool setresetout_setresetout__type))
358
(rule (=> 
359
  (and (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_act setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_in)
360
       (= setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_in)
361
       )
362
  (setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless.setresetout_setresetout__state_act)
363
))
364

    
365
; setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until
366
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_1 Int)
367
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_1 Int)
368
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_1 Int)
369
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_1 Int)
370
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_1 Int)
371
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__restart_in Bool)
372
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
373
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_out Int)
374
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_out Int)
375
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_out Int)
376
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_out Int)
377
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_out Int)
378
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_2 Int)
379
(declare-rel setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
380
(rule (=> 
381
  (and (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
382
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__restart_in true)
383
       (SetResetOut_On_du setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_1
384
                          setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_2)
385
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_2)
386
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_1)
387
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_1)
388
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_1)
389
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_1)
390
       )
391
  (setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_1 setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_1 setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_1 setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_1 setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until.oncnt_out)
392
))
393

    
394
; setresetout_setresetout__SETRESETOUT_ON_IDL_unless
395
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_in Bool)
396
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
397
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_act Bool)
398
(declare-var setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
399
(declare-rel setresetout_setresetout__SETRESETOUT_ON_IDL_unless (Bool setresetout_setresetout__type Bool setresetout_setresetout__type))
400
(rule (=> 
401
  (and (= setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_act setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_in)
402
       (= setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_in)
403
       )
404
  (setresetout_setresetout__SETRESETOUT_ON_IDL_unless setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_ON_IDL_unless.setresetout_setresetout__state_act)
405
))
406

    
407
; setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until
408
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1 Int)
409
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_1 Int)
410
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1 Int)
411
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1 Int)
412
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1 Int)
413
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in Bool)
414
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__type)
415
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out Int)
416
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out Int)
417
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_out Int)
418
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out Int)
419
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out Int)
420
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2 Int)
421
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_3 Int)
422
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_2 Int)
423
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_2 Int)
424
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2 Int)
425
(declare-rel setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until (Int Int Int Int Int Bool setresetout_setresetout__type Int Int Int Int Int))
426
(rule (=> 
427
  (and (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
428
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in true)
429
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1)
430
       (SetResetOut_On_ex setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1
431
                          setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1
432
                          false
433
                          setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_2
434
                          setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2)
435
       (SetResetOut_Off_en setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_2
436
                           setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_1
437
                           setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1
438
                           false
439
                           setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_3
440
                           setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_2
441
                           setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2)
442
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_2)
443
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_2)
444
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_2)
445
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_3)
446
       )
447
  (setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_1 setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_1 setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_1 setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_1 setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_1 setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.idSetResetOut_SetResetOut_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_reset_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.is_set_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.offcnt_out setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until.oncnt_out)
448
))
449

    
450
; setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless
451
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in Bool)
452
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in setresetout_setresetout__type)
453
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act Bool)
454
(declare-var setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act setresetout_setresetout__type)
455
(declare-rel setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless (Bool setresetout_setresetout__type Bool setresetout_setresetout__type))
456
(rule (=> 
457
  (and (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in)
458
       (= setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in)
459
       )
460
  (setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_in setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_in setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__restart_act setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless.setresetout_setresetout__state_act)
461
))
462

    
463
; SetResetOut_SetResetOut_node
464
(declare-var SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1 Int)
465
(declare-var SetResetOut_SetResetOut_node.is_set_1 Int)
466
(declare-var SetResetOut_SetResetOut_node.offcnt_1 Int)
467
(declare-var SetResetOut_SetResetOut_node.Reset Bool)
468
(declare-var SetResetOut_SetResetOut_node.is_reset_1 Int)
469
(declare-var SetResetOut_SetResetOut_node.Set Bool)
470
(declare-var SetResetOut_SetResetOut_node.oncnt_1 Int)
471
(declare-var SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut Int)
472
(declare-var SetResetOut_SetResetOut_node.is_set Int)
473
(declare-var SetResetOut_SetResetOut_node.offcnt Int)
474
(declare-var SetResetOut_SetResetOut_node.is_reset Int)
475
(declare-var SetResetOut_SetResetOut_node.oncnt Int)
476
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c Bool)
477
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c setresetout_setresetout__type)
478
(declare-var SetResetOut_SetResetOut_node.ni_5._arrow._first_c Bool)
479
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m Bool)
480
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m setresetout_setresetout__type)
481
(declare-var SetResetOut_SetResetOut_node.ni_5._arrow._first_m Bool)
482
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x Bool)
483
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x setresetout_setresetout__type)
484
(declare-var SetResetOut_SetResetOut_node.ni_5._arrow._first_x Bool)
485
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_1 Bool)
486
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_10 setresetout_setresetout__type)
487
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_11 Bool)
488
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_12 setresetout_setresetout__type)
489
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_13 Bool)
490
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_14 setresetout_setresetout__type)
491
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_15 Int)
492
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_16 Int)
493
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_17 Int)
494
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_18 Int)
495
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_19 Int)
496
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_2 setresetout_setresetout__type)
497
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_20 Bool)
498
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_21 setresetout_setresetout__type)
499
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_22 Int)
500
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_23 Int)
501
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_24 Int)
502
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_25 Int)
503
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_26 Int)
504
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_27 Bool)
505
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_28 setresetout_setresetout__type)
506
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_29 Int)
507
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_3 Bool)
508
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_30 Int)
509
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_31 Int)
510
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_32 Int)
511
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_33 Int)
512
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_34 Bool)
513
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_35 setresetout_setresetout__type)
514
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_36 Int)
515
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_37 Int)
516
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_38 Int)
517
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_39 Int)
518
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_4 setresetout_setresetout__type)
519
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_40 Int)
520
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_41 Bool)
521
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_42 setresetout_setresetout__type)
522
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_43 Int)
523
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_44 Int)
524
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_45 Int)
525
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_46 Int)
526
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_47 Int)
527
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_48 Bool)
528
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_49 setresetout_setresetout__type)
529
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_5 Bool)
530
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_50 Int)
531
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_51 Int)
532
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_52 Int)
533
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_53 Int)
534
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_54 Int)
535
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_55 Bool)
536
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_6 setresetout_setresetout__type)
537
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_7 Bool)
538
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_8 setresetout_setresetout__type)
539
(declare-var SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_9 Bool)
540
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in Bool)
541
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in setresetout_setresetout__type)
542
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act Bool)
543
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in Bool)
544
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__state_act setresetout_setresetout__type)
545
(declare-var SetResetOut_SetResetOut_node.setresetout_setresetout__state_in setresetout_setresetout__type)
546
(declare-rel SetResetOut_SetResetOut_node_reset (Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool))
547
(declare-rel SetResetOut_SetResetOut_node_step (Int Int Int Bool Int Bool Int Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool))
548

    
549
(rule (=> 
550
  (and 
551
       (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
552
       (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
553
       (= SetResetOut_SetResetOut_node.ni_5._arrow._first_m true)
554
  )
555
  (SetResetOut_SetResetOut_node_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
556
                                      SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
557
                                      SetResetOut_SetResetOut_node.ni_5._arrow._first_c
558
                                      SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
559
                                      SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
560
                                      SetResetOut_SetResetOut_node.ni_5._arrow._first_m)
561
))
562

    
563
(rule (=> 
564
  (and (= SetResetOut_SetResetOut_node.ni_5._arrow._first_m SetResetOut_SetResetOut_node.ni_5._arrow._first_c)
565
       (and (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_55 (ite SetResetOut_SetResetOut_node.ni_5._arrow._first_m true false))
566
            (= SetResetOut_SetResetOut_node.ni_5._arrow._first_x false))
567
       (and (or (not (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_55 false))
568
               (and (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
569
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
570
                    ))
571
            (or (not (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_55 true))
572
               (and (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut)
573
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in false)
574
                    ))
575
       )
576
       (and (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in POINTSetResetOut_SetResetOut))
577
               (and (setresetout_setresetout__POINTSetResetOut_SetResetOut_unless 
578
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
579
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
580
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
581
                    SetResetOut_SetResetOut_node.Reset
582
                    SetResetOut_SetResetOut_node.Set
583
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_11
584
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_12)
585
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_12)
586
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_11)
587
                    ))
588
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in POINT__TO__SETRESETOUT_OFF_1))
589
               (and (setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless 
590
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
591
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
592
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_9
593
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_10)
594
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_10)
595
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_9)
596
                    ))
597
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in SETRESETOUT_OFF_IDL))
598
               (and (setresetout_setresetout__SETRESETOUT_OFF_IDL_unless 
599
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
600
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
601
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_1
602
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_2)
603
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_2)
604
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_1)
605
                    ))
606
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in SETRESETOUT_OFF__TO__SETRESETOUT_ON_1))
607
               (and (setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless 
608
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
609
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
610
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_5
611
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_6)
612
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_6)
613
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_5)
614
                    ))
615
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in SETRESETOUT_ON_IDL))
616
               (and (setresetout_setresetout__SETRESETOUT_ON_IDL_unless 
617
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
618
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
619
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_3
620
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_4)
621
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_4)
622
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_3)
623
                    ))
624
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_in SETRESETOUT_ON__TO__SETRESETOUT_OFF_1))
625
               (and (setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless 
626
                    SetResetOut_SetResetOut_node.setresetout_setresetout__restart_in
627
                    SetResetOut_SetResetOut_node.setresetout_setresetout__state_in
628
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_7
629
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_8)
630
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_8)
631
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__restart_act SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_7)
632
                    ))
633
       )
634
       (and (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act POINTSetResetOut_SetResetOut))
635
               (and (setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until 
636
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
637
                    SetResetOut_SetResetOut_node.is_set_1
638
                    SetResetOut_SetResetOut_node.offcnt_1
639
                    SetResetOut_SetResetOut_node.is_reset_1
640
                    SetResetOut_SetResetOut_node.oncnt_1
641
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_48
642
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_49
643
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_50
644
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_51
645
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_52
646
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_53
647
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_54)
648
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_49)
649
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_48)
650
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_54)
651
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_53)
652
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_52)
653
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_51)
654
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_50)
655
                    ))
656
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act POINT__TO__SETRESETOUT_OFF_1))
657
               (and (setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until 
658
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
659
                    SetResetOut_SetResetOut_node.is_set_1
660
                    SetResetOut_SetResetOut_node.offcnt_1
661
                    SetResetOut_SetResetOut_node.is_reset_1
662
                    SetResetOut_SetResetOut_node.oncnt_1
663
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_41
664
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_42
665
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_43
666
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_44
667
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_45
668
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_46
669
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_47)
670
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_42)
671
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_41)
672
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_47)
673
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_46)
674
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_45)
675
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_44)
676
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_43)
677
                    ))
678
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SETRESETOUT_OFF_IDL))
679
               (and (setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until 
680
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
681
                    SetResetOut_SetResetOut_node.is_set_1
682
                    SetResetOut_SetResetOut_node.offcnt_1
683
                    SetResetOut_SetResetOut_node.is_reset_1
684
                    SetResetOut_SetResetOut_node.oncnt_1
685
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_13
686
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_14
687
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_15
688
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_16
689
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_17
690
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_18
691
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_19)
692
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_14)
693
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_13)
694
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_19)
695
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_18)
696
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_17)
697
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_16)
698
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_15)
699
                    ))
700
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SETRESETOUT_OFF__TO__SETRESETOUT_ON_1))
701
               (and (setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until 
702
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
703
                    SetResetOut_SetResetOut_node.is_set_1
704
                    SetResetOut_SetResetOut_node.offcnt_1
705
                    SetResetOut_SetResetOut_node.is_reset_1
706
                    SetResetOut_SetResetOut_node.oncnt_1
707
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_27
708
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_28
709
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_29
710
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_30
711
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_31
712
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_32
713
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_33)
714
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_28)
715
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_27)
716
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_33)
717
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_32)
718
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_31)
719
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_30)
720
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_29)
721
                    ))
722
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SETRESETOUT_ON_IDL))
723
               (and (setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until 
724
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
725
                    SetResetOut_SetResetOut_node.is_set_1
726
                    SetResetOut_SetResetOut_node.offcnt_1
727
                    SetResetOut_SetResetOut_node.is_reset_1
728
                    SetResetOut_SetResetOut_node.oncnt_1
729
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_20
730
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_21
731
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_22
732
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_23
733
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_24
734
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_25
735
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_26)
736
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_21)
737
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_20)
738
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_26)
739
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_25)
740
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_24)
741
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_23)
742
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_22)
743
                    ))
744
            (or (not (= SetResetOut_SetResetOut_node.setresetout_setresetout__state_act SETRESETOUT_ON__TO__SETRESETOUT_OFF_1))
745
               (and (setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until 
746
                    SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
747
                    SetResetOut_SetResetOut_node.is_set_1
748
                    SetResetOut_SetResetOut_node.offcnt_1
749
                    SetResetOut_SetResetOut_node.is_reset_1
750
                    SetResetOut_SetResetOut_node.oncnt_1
751
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_34
752
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_35
753
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_36
754
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_37
755
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_38
756
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_39
757
                    SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_40)
758
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_35)
759
                    (= SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_34)
760
                    (= SetResetOut_SetResetOut_node.oncnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_40)
761
                    (= SetResetOut_SetResetOut_node.offcnt SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_39)
762
                    (= SetResetOut_SetResetOut_node.is_set SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_38)
763
                    (= SetResetOut_SetResetOut_node.is_reset SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_37)
764
                    (= SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_36)
765
                    ))
766
       )
767
       (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x SetResetOut_SetResetOut_node.setresetout_setresetout__next_state_in)
768
       (= SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x SetResetOut_SetResetOut_node.setresetout_setresetout__next_restart_in)
769
       )
770
  (SetResetOut_SetResetOut_node_step SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut_1
771
                                     SetResetOut_SetResetOut_node.is_set_1
772
                                     SetResetOut_SetResetOut_node.offcnt_1
773
                                     SetResetOut_SetResetOut_node.Reset
774
                                     SetResetOut_SetResetOut_node.is_reset_1
775
                                     SetResetOut_SetResetOut_node.Set
776
                                     SetResetOut_SetResetOut_node.oncnt_1
777
                                     SetResetOut_SetResetOut_node.idSetResetOut_SetResetOut
778
                                     SetResetOut_SetResetOut_node.is_set
779
                                     SetResetOut_SetResetOut_node.offcnt
780
                                     SetResetOut_SetResetOut_node.is_reset
781
                                     SetResetOut_SetResetOut_node.oncnt
782
                                     SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
783
                                     SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
784
                                     SetResetOut_SetResetOut_node.ni_5._arrow._first_c
785
                                     SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
786
                                     SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
787
                                     SetResetOut_SetResetOut_node.ni_5._arrow._first_x)
788
))
789

    
790
; SetResetOut_SetResetOut
791
(declare-var SetResetOut_SetResetOut.Set Bool)
792
(declare-var SetResetOut_SetResetOut.Reset Bool)
793
(declare-var SetResetOut_SetResetOut.is_set Int)
794
(declare-var SetResetOut_SetResetOut.oncnt Int)
795
(declare-var SetResetOut_SetResetOut.offcnt Int)
796
(declare-var SetResetOut_SetResetOut.is_reset Int)
797
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c Int)
798
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c Int)
799
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c Int)
800
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c Int)
801
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c Int)
802
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c Bool)
803
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c setresetout_setresetout__type)
804
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c Bool)
805
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c Bool)
806
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c setresetout_setresetout__type)
807
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c Bool)
808
(declare-var SetResetOut_SetResetOut.ni_4._arrow._first_c Bool)
809
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m Int)
810
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m Int)
811
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m Int)
812
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m Int)
813
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m Int)
814
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m Bool)
815
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m setresetout_setresetout__type)
816
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m Bool)
817
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m Bool)
818
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m setresetout_setresetout__type)
819
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m Bool)
820
(declare-var SetResetOut_SetResetOut.ni_4._arrow._first_m Bool)
821
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x Int)
822
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x Int)
823
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x Int)
824
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x Int)
825
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x Int)
826
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x Bool)
827
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x setresetout_setresetout__type)
828
(declare-var SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x Bool)
829
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x Bool)
830
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x setresetout_setresetout__type)
831
(declare-var SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x Bool)
832
(declare-var SetResetOut_SetResetOut.ni_4._arrow._first_x Bool)
833
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_1 Int)
834
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_10 Int)
835
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_11 Bool)
836
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_2 Int)
837
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_3 Int)
838
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_4 Int)
839
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_5 Int)
840
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_6 Int)
841
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_7 Int)
842
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_8 Int)
843
(declare-var SetResetOut_SetResetOut.__SetResetOut_SetResetOut_9 Int)
844
(declare-var SetResetOut_SetResetOut.idSetResetOut_SetResetOut Int)
845
(declare-var SetResetOut_SetResetOut.idSetResetOut_SetResetOut_1 Int)
846
(declare-var SetResetOut_SetResetOut.idSetResetOut_SetResetOut_2 Int)
847
(declare-var SetResetOut_SetResetOut.is_reset_1 Int)
848
(declare-var SetResetOut_SetResetOut.is_reset_2 Int)
849
(declare-var SetResetOut_SetResetOut.is_set_1 Int)
850
(declare-var SetResetOut_SetResetOut.is_set_2 Int)
851
(declare-var SetResetOut_SetResetOut.offcnt_1 Int)
852
(declare-var SetResetOut_SetResetOut.offcnt_2 Int)
853
(declare-var SetResetOut_SetResetOut.oncnt_1 Int)
854
(declare-var SetResetOut_SetResetOut.oncnt_2 Int)
855
(declare-rel SetResetOut_SetResetOut_reset (Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool))
856
(declare-rel SetResetOut_SetResetOut_step (Bool Bool Int Int Int Int Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool))
857

    
858
(rule (=> 
859
  (and 
860
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c)
861
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c)
862
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c)
863
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c)
864
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c)
865
       (= SetResetOut_SetResetOut.ni_4._arrow._first_m true)
866
       (SetResetOut_SetResetOut_node_reset SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
867
                                           SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
868
                                           SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
869
                                           SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
870
                                           SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
871
                                           SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m)
872
       (SetResetOut_SetResetOut_node_reset SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
873
                                           SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
874
                                           SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
875
                                           SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
876
                                           SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
877
                                           SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m)
878
  )
879
  (SetResetOut_SetResetOut_reset SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c
880
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c
881
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c
882
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c
883
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c
884
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
885
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
886
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
887
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
888
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
889
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
890
                                 SetResetOut_SetResetOut.ni_4._arrow._first_c
891
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m
892
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m
893
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m
894
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m
895
                                 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m
896
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
897
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
898
                                 SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
899
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
900
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
901
                                 SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
902
                                 SetResetOut_SetResetOut.ni_4._arrow._first_m)
903
))
904

    
905
(rule (=> 
906
  (and (= SetResetOut_SetResetOut.ni_4._arrow._first_m SetResetOut_SetResetOut.ni_4._arrow._first_c)
907
       (and (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_11 (ite SetResetOut_SetResetOut.ni_4._arrow._first_m true false))
908
            (= SetResetOut_SetResetOut.ni_4._arrow._first_x false))
909
       (and (or (not (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_11 false))
910
               (and (= SetResetOut_SetResetOut.oncnt_1 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c)
911
                    (= SetResetOut_SetResetOut.offcnt_1 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c)
912
                    (= SetResetOut_SetResetOut.is_set_1 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c)
913
                    (= SetResetOut_SetResetOut.is_reset_1 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c)
914
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut_1 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c)
915
                    ))
916
            (or (not (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_11 true))
917
               (and (= SetResetOut_SetResetOut.oncnt_1 0)
918
                    (= SetResetOut_SetResetOut.offcnt_1 0)
919
                    (= SetResetOut_SetResetOut.is_set_1 0)
920
                    (= SetResetOut_SetResetOut.is_reset_1 0)
921
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut_1 0)
922
                    ))
923
       )
924
       (and (= SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
925
            (= SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
926
            (= SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c)
927
            )
928
       (SetResetOut_SetResetOut_node_step SetResetOut_SetResetOut.idSetResetOut_SetResetOut_1
929
                                          SetResetOut_SetResetOut.is_set_1
930
                                          SetResetOut_SetResetOut.offcnt_1
931
                                          false
932
                                          SetResetOut_SetResetOut.is_reset_1
933
                                          SetResetOut_SetResetOut.Set
934
                                          SetResetOut_SetResetOut.oncnt_1
935
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_6
936
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_7
937
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_8
938
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_9
939
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_10
940
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
941
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
942
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
943
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
944
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
945
                                          SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x)
946
       (and (or (not (= SetResetOut_SetResetOut.Set false))
947
               (and (= SetResetOut_SetResetOut.oncnt_2 SetResetOut_SetResetOut.oncnt_1)
948
                    (= SetResetOut_SetResetOut.offcnt_2 SetResetOut_SetResetOut.offcnt_1)
949
                    (= SetResetOut_SetResetOut.is_set_2 SetResetOut_SetResetOut.is_set_1)
950
                    (= SetResetOut_SetResetOut.is_reset_2 SetResetOut_SetResetOut.is_reset_1)
951
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut_2 SetResetOut_SetResetOut.idSetResetOut_SetResetOut_1)
952
                    ))
953
            (or (not (= SetResetOut_SetResetOut.Set true))
954
               (and (= SetResetOut_SetResetOut.oncnt_2 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_10)
955
                    (= SetResetOut_SetResetOut.offcnt_2 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_8)
956
                    (= SetResetOut_SetResetOut.is_set_2 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_7)
957
                    (= SetResetOut_SetResetOut.is_reset_2 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_9)
958
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut_2 SetResetOut_SetResetOut.__SetResetOut_SetResetOut_6)
959
                    ))
960
       )
961
       (and (= SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
962
            (= SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
963
            (= SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c)
964
            )
965
       (SetResetOut_SetResetOut_node_step SetResetOut_SetResetOut.idSetResetOut_SetResetOut_2
966
                                          SetResetOut_SetResetOut.is_set_2
967
                                          SetResetOut_SetResetOut.offcnt_2
968
                                          SetResetOut_SetResetOut.Reset
969
                                          SetResetOut_SetResetOut.is_reset_2
970
                                          false
971
                                          SetResetOut_SetResetOut.oncnt_2
972
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_1
973
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_2
974
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_3
975
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_4
976
                                          SetResetOut_SetResetOut.__SetResetOut_SetResetOut_5
977
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
978
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
979
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
980
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
981
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
982
                                          SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x)
983
       (and (or (not (= SetResetOut_SetResetOut.Reset false))
984
               (and (= SetResetOut_SetResetOut.oncnt SetResetOut_SetResetOut.oncnt_2)
985
                    (= SetResetOut_SetResetOut.offcnt SetResetOut_SetResetOut.offcnt_2)
986
                    (= SetResetOut_SetResetOut.is_set SetResetOut_SetResetOut.is_set_2)
987
                    (= SetResetOut_SetResetOut.is_reset SetResetOut_SetResetOut.is_reset_2)
988
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut SetResetOut_SetResetOut.idSetResetOut_SetResetOut_2)
989
                    ))
990
            (or (not (= SetResetOut_SetResetOut.Reset true))
991
               (and (= SetResetOut_SetResetOut.oncnt SetResetOut_SetResetOut.__SetResetOut_SetResetOut_5)
992
                    (= SetResetOut_SetResetOut.offcnt SetResetOut_SetResetOut.__SetResetOut_SetResetOut_3)
993
                    (= SetResetOut_SetResetOut.is_set SetResetOut_SetResetOut.__SetResetOut_SetResetOut_2)
994
                    (= SetResetOut_SetResetOut.is_reset SetResetOut_SetResetOut.__SetResetOut_SetResetOut_4)
995
                    (= SetResetOut_SetResetOut.idSetResetOut_SetResetOut SetResetOut_SetResetOut.__SetResetOut_SetResetOut_1)
996
                    ))
997
       )
998
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x SetResetOut_SetResetOut.is_set)
999
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x SetResetOut_SetResetOut.oncnt)
1000
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x SetResetOut_SetResetOut.offcnt)
1001
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x SetResetOut_SetResetOut.is_reset)
1002
       (= SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x SetResetOut_SetResetOut.idSetResetOut_SetResetOut)
1003
       )
1004
  (SetResetOut_SetResetOut_step SetResetOut_SetResetOut.Set
1005
                                SetResetOut_SetResetOut.Reset
1006
                                SetResetOut_SetResetOut.is_set
1007
                                SetResetOut_SetResetOut.oncnt
1008
                                SetResetOut_SetResetOut.offcnt
1009
                                SetResetOut_SetResetOut.is_reset
1010
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c
1011
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c
1012
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c
1013
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c
1014
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c
1015
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1016
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1017
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1018
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1019
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1020
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1021
                                SetResetOut_SetResetOut.ni_4._arrow._first_c
1022
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x
1023
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x
1024
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x
1025
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x
1026
                                SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x
1027
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1028
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1029
                                SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1030
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1031
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1032
                                SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1033
                                SetResetOut_SetResetOut.ni_4._arrow._first_x)
1034
))
1035

    
1036
; SetResetOut
1037
(declare-var SetResetOut.Set_1_1 Real)
1038
(declare-var SetResetOut.Reset_1_1 Real)
1039
(declare-var SetResetOut.is_set_1_1 Int)
1040
(declare-var SetResetOut.oncnt_2_1 Int)
1041
(declare-var SetResetOut.offcnt_3_1 Int)
1042
(declare-var SetResetOut.is_reset_4_1 Int)
1043
(declare-var SetResetOut.__SetResetOut_2_c Real)
1044
(declare-var SetResetOut.__SetResetOut_3_c Real)
1045
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c Int)
1046
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c Int)
1047
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c Int)
1048
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c Int)
1049
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c Int)
1050
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c Bool)
1051
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c setresetout_setresetout__type)
1052
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c Bool)
1053
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c Bool)
1054
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c setresetout_setresetout__type)
1055
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c Bool)
1056
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_c Bool)
1057
(declare-var SetResetOut.ni_1._arrow._first_c Bool)
1058
(declare-var SetResetOut.__SetResetOut_2_m Real)
1059
(declare-var SetResetOut.__SetResetOut_3_m Real)
1060
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m Int)
1061
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m Int)
1062
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m Int)
1063
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m Int)
1064
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m Int)
1065
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m Bool)
1066
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m setresetout_setresetout__type)
1067
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m Bool)
1068
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m Bool)
1069
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m setresetout_setresetout__type)
1070
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m Bool)
1071
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_m Bool)
1072
(declare-var SetResetOut.ni_1._arrow._first_m Bool)
1073
(declare-var SetResetOut.__SetResetOut_2_x Real)
1074
(declare-var SetResetOut.__SetResetOut_3_x Real)
1075
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x Int)
1076
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x Int)
1077
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x Int)
1078
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x Int)
1079
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x Int)
1080
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x Bool)
1081
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x setresetout_setresetout__type)
1082
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x Bool)
1083
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x Bool)
1084
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x setresetout_setresetout__type)
1085
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x Bool)
1086
(declare-var SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_x Bool)
1087
(declare-var SetResetOut.ni_1._arrow._first_x Bool)
1088
(declare-var SetResetOut.SetResetOutMux1_1_1_event Bool)
1089
(declare-var SetResetOut.SetResetOutMux1_1_2_event Bool)
1090
(declare-var SetResetOut.SetResetOut_1_1 Int)
1091
(declare-var SetResetOut.SetResetOut_2_1 Int)
1092
(declare-var SetResetOut.SetResetOut_3_1 Int)
1093
(declare-var SetResetOut.SetResetOut_4_1 Int)
1094
(declare-var SetResetOut.__SetResetOut_1 Bool)
1095
(declare-var SetResetOut.i_virtual_local Real)
1096
(declare-rel SetResetOut_reset (Real Real Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Bool Real Real Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Bool))
1097
(declare-rel SetResetOut_step (Real Real Int Int Int Int Real Real Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Bool Real Real Int Int Int Int Int Bool setresetout_setresetout__type Bool Bool setresetout_setresetout__type Bool Bool Bool))
1098

    
1099
(rule (=> 
1100
  (and 
1101
       (= SetResetOut.__SetResetOut_2_m SetResetOut.__SetResetOut_2_c)
1102
       (= SetResetOut.__SetResetOut_3_m SetResetOut.__SetResetOut_3_c)
1103
       (= SetResetOut.ni_1._arrow._first_m true)
1104
       (SetResetOut_SetResetOut_reset SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c
1105
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c
1106
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c
1107
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c
1108
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c
1109
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1110
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1111
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1112
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1113
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1114
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1115
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_c
1116
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m
1117
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m
1118
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m
1119
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m
1120
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m
1121
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1122
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1123
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1124
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1125
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1126
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1127
                                      SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_m)
1128
  )
1129
  (SetResetOut_reset SetResetOut.__SetResetOut_2_c
1130
                     SetResetOut.__SetResetOut_3_c
1131
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c
1132
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c
1133
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c
1134
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c
1135
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c
1136
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1137
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1138
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1139
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1140
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1141
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1142
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_c
1143
                     SetResetOut.ni_1._arrow._first_c
1144
                     SetResetOut.__SetResetOut_2_m
1145
                     SetResetOut.__SetResetOut_3_m
1146
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m
1147
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m
1148
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m
1149
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m
1150
                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m
1151
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1152
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1153
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1154
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1155
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1156
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1157
                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_m
1158
                     SetResetOut.ni_1._arrow._first_m)
1159
))
1160

    
1161
(rule (=> 
1162
  (and (= SetResetOut.ni_1._arrow._first_m SetResetOut.ni_1._arrow._first_c)
1163
       (and (= SetResetOut.__SetResetOut_1 (ite SetResetOut.ni_1._arrow._first_m true false))
1164
            (= SetResetOut.ni_1._arrow._first_x false))
1165
       (and (or (not (= SetResetOut.__SetResetOut_1 true))
1166
               (= SetResetOut.SetResetOutMux1_1_2_event false))
1167
            (or (not (= SetResetOut.__SetResetOut_1 false))
1168
               (= SetResetOut.SetResetOutMux1_1_2_event (or (and (> SetResetOut.__SetResetOut_2_c 0.) (<= SetResetOut.Reset_1_1 0.)) (and (<= SetResetOut.__SetResetOut_2_c 0.) (> SetResetOut.Reset_1_1 0.)))))
1169
       )
1170
       (and (or (not (= SetResetOut.__SetResetOut_1 true))
1171
               (= SetResetOut.SetResetOutMux1_1_1_event false))
1172
            (or (not (= SetResetOut.__SetResetOut_1 false))
1173
               (= SetResetOut.SetResetOutMux1_1_1_event (or (and (> SetResetOut.__SetResetOut_3_c 0.) (<= SetResetOut.Set_1_1 0.)) (and (<= SetResetOut.__SetResetOut_3_c 0.) (> SetResetOut.Set_1_1 0.)))))
1174
       )
1175
       (and (= SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c)
1176
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c)
1177
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c)
1178
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c)
1179
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c)
1180
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
1181
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
1182
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c)
1183
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c)
1184
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c)
1185
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c)
1186
            (= SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_m SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_c)
1187
            )
1188
       (SetResetOut_SetResetOut_step SetResetOut.SetResetOutMux1_1_1_event
1189
                                     SetResetOut.SetResetOutMux1_1_2_event
1190
                                     SetResetOut.SetResetOut_1_1
1191
                                     SetResetOut.SetResetOut_2_1
1192
                                     SetResetOut.SetResetOut_3_1
1193
                                     SetResetOut.SetResetOut_4_1
1194
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_m
1195
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_m
1196
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_m
1197
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_m
1198
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_m
1199
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1200
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1201
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1202
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_m
1203
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_m
1204
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_m
1205
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_m
1206
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x
1207
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x
1208
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x
1209
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x
1210
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x
1211
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1212
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1213
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1214
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1215
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1216
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1217
                                     SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_x)
1218
       (= SetResetOut.oncnt_2_1 SetResetOut.SetResetOut_2_1)
1219
       (= SetResetOut.offcnt_3_1 SetResetOut.SetResetOut_3_1)
1220
       (= SetResetOut.is_set_1_1 SetResetOut.SetResetOut_1_1)
1221
       (= SetResetOut.is_reset_4_1 SetResetOut.SetResetOut_4_1)
1222
       (and (or (not (= SetResetOut.__SetResetOut_1 true))
1223
               (= SetResetOut.i_virtual_local 0.))
1224
            (or (not (= SetResetOut.__SetResetOut_1 false))
1225
               (= SetResetOut.i_virtual_local 1.))
1226
       )
1227
       (= SetResetOut.__SetResetOut_3_x SetResetOut.Set_1_1)
1228
       (= SetResetOut.__SetResetOut_2_x SetResetOut.Reset_1_1)
1229
       )
1230
  (SetResetOut_step SetResetOut.Set_1_1
1231
                    SetResetOut.Reset_1_1
1232
                    SetResetOut.is_set_1_1
1233
                    SetResetOut.oncnt_2_1
1234
                    SetResetOut.offcnt_3_1
1235
                    SetResetOut.is_reset_4_1
1236
                    SetResetOut.__SetResetOut_2_c
1237
                    SetResetOut.__SetResetOut_3_c
1238
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_c
1239
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_c
1240
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_c
1241
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_c
1242
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_c
1243
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1244
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1245
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1246
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_c
1247
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_c
1248
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_c
1249
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_c
1250
                    SetResetOut.ni_1._arrow._first_c
1251
                    SetResetOut.__SetResetOut_2_x
1252
                    SetResetOut.__SetResetOut_3_x
1253
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_12_x
1254
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_13_x
1255
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_14_x
1256
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_15_x
1257
                    SetResetOut.ni_0.SetResetOut_SetResetOut.__SetResetOut_SetResetOut_16_x
1258
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1259
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1260
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_2.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1261
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_56_x
1262
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.__SetResetOut_SetResetOut_node_57_x
1263
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_3.SetResetOut_SetResetOut_node.ni_5._arrow._first_x
1264
                    SetResetOut.ni_0.SetResetOut_SetResetOut.ni_4._arrow._first_x
1265
                    SetResetOut.ni_1._arrow._first_x)
1266
))
1267