177 |
(deftest subtypep.member.36 |
(deftest subtypep.member.36 |
178 |
(check-disjointness '(eql a) '(or (member b c d) (eql e))) |
(check-disjointness '(eql a) '(or (member b c d) (eql e))) |
179 |
nil) |
nil) |
180 |
|
|
181 |
|
(deftest subtypep.member.37 |
182 |
|
(check-equivalence |
183 |
|
'(and (member a b c d) (not (eql c))) |
184 |
|
'(member a b d)) |
185 |
|
nil) |
186 |
|
|
187 |
|
(deftest subtypep.member.38 |
188 |
|
(check-equivalence |
189 |
|
'(and (member a b c d e f g) |
190 |
|
(not (member b f))) |
191 |
|
'(member a c d e g)) |
192 |
|
nil) |
193 |
|
|
194 |
|
(deftest subtypep.member.39 |
195 |
|
(check-equivalence |
196 |
|
'(and (not (member b d e f g)) |
197 |
|
(not (member x y b z d))) |
198 |
|
'(not (member b d e f g x y z))) |
199 |
|
nil) |
200 |
|
|
201 |
|
(deftest subtypep.member.40 |
202 |
|
(check-equivalence |
203 |
|
'(and (not (eql a)) (not (eql b))) |
204 |
|
'(not (member a b))) |
205 |
|
nil) |
206 |
|
|
207 |
|
(deftest subtypep.member.41 |
208 |
|
(check-equivalence |
209 |
|
'(and (not (eql a)) (not (eql b)) (not (eql c))) |
210 |
|
'(not (member c b a))) |
211 |
|
nil) |
212 |
|
|
213 |
|
(deftest subtypep.member.42 |
214 |
|
(check-equivalence |
215 |
|
'(and (not (member a b)) (not (member b c))) |
216 |
|
'(not (member c b a))) |
217 |
|
nil) |
218 |
|
|
219 |
|
(deftest subtypep.member.43 |
220 |
|
(check-equivalence |
221 |
|
'(and (not (member a g b k e)) (not (member b h k c f))) |
222 |
|
'(not (member c b k a e f g h))) |
223 |
|
nil) |
224 |
|
|
225 |
|
(deftest subtypep.member.44 |
226 |
|
(check-equivalence |
227 |
|
'(and (integer 0 30) (not (member 3 4 5 9 10 11 17 18 19))) |
228 |
|
'(or (integer 0 2) (integer 6 8) (integer 12 16) (integer 20 30))) |
229 |
|
nil) |