1
# AutoTest results for st_tests (01/15/2022 06:47)
2
COMPLEX_EQUALITY_TESTS.test_holds
3
COMPLEX_EQUALITY_TESTS.test_holds_successively
4
COMPLEX_EQUALITY_TESTS.test_is_in
5
COMPLEX_EQUALITY_TESTS.test_is_not_in
6
COMPLEX_NUMBER_TESTS.test_a
7
COMPLEX_NUMBER_TESTS.test_abs
8
COMPLEX_NUMBER_TESTS.test_arc_tangent
9
COMPLEX_NUMBER_TESTS.test_arc_tangent_yx
10
COMPLEX_NUMBER_TESTS.test_argument
11
COMPLEX_NUMBER_TESTS.test_as_ordered_pair
12
COMPLEX_NUMBER_TESTS.test_as_singleton
13
COMPLEX_NUMBER_TESTS.test_as_tuple
14
COMPLEX_NUMBER_TESTS.test_b
15
COMPLEX_NUMBER_TESTS.test_c_atan2
16
COMPLEX_NUMBER_TESTS.test_c_copysign
17
COMPLEX_NUMBER_TESTS.test_c_hypot
18
COMPLEX_NUMBER_TESTS.test_composed
19
COMPLEX_NUMBER_TESTS.test_conjugate
20
COMPLEX_NUMBER_TESTS.test_converted_real
21
COMPLEX_NUMBER_TESTS.test_default_create
22
COMPLEX_NUMBER_TESTS.test_divisible
23
COMPLEX_NUMBER_TESTS.test_element_is_in
24
COMPLEX_NUMBER_TESTS.test_element_is_not_in
25
COMPLEX_NUMBER_TESTS.test_eq
26
COMPLEX_NUMBER_TESTS.test_equals
27
COMPLEX_NUMBER_TESTS.test_hypotenuse
28
COMPLEX_NUMBER_TESTS.test_i
29
COMPLEX_NUMBER_TESTS.test_identity
30
COMPLEX_NUMBER_TESTS.test_imaginary
31
COMPLEX_NUMBER_TESTS.test_imaginary_unit
32
COMPLEX_NUMBER_TESTS.test_inverse
33
COMPLEX_NUMBER_TESTS.test_is_finite
34
COMPLEX_NUMBER_TESTS.test_is_identical
35
COMPLEX_NUMBER_TESTS.test_is_imaginary
36
COMPLEX_NUMBER_TESTS.test_is_in
37
COMPLEX_NUMBER_TESTS.test_is_infinite
38
COMPLEX_NUMBER_TESTS.test_is_integer
39
COMPLEX_NUMBER_TESTS.test_is_invertible
40
COMPLEX_NUMBER_TESTS.test_is_not_in
41
COMPLEX_NUMBER_TESTS.test_is_proper_complex
42
COMPLEX_NUMBER_TESTS.test_is_proper_imaginary
43
COMPLEX_NUMBER_TESTS.test_is_proper_real
44
COMPLEX_NUMBER_TESTS.test_is_real
45
COMPLEX_NUMBER_TESTS.test_make
46
COMPLEX_NUMBER_TESTS.test_make_from_complex
47
COMPLEX_NUMBER_TESTS.test_make_from_expanded
48
COMPLEX_NUMBER_TESTS.test_make_from_integer
49
COMPLEX_NUMBER_TESTS.test_make_from_native_double_real
50
COMPLEX_NUMBER_TESTS.test_make_from_native_double_real_ref
51
COMPLEX_NUMBER_TESTS.test_make_from_native_integer
52
COMPLEX_NUMBER_TESTS.test_make_from_native_integer_ref
53
COMPLEX_NUMBER_TESTS.test_make_from_native_natural
54
COMPLEX_NUMBER_TESTS.test_make_from_native_natural_ref
55
COMPLEX_NUMBER_TESTS.test_make_from_native_real
56
COMPLEX_NUMBER_TESTS.test_make_from_native_real_ref
57
COMPLEX_NUMBER_TESTS.test_make_from_ordered_pair
58
COMPLEX_NUMBER_TESTS.test_make_from_real
59
COMPLEX_NUMBER_TESTS.test_minus
60
COMPLEX_NUMBER_TESTS.test_modulus
61
COMPLEX_NUMBER_TESTS.test_one
62
COMPLEX_NUMBER_TESTS.test_opposite
63
COMPLEX_NUMBER_TESTS.test_out
64
COMPLEX_NUMBER_TESTS.test_pair_equals
65
COMPLEX_NUMBER_TESTS.test_pair_inverse
66
COMPLEX_NUMBER_TESTS.test_pair_is_in
67
COMPLEX_NUMBER_TESTS.test_pair_is_not_in
68
COMPLEX_NUMBER_TESTS.test_pair_unequals
69
COMPLEX_NUMBER_TESTS.test_phase
70
COMPLEX_NUMBER_TESTS.test_pi
71
COMPLEX_NUMBER_TESTS.test_pi_2
72
COMPLEX_NUMBER_TESTS.test_pi_4
73
COMPLEX_NUMBER_TESTS.test_plus
74
COMPLEX_NUMBER_TESTS.test_product
75
COMPLEX_NUMBER_TESTS.test_product_from_native_reals
76
COMPLEX_NUMBER_TESTS.test_quotient
77
COMPLEX_NUMBER_TESTS.test_quotient_from_native_reals
78
COMPLEX_NUMBER_TESTS.test_real
79
COMPLEX_NUMBER_TESTS.test_real_from_double_value
80
COMPLEX_NUMBER_TESTS.test_real_from_value
81
COMPLEX_NUMBER_TESTS.test_reciprocal
82
COMPLEX_NUMBER_TESTS.test_succeeds
83
COMPLEX_NUMBER_TESTS.test_two
84
COMPLEX_NUMBER_TESTS.test_unequals
85
COMPLEX_NUMBER_TESTS.test_value_is_finite
86
COMPLEX_NUMBER_TESTS.test_value_is_infinite
87
COMPLEX_NUMBER_TESTS.test_value_is_negative_zero
88
COMPLEX_NUMBER_TESTS.test_value_is_positive_zero
89
COMPLEX_NUMBER_TESTS.test_value_logb
90
COMPLEX_NUMBER_TESTS.test_value_sign_bit
91
COMPLEX_NUMBER_TESTS.test_zero
92
COMPLEX_SET_TESTS.test_any
93
COMPLEX_SET_TESTS.test_as_set_of_pairs
94
COMPLEX_SET_TESTS.test_as_singleton
95
COMPLEX_SET_TESTS.test_as_tuple
96
COMPLEX_SET_TESTS.test_batch_extended
97
COMPLEX_SET_TESTS.test_c
98
COMPLEX_SET_TESTS.test_cardinality
99
COMPLEX_SET_TESTS.test_complement
100
COMPLEX_SET_TESTS.test_complemented
101
COMPLEX_SET_TESTS.test_complex_universe
102
COMPLEX_SET_TESTS.test_conjunction
103
COMPLEX_SET_TESTS.test_converted
104
COMPLEX_SET_TESTS.test_converted_element
105
COMPLEX_SET_TESTS.test_crossed
106
COMPLEX_SET_TESTS.test_crossed_tuples
107
COMPLEX_SET_TESTS.test_diagonal
108
COMPLEX_SET_TESTS.test_disjunction
109
COMPLEX_SET_TESTS.test_does_not_exist
110
COMPLEX_SET_TESTS.test_does_not_exist_pair
111
COMPLEX_SET_TESTS.test_does_not_have
112
COMPLEX_SET_TESTS.test_element_is_in
113
COMPLEX_SET_TESTS.test_element_is_not_in
114
COMPLEX_SET_TESTS.test_empty_set
115
COMPLEX_SET_TESTS.test_eq
116
COMPLEX_SET_TESTS.test_equality_holds
117
COMPLEX_SET_TESTS.test_equals
118
COMPLEX_SET_TESTS.test_exists
119
COMPLEX_SET_TESTS.test_exists_distinct_pair
120
COMPLEX_SET_TESTS.test_exists_pair
121
COMPLEX_SET_TESTS.test_exists_unique
122
COMPLEX_SET_TESTS.test_extended
123
COMPLEX_SET_TESTS.test_filtered
124
COMPLEX_SET_TESTS.test_for_all
125
COMPLEX_SET_TESTS.test_for_all_distinct_pairs
126
COMPLEX_SET_TESTS.test_for_all_pairs
127
COMPLEX_SET_TESTS.test_has
128
COMPLEX_SET_TESTS.test_iff
129
COMPLEX_SET_TESTS.test_intersected
130
COMPLEX_SET_TESTS.test_intersects
131
COMPLEX_SET_TESTS.test_is_comparable
132
COMPLEX_SET_TESTS.test_is_disjoint
133
COMPLEX_SET_TESTS.test_is_empty
134
COMPLEX_SET_TESTS.test_is_in
135
COMPLEX_SET_TESTS.test_is_not_comparable
136
COMPLEX_SET_TESTS.test_is_not_in
137
COMPLEX_SET_TESTS.test_is_not_strict_subset
138
COMPLEX_SET_TESTS.test_is_not_strict_superset
139
COMPLEX_SET_TESTS.test_is_not_subset
140
COMPLEX_SET_TESTS.test_is_not_superset
141
COMPLEX_SET_TESTS.test_is_partitioned
142
COMPLEX_SET_TESTS.test_is_proper_subset
143
COMPLEX_SET_TESTS.test_is_proper_superset
144
COMPLEX_SET_TESTS.test_is_singleton
145
COMPLEX_SET_TESTS.test_is_strict_subset
146
COMPLEX_SET_TESTS.test_is_strict_superset
147
COMPLEX_SET_TESTS.test_is_subset
148
COMPLEX_SET_TESTS.test_is_superset
149
COMPLEX_SET_TESTS.test_is_trivial_subset
150
COMPLEX_SET_TESTS.test_is_trivial_superset
151
COMPLEX_SET_TESTS.test_make_empty
152
COMPLEX_SET_TESTS.test_make_extended
153
COMPLEX_SET_TESTS.test_make_from_numeric_set
154
COMPLEX_SET_TESTS.test_make_from_set
155
COMPLEX_SET_TESTS.test_make_singleton
156
COMPLEX_SET_TESTS.test_mapped
157
COMPLEX_SET_TESTS.test_n_times
158
COMPLEX_SET_TESTS.test_natural_as_integer
159
COMPLEX_SET_TESTS.test_natural_successor
160
COMPLEX_SET_TESTS.test_numeric_batch_extended
161
COMPLEX_SET_TESTS.test_numeric_converted
162
COMPLEX_SET_TESTS.test_o
163
COMPLEX_SET_TESTS.test_ored
164
COMPLEX_SET_TESTS.test_others
165
COMPLEX_SET_TESTS.test_out
166
COMPLEX_SET_TESTS.test_pair
167
COMPLEX_SET_TESTS.test_powerset
168
COMPLEX_SET_TESTS.test_proper_reduced
169
COMPLEX_SET_TESTS.test_proper_subsets
170
COMPLEX_SET_TESTS.test_raised
171
COMPLEX_SET_TESTS.test_reduced
172
COMPLEX_SET_TESTS.test_second_after_first
173
COMPLEX_SET_TESTS.test_set_has_complex_number
174
COMPLEX_SET_TESTS.test_sets_plus_same_sets_with_element
175
COMPLEX_SET_TESTS.test_singleton
176
COMPLEX_SET_TESTS.test_singleton_crossed_tuples
177
COMPLEX_SET_TESTS.test_squared
178
COMPLEX_SET_TESTS.test_subset_relation_holds
179
COMPLEX_SET_TESTS.test_subsets
180
COMPLEX_SET_TESTS.test_subtracted
181
COMPLEX_SET_TESTS.test_subtracted_symmetricaly
182
COMPLEX_SET_TESTS.test_trivial_subsets
183
COMPLEX_SET_TESTS.test_unequals
184
COMPLEX_SET_TESTS.test_unit
185
COMPLEX_SET_TESTS.test_united
186
COMPLEX_SET_TESTS.test_with
187
COMPLEX_SET_TESTS.test_without
188
COMPLEX_SET_TESTS.test_without_zero
189
COMPLEX_SET_TESTS.test_xored
190
COMPLEX_SET_TESTS.test_zero
191
COMPLEX_UNIVERSE_TESTS.test_any
192
COMPLEX_UNIVERSE_TESTS.test_as_set_of_pairs
193
COMPLEX_UNIVERSE_TESTS.test_as_singleton
194
COMPLEX_UNIVERSE_TESTS.test_as_tuple
195
COMPLEX_UNIVERSE_TESTS.test_batch_extended
196
COMPLEX_UNIVERSE_TESTS.test_c
197
COMPLEX_UNIVERSE_TESTS.test_cardinality
198
COMPLEX_UNIVERSE_TESTS.test_complement
199
COMPLEX_UNIVERSE_TESTS.test_complemented
200
COMPLEX_UNIVERSE_TESTS.test_complex_from_pair
201
COMPLEX_UNIVERSE_TESTS.test_complex_universe
202
COMPLEX_UNIVERSE_TESTS.test_conjunction
203
COMPLEX_UNIVERSE_TESTS.test_converted
204
COMPLEX_UNIVERSE_TESTS.test_converted_element
205
COMPLEX_UNIVERSE_TESTS.test_crossed
206
COMPLEX_UNIVERSE_TESTS.test_crossed_tuples
207
COMPLEX_UNIVERSE_TESTS.test_default_create
208
COMPLEX_UNIVERSE_TESTS.test_diagonal
209
COMPLEX_UNIVERSE_TESTS.test_disjunction
210
COMPLEX_UNIVERSE_TESTS.test_does_not_exist
211
COMPLEX_UNIVERSE_TESTS.test_does_not_exist_pair
212
COMPLEX_UNIVERSE_TESTS.test_does_not_have
213
COMPLEX_UNIVERSE_TESTS.test_element_is_in
214
COMPLEX_UNIVERSE_TESTS.test_element_is_not_in
215
COMPLEX_UNIVERSE_TESTS.test_empty_set
216
COMPLEX_UNIVERSE_TESTS.test_eq
217
COMPLEX_UNIVERSE_TESTS.test_equality_holds
218
COMPLEX_UNIVERSE_TESTS.test_equals
219
COMPLEX_UNIVERSE_TESTS.test_exists
220
COMPLEX_UNIVERSE_TESTS.test_exists_distinct_pair
221
COMPLEX_UNIVERSE_TESTS.test_exists_pair
222
COMPLEX_UNIVERSE_TESTS.test_exists_unique
223
COMPLEX_UNIVERSE_TESTS.test_extended
224
COMPLEX_UNIVERSE_TESTS.test_filtered
225
COMPLEX_UNIVERSE_TESTS.test_for_all
226
COMPLEX_UNIVERSE_TESTS.test_for_all_distinct_pairs
227
COMPLEX_UNIVERSE_TESTS.test_for_all_pairs
228
COMPLEX_UNIVERSE_TESTS.test_has
229
COMPLEX_UNIVERSE_TESTS.test_iff
230
COMPLEX_UNIVERSE_TESTS.test_instance_free_cardinality
231
COMPLEX_UNIVERSE_TESTS.test_intersected
232
COMPLEX_UNIVERSE_TESTS.test_intersects
233
COMPLEX_UNIVERSE_TESTS.test_is_comparable
234
COMPLEX_UNIVERSE_TESTS.test_is_disjoint
235
COMPLEX_UNIVERSE_TESTS.test_is_empty
236
COMPLEX_UNIVERSE_TESTS.test_is_in
237
COMPLEX_UNIVERSE_TESTS.test_is_not_comparable
238
COMPLEX_UNIVERSE_TESTS.test_is_not_in
239
COMPLEX_UNIVERSE_TESTS.test_is_not_strict_subset
240
COMPLEX_UNIVERSE_TESTS.test_is_not_strict_superset
241
COMPLEX_UNIVERSE_TESTS.test_is_not_subset
242
COMPLEX_UNIVERSE_TESTS.test_is_not_superset
243
COMPLEX_UNIVERSE_TESTS.test_is_partitioned
244
COMPLEX_UNIVERSE_TESTS.test_is_proper_subset
245
COMPLEX_UNIVERSE_TESTS.test_is_proper_superset
246
COMPLEX_UNIVERSE_TESTS.test_is_singleton
247
COMPLEX_UNIVERSE_TESTS.test_is_strict_subset
248
COMPLEX_UNIVERSE_TESTS.test_is_strict_superset
249
COMPLEX_UNIVERSE_TESTS.test_is_subset
250
COMPLEX_UNIVERSE_TESTS.test_is_superset
251
COMPLEX_UNIVERSE_TESTS.test_is_trivial_subset
252
COMPLEX_UNIVERSE_TESTS.test_is_trivial_superset
253
COMPLEX_UNIVERSE_TESTS.test_make_empty
254
COMPLEX_UNIVERSE_TESTS.test_make_extended
255
COMPLEX_UNIVERSE_TESTS.test_make_from_numeric_set
256
COMPLEX_UNIVERSE_TESTS.test_make_from_set
257
COMPLEX_UNIVERSE_TESTS.test_make_from_universe
258
COMPLEX_UNIVERSE_TESTS.test_make_singleton
259
COMPLEX_UNIVERSE_TESTS.test_mapped
260
COMPLEX_UNIVERSE_TESTS.test_n_times
261
COMPLEX_UNIVERSE_TESTS.test_natural_as_integer
262
COMPLEX_UNIVERSE_TESTS.test_natural_successor
263
COMPLEX_UNIVERSE_TESTS.test_numeric_batch_extended
264
COMPLEX_UNIVERSE_TESTS.test_numeric_converted
265
COMPLEX_UNIVERSE_TESTS.test_o
266
COMPLEX_UNIVERSE_TESTS.test_ored
267
COMPLEX_UNIVERSE_TESTS.test_others
268
COMPLEX_UNIVERSE_TESTS.test_out
269
COMPLEX_UNIVERSE_TESTS.test_pair
270
COMPLEX_UNIVERSE_TESTS.test_powerset
271
COMPLEX_UNIVERSE_TESTS.test_proper_reduced
272
COMPLEX_UNIVERSE_TESTS.test_proper_subsets
273
COMPLEX_UNIVERSE_TESTS.test_r
274
COMPLEX_UNIVERSE_TESTS.test_raised
275
COMPLEX_UNIVERSE_TESTS.test_real_universe
276
COMPLEX_UNIVERSE_TESTS.test_reduced
277
COMPLEX_UNIVERSE_TESTS.test_second_after_first
278
COMPLEX_UNIVERSE_TESTS.test_set_has_complex_number
279
COMPLEX_UNIVERSE_TESTS.test_sets_plus_same_sets_with_element
280
COMPLEX_UNIVERSE_TESTS.test_singleton
281
COMPLEX_UNIVERSE_TESTS.test_singleton_crossed_tuples
282
COMPLEX_UNIVERSE_TESTS.test_squared
283
COMPLEX_UNIVERSE_TESTS.test_subset_relation_holds
284
COMPLEX_UNIVERSE_TESTS.test_subsets
285
COMPLEX_UNIVERSE_TESTS.test_subtracted
286
COMPLEX_UNIVERSE_TESTS.test_subtracted_symmetricaly
287
COMPLEX_UNIVERSE_TESTS.test_trivial_subsets
288
COMPLEX_UNIVERSE_TESTS.test_unequals
289
COMPLEX_UNIVERSE_TESTS.test_unit
290
COMPLEX_UNIVERSE_TESTS.test_united
291
COMPLEX_UNIVERSE_TESTS.test_with
292
COMPLEX_UNIVERSE_TESTS.test_without
293
COMPLEX_UNIVERSE_TESTS.test_without_zero
294
COMPLEX_UNIVERSE_TESTS.test_xored
295
COMPLEX_UNIVERSE_TESTS.test_zero
296
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_a
297
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_as_singleton
298
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_b
299
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_composed
300
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_composed_with_homogeneous
301
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_composed_with_inverse_like
302
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_element_is_in
303
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_element_is_not_in
304
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_eq_a
305
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_eq_b
306
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_eq_w
307
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_equals
308
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_first
309
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_first_out
310
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_inverse
311
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_is_in
312
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_is_not_in
313
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_make
314
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_make_from_pair
315
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_out
316
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_second
317
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_second_out
318
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_succeeds
319
COMPOSABLE_ORDERED_PAIR_TESTS_NIC.test_unequals
320
ELEMENT_TESTS_NIC.test_is_in
321
ELEMENT_TESTS_NIC.test_is_not_in
322
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_a
323
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_as_singleton
324
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_as_tuple
325
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_b
326
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_composed
327
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_composed_with_inverse_like
328
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_element_is_in
329
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_element_is_not_in
330
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_eq_a
331
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_eq_b
332
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_equals
333
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_first
334
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_first_out
335
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_inverse
336
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_is_identical
337
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_is_in
338
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_is_not_in
339
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_make
340
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_make_from_pair
341
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_out
342
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_second
343
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_second_out
344
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_succeeds
345
HOMOGENEOUS_ORDERED_PAIR_TESTS_I.test_unequals
346
INTEGER_EQUALITY_TESTS.test_holds
347
INTEGER_EQUALITY_TESTS.test_holds_successively
348
INTEGER_EQUALITY_TESTS.test_is_in
349
INTEGER_EQUALITY_TESTS.test_is_not_in
350
INTEGER_NUMBER_TESTS.test_abs
351
INTEGER_NUMBER_TESTS.test_adjusted_value
352
INTEGER_NUMBER_TESTS.test_arc_tangent: pass
353
INTEGER_NUMBER_TESTS.test_arc_tangent_yx
354
INTEGER_NUMBER_TESTS.test_argument
355
INTEGER_NUMBER_TESTS.test_as_complex
356
INTEGER_NUMBER_TESTS.test_as_real
357
INTEGER_NUMBER_TESTS.test_complex_divisible: pass
358
INTEGER_NUMBER_TESTS.test_complex_equals: pass
359
INTEGER_NUMBER_TESTS.test_complex_is_in: pass
360
INTEGER_NUMBER_TESTS.test_complex_is_not_in: pass
361
INTEGER_NUMBER_TESTS.test_complex_minus
362
INTEGER_NUMBER_TESTS.test_complex_plus
363
INTEGER_NUMBER_TESTS.test_complex_product
364
INTEGER_NUMBER_TESTS.test_complex_quotient
365
INTEGER_NUMBER_TESTS.test_complex_unequals: pass
366
INTEGER_NUMBER_TESTS.test_conjugate
367
INTEGER_NUMBER_TESTS.test_default_create
368
INTEGER_NUMBER_TESTS.test_div: pass
369
INTEGER_NUMBER_TESTS.test_divides
370
INTEGER_NUMBER_TESTS.test_divisible
371
INTEGER_NUMBER_TESTS.test_element_is_in: pass
372
INTEGER_NUMBER_TESTS.test_element_is_not_in: pass
373
INTEGER_NUMBER_TESTS.test_equals
374
INTEGER_NUMBER_TESTS.test_gcd: unresolved (ms_cardinality)
376
test routine: exceptional (Loop variant violation in INTEGER_NUMBER_TESTS.test_gcd)
377
******************************** Thread exception *****************************
378
In thread Root thread 0x0 (thread id)
379
*******************************************************************************
380
-------------------------------------------------------------------------------
381
Class / Object Routine Nature of exception Effect
382
-------------------------------------------------------------------------------
384
test_gcd @12 ms_cardinality:
385
<0000000008CA9318> Non-decreasing loop variant or negative value reached.
387
-------------------------------------------------------------------------------
390
<0000000008CA9318> Routine failure. Fail
391
-------------------------------------------------------------------------------
393
INTEGER_NUMBER_TESTS.test_hypotenuse
394
INTEGER_NUMBER_TESTS.test_identity: pass
395
INTEGER_NUMBER_TESTS.test_imaginary_unit
396
INTEGER_NUMBER_TESTS.test_integer_quotient
397
INTEGER_NUMBER_TESTS.test_integer_remainder
398
INTEGER_NUMBER_TESTS.test_inverse: pass
399
INTEGER_NUMBER_TESTS.test_is_finite
400
INTEGER_NUMBER_TESTS.test_is_greater
401
INTEGER_NUMBER_TESTS.test_is_greater_equal
402
INTEGER_NUMBER_TESTS.test_is_imaginary
403
INTEGER_NUMBER_TESTS.test_is_in
404
INTEGER_NUMBER_TESTS.test_is_infinite
405
INTEGER_NUMBER_TESTS.test_is_integer: pass
406
INTEGER_NUMBER_TESTS.test_is_invertible
407
INTEGER_NUMBER_TESTS.test_is_less
408
INTEGER_NUMBER_TESTS.test_is_less_equal
409
INTEGER_NUMBER_TESTS.test_is_nan
410
INTEGER_NUMBER_TESTS.test_is_negative_infinity
411
INTEGER_NUMBER_TESTS.test_is_negative_zero
412
INTEGER_NUMBER_TESTS.test_is_not_in
413
INTEGER_NUMBER_TESTS.test_is_positive_infinity
414
INTEGER_NUMBER_TESTS.test_is_positive_zero
415
INTEGER_NUMBER_TESTS.test_is_proper_complex
416
INTEGER_NUMBER_TESTS.test_is_proper_imaginary
417
INTEGER_NUMBER_TESTS.test_is_proper_real
418
INTEGER_NUMBER_TESTS.test_is_real
419
INTEGER_NUMBER_TESTS.test_machine_epsilon
420
INTEGER_NUMBER_TESTS.test_make
421
INTEGER_NUMBER_TESTS.test_make_from_integer
422
INTEGER_NUMBER_TESTS.test_make_from_native_integer_ref
423
INTEGER_NUMBER_TESTS.test_make_from_native_natural
424
INTEGER_NUMBER_TESTS.test_make_from_native_natural_ref
425
INTEGER_NUMBER_TESTS.test_make_from_stored_value
426
INTEGER_NUMBER_TESTS.test_max
427
INTEGER_NUMBER_TESTS.test_max_value
428
INTEGER_NUMBER_TESTS.test_max_value_exists
429
INTEGER_NUMBER_TESTS.test_min
430
INTEGER_NUMBER_TESTS.test_min_value
431
INTEGER_NUMBER_TESTS.test_min_value_exists
432
INTEGER_NUMBER_TESTS.test_minus
433
INTEGER_NUMBER_TESTS.test_modulus
434
INTEGER_NUMBER_TESTS.test_native_max_value
435
INTEGER_NUMBER_TESTS.test_native_min_value
436
INTEGER_NUMBER_TESTS.test_next_float
437
INTEGER_NUMBER_TESTS.test_one
438
INTEGER_NUMBER_TESTS.test_opposite
439
INTEGER_NUMBER_TESTS.test_out
440
INTEGER_NUMBER_TESTS.test_phase
441
INTEGER_NUMBER_TESTS.test_pi
442
INTEGER_NUMBER_TESTS.test_pi_2
443
INTEGER_NUMBER_TESTS.test_pi_4
444
INTEGER_NUMBER_TESTS.test_plus
445
INTEGER_NUMBER_TESTS.test_power
446
INTEGER_NUMBER_TESTS.test_previous_float
447
INTEGER_NUMBER_TESTS.test_product
448
INTEGER_NUMBER_TESTS.test_quotient: pass
449
INTEGER_NUMBER_TESTS.test_rational_abs
450
INTEGER_NUMBER_TESTS.test_rational_divisible: pass
451
INTEGER_NUMBER_TESTS.test_rational_equals: pass
452
INTEGER_NUMBER_TESTS.test_rational_is_greater: pass
453
INTEGER_NUMBER_TESTS.test_rational_is_greater_equal: pass
454
INTEGER_NUMBER_TESTS.test_rational_is_in: pass
455
INTEGER_NUMBER_TESTS.test_rational_is_less: pass
456
INTEGER_NUMBER_TESTS.test_rational_is_less_equal: pass
457
INTEGER_NUMBER_TESTS.test_rational_is_not_in: pass
458
INTEGER_NUMBER_TESTS.test_rational_minus: pass
459
INTEGER_NUMBER_TESTS.test_rational_modulus
460
INTEGER_NUMBER_TESTS.test_rational_multipliable
461
INTEGER_NUMBER_TESTS.test_rational_opposite
462
INTEGER_NUMBER_TESTS.test_rational_plus: pass
463
INTEGER_NUMBER_TESTS.test_rational_product
464
INTEGER_NUMBER_TESTS.test_rational_quotient: pass
465
INTEGER_NUMBER_TESTS.test_rational_three_way_comparison: pass
466
INTEGER_NUMBER_TESTS.test_rational_unequals: pass
467
INTEGER_NUMBER_TESTS.test_real_adjusted_value
468
INTEGER_NUMBER_TESTS.test_real_divisible: pass
469
INTEGER_NUMBER_TESTS.test_real_equals: pass
470
INTEGER_NUMBER_TESTS.test_real_from_double_value
471
INTEGER_NUMBER_TESTS.test_real_from_value
472
INTEGER_NUMBER_TESTS.test_real_inverse
473
INTEGER_NUMBER_TESTS.test_real_is_greater: pass
474
INTEGER_NUMBER_TESTS.test_real_is_greater_equal: pass
475
INTEGER_NUMBER_TESTS.test_real_is_in: pass
476
INTEGER_NUMBER_TESTS.test_real_is_invertible
477
INTEGER_NUMBER_TESTS.test_real_is_less: pass
478
INTEGER_NUMBER_TESTS.test_real_is_less_equal: pass
479
INTEGER_NUMBER_TESTS.test_real_is_not_in: pass
480
INTEGER_NUMBER_TESTS.test_real_max
481
INTEGER_NUMBER_TESTS.test_real_min
482
INTEGER_NUMBER_TESTS.test_real_minus
483
INTEGER_NUMBER_TESTS.test_real_opposite: pass
484
INTEGER_NUMBER_TESTS.test_real_plus
485
INTEGER_NUMBER_TESTS.test_real_product
486
INTEGER_NUMBER_TESTS.test_real_quotient
487
INTEGER_NUMBER_TESTS.test_real_reciprocal
488
INTEGER_NUMBER_TESTS.test_real_three_way_comparison
489
INTEGER_NUMBER_TESTS.test_real_unequals: pass
490
INTEGER_NUMBER_TESTS.test_real_value
491
INTEGER_NUMBER_TESTS.test_reciprocal: pass
492
INTEGER_NUMBER_TESTS.test_relative_epsilon
493
INTEGER_NUMBER_TESTS.test_rem: pass
494
INTEGER_NUMBER_TESTS.test_sign
495
INTEGER_NUMBER_TESTS.test_sign_bit
496
INTEGER_NUMBER_TESTS.test_sqrt: pass
497
INTEGER_NUMBER_TESTS.test_square_root
498
INTEGER_NUMBER_TESTS.test_stored_value: pass
499
INTEGER_NUMBER_TESTS.test_stored_value_bits
500
INTEGER_NUMBER_TESTS.test_stored_value_mask
501
INTEGER_NUMBER_TESTS.test_three_way_comparison
502
INTEGER_NUMBER_TESTS.test_two
503
INTEGER_NUMBER_TESTS.test_ulp
504
INTEGER_NUMBER_TESTS.test_unequals
505
INTEGER_NUMBER_TESTS.test_value
506
INTEGER_NUMBER_TESTS.test_value_is_finite
507
INTEGER_NUMBER_TESTS.test_value_is_infinite
508
INTEGER_NUMBER_TESTS.test_value_logb: pass
509
INTEGER_NUMBER_TESTS.test_value_sign_bit: pass
510
INTEGER_NUMBER_TESTS.test_zero
511
INTEGER_SET_TESTS.test_anded
512
INTEGER_SET_TESTS.test_any
513
INTEGER_SET_TESTS.test_as_complex_set
514
INTEGER_SET_TESTS.test_as_real_set
515
INTEGER_SET_TESTS.test_as_singleton
516
INTEGER_SET_TESTS.test_as_tuple
517
INTEGER_SET_TESTS.test_batch_extended
518
INTEGER_SET_TESTS.test_cardinality
519
INTEGER_SET_TESTS.test_closed_interval
520
INTEGER_SET_TESTS.test_complement
521
INTEGER_SET_TESTS.test_complemented
522
INTEGER_SET_TESTS.test_complex_set_has_integer_number
523
INTEGER_SET_TESTS.test_conjunction
524
INTEGER_SET_TESTS.test_converted
525
INTEGER_SET_TESTS.test_converted_element
526
INTEGER_SET_TESTS.test_crossed
527
INTEGER_SET_TESTS.test_crossed_tuples
528
INTEGER_SET_TESTS.test_diagonal
529
INTEGER_SET_TESTS.test_disjunction
530
INTEGER_SET_TESTS.test_does_not_exist
531
INTEGER_SET_TESTS.test_does_not_exist_pair
532
INTEGER_SET_TESTS.test_does_not_have
533
INTEGER_SET_TESTS.test_element_is_in
534
INTEGER_SET_TESTS.test_element_is_not_in
535
INTEGER_SET_TESTS.test_empty_set
536
INTEGER_SET_TESTS.test_eq
537
INTEGER_SET_TESTS.test_equality_holds
538
INTEGER_SET_TESTS.test_equals
539
INTEGER_SET_TESTS.test_exists
540
INTEGER_SET_TESTS.test_exists_distinct_pair
541
INTEGER_SET_TESTS.test_exists_pair
542
INTEGER_SET_TESTS.test_exists_unique
543
INTEGER_SET_TESTS.test_extended
544
INTEGER_SET_TESTS.test_filtered
545
INTEGER_SET_TESTS.test_for_all
546
INTEGER_SET_TESTS.test_for_all_distinct_pairs
547
INTEGER_SET_TESTS.test_for_all_pairs
548
INTEGER_SET_TESTS.test_has
549
INTEGER_SET_TESTS.test_has_complex_number
550
INTEGER_SET_TESTS.test_has_real_number
551
INTEGER_SET_TESTS.test_iff
552
INTEGER_SET_TESTS.test_integer_universe
553
INTEGER_SET_TESTS.test_intersected
554
INTEGER_SET_TESTS.test_intersects
555
INTEGER_SET_TESTS.test_is_comparable
556
INTEGER_SET_TESTS.test_is_disjoint
557
INTEGER_SET_TESTS.test_is_empty
558
INTEGER_SET_TESTS.test_is_in
559
INTEGER_SET_TESTS.test_is_not_comparable
560
INTEGER_SET_TESTS.test_is_not_in
561
INTEGER_SET_TESTS.test_is_not_strict_subset
562
INTEGER_SET_TESTS.test_is_not_strict_superset
563
INTEGER_SET_TESTS.test_is_not_subset
564
INTEGER_SET_TESTS.test_is_not_superset
565
INTEGER_SET_TESTS.test_is_partitioned
566
INTEGER_SET_TESTS.test_is_proper_subset
567
INTEGER_SET_TESTS.test_is_proper_superset
568
INTEGER_SET_TESTS.test_is_singleton
569
INTEGER_SET_TESTS.test_is_strict_subset
570
INTEGER_SET_TESTS.test_is_strict_superset
571
INTEGER_SET_TESTS.test_is_subset
572
INTEGER_SET_TESTS.test_is_superset
573
INTEGER_SET_TESTS.test_is_trivial_subset
574
INTEGER_SET_TESTS.test_is_trivial_superset
575
INTEGER_SET_TESTS.test_left_closed_right_open_interval
576
INTEGER_SET_TESTS.test_left_closed_right_unbounded_interval
577
INTEGER_SET_TESTS.test_left_open_right_closed_interval
578
INTEGER_SET_TESTS.test_left_open_right_unbounded_interval
579
INTEGER_SET_TESTS.test_left_unbounded_right_closed_interval
580
INTEGER_SET_TESTS.test_left_unbounded_right_open_interval
581
INTEGER_SET_TESTS.test_make_empty
582
INTEGER_SET_TESTS.test_make_extended
583
INTEGER_SET_TESTS.test_make_from_numeric_set
584
INTEGER_SET_TESTS.test_make_from_set
585
INTEGER_SET_TESTS.test_make_singleton
586
INTEGER_SET_TESTS.test_mapped
587
INTEGER_SET_TESTS.test_max
588
INTEGER_SET_TESTS.test_min
589
INTEGER_SET_TESTS.test_n_times
590
INTEGER_SET_TESTS.test_natural_as_integer
591
INTEGER_SET_TESTS.test_natural_successor
592
INTEGER_SET_TESTS.test_negative
593
INTEGER_SET_TESTS.test_non_negative
594
INTEGER_SET_TESTS.test_non_positive
595
INTEGER_SET_TESTS.test_number_is_less
596
INTEGER_SET_TESTS.test_number_is_less_equal
597
INTEGER_SET_TESTS.test_numeric_batch_extended
598
INTEGER_SET_TESTS.test_numeric_converted
599
INTEGER_SET_TESTS.test_o
600
INTEGER_SET_TESTS.test_open_interval
601
INTEGER_SET_TESTS.test_ored
602
INTEGER_SET_TESTS.test_others
603
INTEGER_SET_TESTS.test_out
604
INTEGER_SET_TESTS.test_pair
605
INTEGER_SET_TESTS.test_positive
606
INTEGER_SET_TESTS.test_powerset
607
INTEGER_SET_TESTS.test_proper_reduced
608
INTEGER_SET_TESTS.test_proper_subsets
609
INTEGER_SET_TESTS.test_raised
610
INTEGER_SET_TESTS.test_real_set_has_integer_number
611
INTEGER_SET_TESTS.test_reduced
612
INTEGER_SET_TESTS.test_second_after_first
613
INTEGER_SET_TESTS.test_sets_plus_same_sets_with_element
614
INTEGER_SET_TESTS.test_singleton
615
INTEGER_SET_TESTS.test_singleton_crossed_tuples
616
INTEGER_SET_TESTS.test_squared
617
INTEGER_SET_TESTS.test_subset_relation_holds
618
INTEGER_SET_TESTS.test_subsets
619
INTEGER_SET_TESTS.test_subtracted
620
INTEGER_SET_TESTS.test_subtracted_symmetricaly
621
INTEGER_SET_TESTS.test_trivial_subsets
622
INTEGER_SET_TESTS.test_unbounded_interval
623
INTEGER_SET_TESTS.test_unequals
624
INTEGER_SET_TESTS.test_unit
625
INTEGER_SET_TESTS.test_united
626
INTEGER_SET_TESTS.test_with
627
INTEGER_SET_TESTS.test_without
628
INTEGER_SET_TESTS.test_without_zero
629
INTEGER_SET_TESTS.test_xored
630
INTEGER_SET_TESTS.test_z
631
INTEGER_SET_TESTS.test_zero
632
INTEGER_UNIVERSE_TESTS.test_anded
633
INTEGER_UNIVERSE_TESTS.test_any
634
INTEGER_UNIVERSE_TESTS.test_as_complex_set
635
INTEGER_UNIVERSE_TESTS.test_as_real_set
636
INTEGER_UNIVERSE_TESTS.test_as_singleton
637
INTEGER_UNIVERSE_TESTS.test_as_tuple
638
INTEGER_UNIVERSE_TESTS.test_batch_extended
639
INTEGER_UNIVERSE_TESTS.test_cardinality
640
INTEGER_UNIVERSE_TESTS.test_closed_interval
641
INTEGER_UNIVERSE_TESTS.test_complement
642
INTEGER_UNIVERSE_TESTS.test_complemented
643
INTEGER_UNIVERSE_TESTS.test_complex_set_has_integer_number
644
INTEGER_UNIVERSE_TESTS.test_conjunction
645
INTEGER_UNIVERSE_TESTS.test_converted
646
INTEGER_UNIVERSE_TESTS.test_converted_element
647
INTEGER_UNIVERSE_TESTS.test_crossed
648
INTEGER_UNIVERSE_TESTS.test_crossed_tuples
649
INTEGER_UNIVERSE_TESTS.test_default_create
650
INTEGER_UNIVERSE_TESTS.test_diagonal
651
INTEGER_UNIVERSE_TESTS.test_disjunction
652
INTEGER_UNIVERSE_TESTS.test_does_not_exist
653
INTEGER_UNIVERSE_TESTS.test_does_not_exist_pair
654
INTEGER_UNIVERSE_TESTS.test_does_not_have
655
INTEGER_UNIVERSE_TESTS.test_element_is_in
656
INTEGER_UNIVERSE_TESTS.test_element_is_not_in
657
INTEGER_UNIVERSE_TESTS.test_empty_set
658
INTEGER_UNIVERSE_TESTS.test_eq
659
INTEGER_UNIVERSE_TESTS.test_equality_holds
660
INTEGER_UNIVERSE_TESTS.test_equals
661
INTEGER_UNIVERSE_TESTS.test_exists
662
INTEGER_UNIVERSE_TESTS.test_exists_distinct_pair
663
INTEGER_UNIVERSE_TESTS.test_exists_pair
664
INTEGER_UNIVERSE_TESTS.test_exists_unique
665
INTEGER_UNIVERSE_TESTS.test_extended
666
INTEGER_UNIVERSE_TESTS.test_filtered
667
INTEGER_UNIVERSE_TESTS.test_for_all
668
INTEGER_UNIVERSE_TESTS.test_for_all_distinct_pairs
669
INTEGER_UNIVERSE_TESTS.test_for_all_pairs
670
INTEGER_UNIVERSE_TESTS.test_has
671
INTEGER_UNIVERSE_TESTS.test_has_complex_number
672
INTEGER_UNIVERSE_TESTS.test_has_real_number
673
INTEGER_UNIVERSE_TESTS.test_i_is_within_interval
674
INTEGER_UNIVERSE_TESTS.test_iff
675
INTEGER_UNIVERSE_TESTS.test_instance_free_cardinality
676
INTEGER_UNIVERSE_TESTS.test_integer_from_stored_value
677
INTEGER_UNIVERSE_TESTS.test_integer_universe
678
INTEGER_UNIVERSE_TESTS.test_intersected
679
INTEGER_UNIVERSE_TESTS.test_intersects
680
INTEGER_UNIVERSE_TESTS.test_is_comparable
681
INTEGER_UNIVERSE_TESTS.test_is_disjoint
682
INTEGER_UNIVERSE_TESTS.test_is_empty
683
INTEGER_UNIVERSE_TESTS.test_is_in
684
INTEGER_UNIVERSE_TESTS.test_is_not_comparable
685
INTEGER_UNIVERSE_TESTS.test_is_not_in
686
INTEGER_UNIVERSE_TESTS.test_is_not_strict_subset
687
INTEGER_UNIVERSE_TESTS.test_is_not_strict_superset
688
INTEGER_UNIVERSE_TESTS.test_is_not_subset
689
INTEGER_UNIVERSE_TESTS.test_is_not_superset
690
INTEGER_UNIVERSE_TESTS.test_is_partitioned
691
INTEGER_UNIVERSE_TESTS.test_is_proper_subset
692
INTEGER_UNIVERSE_TESTS.test_is_proper_superset
693
INTEGER_UNIVERSE_TESTS.test_is_singleton
694
INTEGER_UNIVERSE_TESTS.test_is_strict_subset
695
INTEGER_UNIVERSE_TESTS.test_is_strict_superset
696
INTEGER_UNIVERSE_TESTS.test_is_subset
697
INTEGER_UNIVERSE_TESTS.test_is_superset
698
INTEGER_UNIVERSE_TESTS.test_is_trivial_subset
699
INTEGER_UNIVERSE_TESTS.test_is_trivial_superset
700
INTEGER_UNIVERSE_TESTS.test_left_closed_right_open_interval
701
INTEGER_UNIVERSE_TESTS.test_left_closed_right_unbounded_interval
702
INTEGER_UNIVERSE_TESTS.test_left_open_right_closed_interval
703
INTEGER_UNIVERSE_TESTS.test_left_open_right_unbounded_interval
704
INTEGER_UNIVERSE_TESTS.test_left_unbounded_right_closed_interval
705
INTEGER_UNIVERSE_TESTS.test_left_unbounded_right_open_interval
706
INTEGER_UNIVERSE_TESTS.test_make_empty
707
INTEGER_UNIVERSE_TESTS.test_make_extended
708
INTEGER_UNIVERSE_TESTS.test_make_from_numeric_set
709
INTEGER_UNIVERSE_TESTS.test_make_from_set
710
INTEGER_UNIVERSE_TESTS.test_make_from_universe
711
INTEGER_UNIVERSE_TESTS.test_make_singleton
712
INTEGER_UNIVERSE_TESTS.test_mapped
713
INTEGER_UNIVERSE_TESTS.test_max
714
INTEGER_UNIVERSE_TESTS.test_min
715
INTEGER_UNIVERSE_TESTS.test_n_times
716
INTEGER_UNIVERSE_TESTS.test_natural_as_integer
717
INTEGER_UNIVERSE_TESTS.test_natural_successor
718
INTEGER_UNIVERSE_TESTS.test_negative
719
INTEGER_UNIVERSE_TESTS.test_non_negative
720
INTEGER_UNIVERSE_TESTS.test_non_positive
721
INTEGER_UNIVERSE_TESTS.test_number_is_less
722
INTEGER_UNIVERSE_TESTS.test_number_is_less_equal
723
INTEGER_UNIVERSE_TESTS.test_numeric_batch_extended
724
INTEGER_UNIVERSE_TESTS.test_numeric_converted
725
INTEGER_UNIVERSE_TESTS.test_o
726
INTEGER_UNIVERSE_TESTS.test_open_interval
727
INTEGER_UNIVERSE_TESTS.test_ored
728
INTEGER_UNIVERSE_TESTS.test_others
729
INTEGER_UNIVERSE_TESTS.test_out
730
INTEGER_UNIVERSE_TESTS.test_pair
731
INTEGER_UNIVERSE_TESTS.test_positive
732
INTEGER_UNIVERSE_TESTS.test_powerset
733
INTEGER_UNIVERSE_TESTS.test_proper_reduced
734
INTEGER_UNIVERSE_TESTS.test_proper_subsets
735
INTEGER_UNIVERSE_TESTS.test_raised
736
INTEGER_UNIVERSE_TESTS.test_real_set_has_integer_number
737
INTEGER_UNIVERSE_TESTS.test_reduced
738
INTEGER_UNIVERSE_TESTS.test_second_after_first
739
INTEGER_UNIVERSE_TESTS.test_sets_plus_same_sets_with_element
740
INTEGER_UNIVERSE_TESTS.test_singleton
741
INTEGER_UNIVERSE_TESTS.test_singleton_crossed_tuples
742
INTEGER_UNIVERSE_TESTS.test_squared
743
INTEGER_UNIVERSE_TESTS.test_stored_value_interval
744
INTEGER_UNIVERSE_TESTS.test_subset_relation_holds
745
INTEGER_UNIVERSE_TESTS.test_subsets
746
INTEGER_UNIVERSE_TESTS.test_subtracted
747
INTEGER_UNIVERSE_TESTS.test_subtracted_symmetricaly
748
INTEGER_UNIVERSE_TESTS.test_trivial_subsets
749
INTEGER_UNIVERSE_TESTS.test_unbounded_interval
750
INTEGER_UNIVERSE_TESTS.test_unequals
751
INTEGER_UNIVERSE_TESTS.test_unit
752
INTEGER_UNIVERSE_TESTS.test_united
753
INTEGER_UNIVERSE_TESTS.test_with
754
INTEGER_UNIVERSE_TESTS.test_without
755
INTEGER_UNIVERSE_TESTS.test_without_zero
756
INTEGER_UNIVERSE_TESTS.test_xored
757
INTEGER_UNIVERSE_TESTS.test_z
758
INTEGER_UNIVERSE_TESTS.test_zero
759
NUMERIC_EQUALITY_TESTS_C.test_holds
760
NUMERIC_EQUALITY_TESTS_C.test_holds_successively
761
NUMERIC_EQUALITY_TESTS_C.test_is_in
762
NUMERIC_EQUALITY_TESTS_C.test_is_not_in
763
NUMERIC_EQUALITY_TESTS_I.test_holds
764
NUMERIC_EQUALITY_TESTS_I.test_holds_successively
765
NUMERIC_EQUALITY_TESTS_I.test_is_in
766
NUMERIC_EQUALITY_TESTS_I.test_is_not_in
767
NUMERIC_EQUALITY_TESTS_R.test_holds
768
NUMERIC_EQUALITY_TESTS_R.test_holds_successively
769
NUMERIC_EQUALITY_TESTS_R.test_is_in
770
NUMERIC_EQUALITY_TESTS_R.test_is_not_in
771
N_TUPLE_EQUALITY_TESTS_I.test_holds
772
N_TUPLE_EQUALITY_TESTS_I.test_holds_successively
773
N_TUPLE_EQUALITY_TESTS_I.test_is_in
774
N_TUPLE_EQUALITY_TESTS_I.test_is_not_in
775
N_TUPLE_TESTS_C.test_after
776
N_TUPLE_TESTS_C.test_appending_term_out
777
N_TUPLE_TESTS_C.test_as_singleton
778
N_TUPLE_TESTS_C.test_before
779
N_TUPLE_TESTS_C.test_concatenated
780
N_TUPLE_TESTS_C.test_converted
781
N_TUPLE_TESTS_C.test_converted_terms
782
N_TUPLE_TESTS_C.test_does_not_exist
783
N_TUPLE_TESTS_C.test_does_not_have
784
N_TUPLE_TESTS_C.test_element_is_in
785
N_TUPLE_TESTS_C.test_element_is_not_in
786
N_TUPLE_TESTS_C.test_eq
787
N_TUPLE_TESTS_C.test_equals
788
N_TUPLE_TESTS_C.test_exists
789
N_TUPLE_TESTS_C.test_first
790
N_TUPLE_TESTS_C.test_first_tail
791
N_TUPLE_TESTS_C.test_for_all
792
N_TUPLE_TESTS_C.test_front
793
N_TUPLE_TESTS_C.test_front_last
794
N_TUPLE_TESTS_C.test_has
795
N_TUPLE_TESTS_C.test_index_is_less_equal
796
N_TUPLE_TESTS_C.test_index_is_positive
797
N_TUPLE_TESTS_C.test_indexed_left_reduced
798
N_TUPLE_TESTS_C.test_indexed_right_reduced
799
N_TUPLE_TESTS_C.test_indexed_term
800
N_TUPLE_TESTS_C.test_indices
801
N_TUPLE_TESTS_C.test_is_in
802
N_TUPLE_TESTS_C.test_is_not_in
803
N_TUPLE_TESTS_C.test_is_unit
804
N_TUPLE_TESTS_C.test_just_index
805
N_TUPLE_TESTS_C.test_last
806
N_TUPLE_TESTS_C.test_left_reduced
807
N_TUPLE_TESTS_C.test_left_trimmed
808
N_TUPLE_TESTS_C.test_make_after
809
N_TUPLE_TESTS_C.test_make_from_tuple
810
N_TUPLE_TESTS_C.test_make_n
811
N_TUPLE_TESTS_C.test_make_unit
812
N_TUPLE_TESTS_C.test_mapped
813
N_TUPLE_TESTS_C.test_n
814
N_TUPLE_TESTS_C.test_natural_as_integer
815
N_TUPLE_TESTS_C.test_negated
816
N_TUPLE_TESTS_C.test_out
817
N_TUPLE_TESTS_C.test_predicate_holds_to_term
818
N_TUPLE_TESTS_C.test_prefix
819
N_TUPLE_TESTS_C.test_proper_left_reduced
820
N_TUPLE_TESTS_C.test_proper_right_reduced
821
N_TUPLE_TESTS_C.test_replacing
822
N_TUPLE_TESTS_C.test_reversed
823
N_TUPLE_TESTS_C.test_reversed_terms_are_equal
824
N_TUPLE_TESTS_C.test_right_reduced
825
N_TUPLE_TESTS_C.test_right_trimmed
826
N_TUPLE_TESTS_C.test_suffix
827
N_TUPLE_TESTS_C.test_tail
828
N_TUPLE_TESTS_C.test_term
829
N_TUPLE_TESTS_C.test_term_out
830
N_TUPLE_TESTS_C.test_terms
831
N_TUPLE_TESTS_C.test_terms_are_equal
832
N_TUPLE_TESTS_C.test_terms_out
833
N_TUPLE_TESTS_C.test_unequals
834
N_TUPLE_TESTS_C.test_unit
835
N_TUPLE_TESTS_I.test_after
836
N_TUPLE_TESTS_I.test_appending_term_out
837
N_TUPLE_TESTS_I.test_as_singleton
838
N_TUPLE_TESTS_I.test_before
839
N_TUPLE_TESTS_I.test_concatenated
840
N_TUPLE_TESTS_I.test_converted
841
N_TUPLE_TESTS_I.test_converted_terms
842
N_TUPLE_TESTS_I.test_does_not_exist
843
N_TUPLE_TESTS_I.test_does_not_have
844
N_TUPLE_TESTS_I.test_element_is_in
845
N_TUPLE_TESTS_I.test_element_is_not_in
846
N_TUPLE_TESTS_I.test_eq
847
N_TUPLE_TESTS_I.test_equals
848
N_TUPLE_TESTS_I.test_exists
849
N_TUPLE_TESTS_I.test_first
850
N_TUPLE_TESTS_I.test_first_tail
851
N_TUPLE_TESTS_I.test_for_all
852
N_TUPLE_TESTS_I.test_front
853
N_TUPLE_TESTS_I.test_front_last
854
N_TUPLE_TESTS_I.test_has
855
N_TUPLE_TESTS_I.test_index_is_less_equal
856
N_TUPLE_TESTS_I.test_index_is_positive
857
N_TUPLE_TESTS_I.test_indexed_left_reduced
858
N_TUPLE_TESTS_I.test_indexed_right_reduced
859
N_TUPLE_TESTS_I.test_indexed_term
860
N_TUPLE_TESTS_I.test_indices
861
N_TUPLE_TESTS_I.test_is_in
862
N_TUPLE_TESTS_I.test_is_not_in
863
N_TUPLE_TESTS_I.test_is_unit
864
N_TUPLE_TESTS_I.test_just_index
865
N_TUPLE_TESTS_I.test_last
866
N_TUPLE_TESTS_I.test_left_reduced
867
N_TUPLE_TESTS_I.test_left_trimmed
868
N_TUPLE_TESTS_I.test_make_after
869
N_TUPLE_TESTS_I.test_make_from_tuple
870
N_TUPLE_TESTS_I.test_make_n
871
N_TUPLE_TESTS_I.test_make_unit
872
N_TUPLE_TESTS_I.test_mapped
873
N_TUPLE_TESTS_I.test_n
874
N_TUPLE_TESTS_I.test_natural_as_integer
875
N_TUPLE_TESTS_I.test_negated
876
N_TUPLE_TESTS_I.test_out
877
N_TUPLE_TESTS_I.test_predicate_holds_to_term
878
N_TUPLE_TESTS_I.test_prefix
879
N_TUPLE_TESTS_I.test_proper_left_reduced
880
N_TUPLE_TESTS_I.test_proper_right_reduced
881
N_TUPLE_TESTS_I.test_replacing
882
N_TUPLE_TESTS_I.test_reversed
883
N_TUPLE_TESTS_I.test_reversed_terms_are_equal
884
N_TUPLE_TESTS_I.test_right_reduced
885
N_TUPLE_TESTS_I.test_right_trimmed
886
N_TUPLE_TESTS_I.test_suffix
887
N_TUPLE_TESTS_I.test_tail
888
N_TUPLE_TESTS_I.test_term
889
N_TUPLE_TESTS_I.test_term_out
890
N_TUPLE_TESTS_I.test_terms
891
N_TUPLE_TESTS_I.test_terms_are_equal
892
N_TUPLE_TESTS_I.test_terms_out
893
N_TUPLE_TESTS_I.test_unequals
894
N_TUPLE_TESTS_I.test_unit
895
N_TUPLE_TESTS_N.test_after
896
N_TUPLE_TESTS_N.test_appending_term_out
897
N_TUPLE_TESTS_N.test_as_singleton
898
N_TUPLE_TESTS_N.test_before
899
N_TUPLE_TESTS_N.test_concatenated
900
N_TUPLE_TESTS_N.test_converted
901
N_TUPLE_TESTS_N.test_converted_terms
902
N_TUPLE_TESTS_N.test_does_not_exist
903
N_TUPLE_TESTS_N.test_does_not_have
904
N_TUPLE_TESTS_N.test_element_is_in
905
N_TUPLE_TESTS_N.test_element_is_not_in
906
N_TUPLE_TESTS_N.test_eq
907
N_TUPLE_TESTS_N.test_equals
908
N_TUPLE_TESTS_N.test_exists
909
N_TUPLE_TESTS_N.test_first
910
N_TUPLE_TESTS_N.test_first_tail
911
N_TUPLE_TESTS_N.test_for_all
912
N_TUPLE_TESTS_N.test_front
913
N_TUPLE_TESTS_N.test_front_last
914
N_TUPLE_TESTS_N.test_has
915
N_TUPLE_TESTS_N.test_index_is_less_equal
916
N_TUPLE_TESTS_N.test_index_is_positive
917
N_TUPLE_TESTS_N.test_indexed_left_reduced
918
N_TUPLE_TESTS_N.test_indexed_right_reduced
919
N_TUPLE_TESTS_N.test_indexed_term
920
N_TUPLE_TESTS_N.test_indices
921
N_TUPLE_TESTS_N.test_is_in
922
N_TUPLE_TESTS_N.test_is_not_in
923
N_TUPLE_TESTS_N.test_is_unit
924
N_TUPLE_TESTS_N.test_just_index
925
N_TUPLE_TESTS_N.test_last
926
N_TUPLE_TESTS_N.test_left_reduced
927
N_TUPLE_TESTS_N.test_left_trimmed
928
N_TUPLE_TESTS_N.test_make_after
929
N_TUPLE_TESTS_N.test_make_from_tuple
930
N_TUPLE_TESTS_N.test_make_n
931
N_TUPLE_TESTS_N.test_make_unit
932
N_TUPLE_TESTS_N.test_mapped
933
N_TUPLE_TESTS_N.test_n
934
N_TUPLE_TESTS_N.test_natural_as_integer
935
N_TUPLE_TESTS_N.test_negated
936
N_TUPLE_TESTS_N.test_out
937
N_TUPLE_TESTS_N.test_predicate_holds_to_term
938
N_TUPLE_TESTS_N.test_prefix
939
N_TUPLE_TESTS_N.test_proper_left_reduced
940
N_TUPLE_TESTS_N.test_proper_right_reduced
941
N_TUPLE_TESTS_N.test_replacing
942
N_TUPLE_TESTS_N.test_reversed
943
N_TUPLE_TESTS_N.test_reversed_terms_are_equal
944
N_TUPLE_TESTS_N.test_right_reduced
945
N_TUPLE_TESTS_N.test_right_trimmed
946
N_TUPLE_TESTS_N.test_suffix
947
N_TUPLE_TESTS_N.test_tail
948
N_TUPLE_TESTS_N.test_term
949
N_TUPLE_TESTS_N.test_term_out
950
N_TUPLE_TESTS_N.test_terms
951
N_TUPLE_TESTS_N.test_terms_are_equal
952
N_TUPLE_TESTS_N.test_terms_out
953
N_TUPLE_TESTS_N.test_unequals
954
N_TUPLE_TESTS_N.test_unit: unresolved (Aborted)
955
The execution of N_TUPLE_TESTS_N.test_unit was aborted by the user
956
N_TUPLE_TESTS_UNARY_IC.test_after
957
N_TUPLE_TESTS_UNARY_IC.test_appending_term_out
958
N_TUPLE_TESTS_UNARY_IC.test_as_singleton
959
N_TUPLE_TESTS_UNARY_IC.test_before
960
N_TUPLE_TESTS_UNARY_IC.test_concatenated
961
N_TUPLE_TESTS_UNARY_IC.test_converted
962
N_TUPLE_TESTS_UNARY_IC.test_converted_terms
963
N_TUPLE_TESTS_UNARY_IC.test_does_not_exist
964
N_TUPLE_TESTS_UNARY_IC.test_does_not_have
965
N_TUPLE_TESTS_UNARY_IC.test_element_is_in
966
N_TUPLE_TESTS_UNARY_IC.test_element_is_not_in
967
N_TUPLE_TESTS_UNARY_IC.test_eq
968
N_TUPLE_TESTS_UNARY_IC.test_equals
969
N_TUPLE_TESTS_UNARY_IC.test_exists
970
N_TUPLE_TESTS_UNARY_IC.test_first
971
N_TUPLE_TESTS_UNARY_IC.test_first_tail
972
N_TUPLE_TESTS_UNARY_IC.test_for_all
973
N_TUPLE_TESTS_UNARY_IC.test_front
974
N_TUPLE_TESTS_UNARY_IC.test_front_last
975
N_TUPLE_TESTS_UNARY_IC.test_has
976
N_TUPLE_TESTS_UNARY_IC.test_index_is_less_equal
977
N_TUPLE_TESTS_UNARY_IC.test_index_is_positive
978
N_TUPLE_TESTS_UNARY_IC.test_indexed_left_reduced
979
N_TUPLE_TESTS_UNARY_IC.test_indexed_right_reduced
980
N_TUPLE_TESTS_UNARY_IC.test_indexed_term
981
N_TUPLE_TESTS_UNARY_IC.test_indices
982
N_TUPLE_TESTS_UNARY_IC.test_is_in
983
N_TUPLE_TESTS_UNARY_IC.test_is_not_in
984
N_TUPLE_TESTS_UNARY_IC.test_is_unit
985
N_TUPLE_TESTS_UNARY_IC.test_just_index
986
N_TUPLE_TESTS_UNARY_IC.test_last
987
N_TUPLE_TESTS_UNARY_IC.test_left_reduced
988
N_TUPLE_TESTS_UNARY_IC.test_left_trimmed
989
N_TUPLE_TESTS_UNARY_IC.test_make_after
990
N_TUPLE_TESTS_UNARY_IC.test_make_from_tuple
991
N_TUPLE_TESTS_UNARY_IC.test_make_n
992
N_TUPLE_TESTS_UNARY_IC.test_make_unit
993
N_TUPLE_TESTS_UNARY_IC.test_mapped
994
N_TUPLE_TESTS_UNARY_IC.test_n
995
N_TUPLE_TESTS_UNARY_IC.test_natural_as_integer
996
N_TUPLE_TESTS_UNARY_IC.test_negated
997
N_TUPLE_TESTS_UNARY_IC.test_out
998
N_TUPLE_TESTS_UNARY_IC.test_predicate_holds_to_term
999
N_TUPLE_TESTS_UNARY_IC.test_prefix
1000
N_TUPLE_TESTS_UNARY_IC.test_proper_left_reduced
1001
N_TUPLE_TESTS_UNARY_IC.test_proper_right_reduced
1002
N_TUPLE_TESTS_UNARY_IC.test_replacing
1003
N_TUPLE_TESTS_UNARY_IC.test_reversed
1004
N_TUPLE_TESTS_UNARY_IC.test_reversed_terms_are_equal
1005
N_TUPLE_TESTS_UNARY_IC.test_right_reduced
1006
N_TUPLE_TESTS_UNARY_IC.test_right_trimmed
1007
N_TUPLE_TESTS_UNARY_IC.test_suffix
1008
N_TUPLE_TESTS_UNARY_IC.test_tail
1009
N_TUPLE_TESTS_UNARY_IC.test_term
1010
N_TUPLE_TESTS_UNARY_IC.test_term_out
1011
N_TUPLE_TESTS_UNARY_IC.test_terms
1012
N_TUPLE_TESTS_UNARY_IC.test_terms_are_equal
1013
N_TUPLE_TESTS_UNARY_IC.test_terms_out
1014
N_TUPLE_TESTS_UNARY_IC.test_unequals
1015
N_TUPLE_TESTS_UNARY_IC.test_unit
1016
N_TUPLE_TESTS_UNARY_TI.test_after
1017
N_TUPLE_TESTS_UNARY_TI.test_appending_term_out
1018
N_TUPLE_TESTS_UNARY_TI.test_as_singleton
1019
N_TUPLE_TESTS_UNARY_TI.test_before
1020
N_TUPLE_TESTS_UNARY_TI.test_concatenated
1021
N_TUPLE_TESTS_UNARY_TI.test_converted
1022
N_TUPLE_TESTS_UNARY_TI.test_converted_terms
1023
N_TUPLE_TESTS_UNARY_TI.test_does_not_exist
1024
N_TUPLE_TESTS_UNARY_TI.test_does_not_have
1025
N_TUPLE_TESTS_UNARY_TI.test_element_is_in
1026
N_TUPLE_TESTS_UNARY_TI.test_element_is_not_in
1027
N_TUPLE_TESTS_UNARY_TI.test_eq
1028
N_TUPLE_TESTS_UNARY_TI.test_equals
1029
N_TUPLE_TESTS_UNARY_TI.test_exists
1030
N_TUPLE_TESTS_UNARY_TI.test_first
1031
N_TUPLE_TESTS_UNARY_TI.test_first_tail
1032
N_TUPLE_TESTS_UNARY_TI.test_for_all
1033
N_TUPLE_TESTS_UNARY_TI.test_front
1034
N_TUPLE_TESTS_UNARY_TI.test_front_last
1035
N_TUPLE_TESTS_UNARY_TI.test_has
1036
N_TUPLE_TESTS_UNARY_TI.test_index_is_less_equal
1037
N_TUPLE_TESTS_UNARY_TI.test_index_is_positive
1038
N_TUPLE_TESTS_UNARY_TI.test_indexed_left_reduced
1039
N_TUPLE_TESTS_UNARY_TI.test_indexed_right_reduced
1040
N_TUPLE_TESTS_UNARY_TI.test_indexed_term
1041
N_TUPLE_TESTS_UNARY_TI.test_indices
1042
N_TUPLE_TESTS_UNARY_TI.test_is_in
1043
N_TUPLE_TESTS_UNARY_TI.test_is_not_in
1044
N_TUPLE_TESTS_UNARY_TI.test_is_unit
1045
N_TUPLE_TESTS_UNARY_TI.test_just_index
1046
N_TUPLE_TESTS_UNARY_TI.test_last
1047
N_TUPLE_TESTS_UNARY_TI.test_left_reduced
1048
N_TUPLE_TESTS_UNARY_TI.test_left_trimmed
1049
N_TUPLE_TESTS_UNARY_TI.test_make_after
1050
N_TUPLE_TESTS_UNARY_TI.test_make_from_tuple
1051
N_TUPLE_TESTS_UNARY_TI.test_make_n
1052
N_TUPLE_TESTS_UNARY_TI.test_make_unit
1053
N_TUPLE_TESTS_UNARY_TI.test_mapped
1054
N_TUPLE_TESTS_UNARY_TI.test_n
1055
N_TUPLE_TESTS_UNARY_TI.test_natural_as_integer
1056
N_TUPLE_TESTS_UNARY_TI.test_negated
1057
N_TUPLE_TESTS_UNARY_TI.test_out
1058
N_TUPLE_TESTS_UNARY_TI.test_predicate_holds_to_term
1059
N_TUPLE_TESTS_UNARY_TI.test_prefix
1060
N_TUPLE_TESTS_UNARY_TI.test_proper_left_reduced
1061
N_TUPLE_TESTS_UNARY_TI.test_proper_right_reduced
1062
N_TUPLE_TESTS_UNARY_TI.test_replacing
1063
N_TUPLE_TESTS_UNARY_TI.test_reversed
1064
N_TUPLE_TESTS_UNARY_TI.test_reversed_terms_are_equal
1065
N_TUPLE_TESTS_UNARY_TI.test_right_reduced
1066
N_TUPLE_TESTS_UNARY_TI.test_right_trimmed
1067
N_TUPLE_TESTS_UNARY_TI.test_suffix
1068
N_TUPLE_TESTS_UNARY_TI.test_tail
1069
N_TUPLE_TESTS_UNARY_TI.test_term
1070
N_TUPLE_TESTS_UNARY_TI.test_term_out
1071
N_TUPLE_TESTS_UNARY_TI.test_terms
1072
N_TUPLE_TESTS_UNARY_TI.test_terms_are_equal
1073
N_TUPLE_TESTS_UNARY_TI.test_terms_out
1074
N_TUPLE_TESTS_UNARY_TI.test_unequals
1075
N_TUPLE_TESTS_UNARY_TI.test_unit
1076
OBJECT_EQUALITY_TESTS_I.test_holds
1077
OBJECT_EQUALITY_TESTS_I.test_holds_successively
1078
OBJECT_EQUALITY_TESTS_I.test_is_in
1079
OBJECT_EQUALITY_TESTS_I.test_is_not_in
1080
OBJECT_EQUALITY_TESTS_N.test_holds
1081
OBJECT_EQUALITY_TESTS_N.test_holds_successively
1082
OBJECT_EQUALITY_TESTS_N.test_is_in
1083
OBJECT_EQUALITY_TESTS_N.test_is_not_in
1084
ORDERED_PAIR_COMPOSER_TESTS_NIC.test_composite_pair
1085
ORDERED_PAIR_COMPOSER_TESTS_NIC.test_is_in
1086
ORDERED_PAIR_COMPOSER_TESTS_NIC.test_is_not_in
1087
ORDERED_PAIR_EQUALITY_TESTS_IC.test_holds
1088
ORDERED_PAIR_EQUALITY_TESTS_IC.test_holds_successively
1089
ORDERED_PAIR_EQUALITY_TESTS_IC.test_is_in
1090
ORDERED_PAIR_EQUALITY_TESTS_IC.test_is_not_in
1091
ORDERED_PAIR_TESTS_IC.test_a
1092
ORDERED_PAIR_TESTS_IC.test_as_singleton
1093
ORDERED_PAIR_TESTS_IC.test_b
1094
ORDERED_PAIR_TESTS_IC.test_composed_with_homogeneous
1095
ORDERED_PAIR_TESTS_IC.test_composed_with_inverse_like
1096
ORDERED_PAIR_TESTS_IC.test_element_is_in
1097
ORDERED_PAIR_TESTS_IC.test_element_is_not_in
1098
ORDERED_PAIR_TESTS_IC.test_eq_a
1099
ORDERED_PAIR_TESTS_IC.test_eq_b
1100
ORDERED_PAIR_TESTS_IC.test_equals
1101
ORDERED_PAIR_TESTS_IC.test_first
1102
ORDERED_PAIR_TESTS_IC.test_first_out
1103
ORDERED_PAIR_TESTS_IC.test_inverse
1104
ORDERED_PAIR_TESTS_IC.test_is_in
1105
ORDERED_PAIR_TESTS_IC.test_is_not_in
1106
ORDERED_PAIR_TESTS_IC.test_make
1107
ORDERED_PAIR_TESTS_IC.test_make_from_pair
1108
ORDERED_PAIR_TESTS_IC.test_out
1109
ORDERED_PAIR_TESTS_IC.test_second
1110
ORDERED_PAIR_TESTS_IC.test_second_out
1111
ORDERED_PAIR_TESTS_IC.test_succeeds
1112
ORDERED_PAIR_TESTS_IC.test_unequals
1113
RATIONAL_NUMBER_TESTS.test_abs
1114
RATIONAL_NUMBER_TESTS.test_adjusted_value: pass
1115
RATIONAL_NUMBER_TESTS.test_arc_tangent: pass
1116
RATIONAL_NUMBER_TESTS.test_arc_tangent_yx: pass
1117
RATIONAL_NUMBER_TESTS.test_argument
1118
RATIONAL_NUMBER_TESTS.test_as_complex: pass
1119
RATIONAL_NUMBER_TESTS.test_as_ordered_pair: pass
1120
RATIONAL_NUMBER_TESTS.test_as_real: pass
1121
RATIONAL_NUMBER_TESTS.test_as_singleton: pass
1122
RATIONAL_NUMBER_TESTS.test_as_tuple: pass
1123
RATIONAL_NUMBER_TESTS.test_complex_divisible: pass
1124
RATIONAL_NUMBER_TESTS.test_complex_equals: pass
1125
RATIONAL_NUMBER_TESTS.test_complex_is_in: pass
1126
RATIONAL_NUMBER_TESTS.test_complex_is_not_in: pass
1127
RATIONAL_NUMBER_TESTS.test_complex_minus
1128
RATIONAL_NUMBER_TESTS.test_complex_plus
1129
RATIONAL_NUMBER_TESTS.test_complex_product: pass
1130
RATIONAL_NUMBER_TESTS.test_complex_quotient: pass
1131
RATIONAL_NUMBER_TESTS.test_complex_unequals: pass
1132
RATIONAL_NUMBER_TESTS.test_composable_composed
1133
RATIONAL_NUMBER_TESTS.test_composable_pair_inverse
1134
RATIONAL_NUMBER_TESTS.test_composed
1135
RATIONAL_NUMBER_TESTS.test_conjugate
1136
RATIONAL_NUMBER_TESTS.test_converted_integer: pass
1137
RATIONAL_NUMBER_TESTS.test_default_create
1138
RATIONAL_NUMBER_TESTS.test_denominator
1139
RATIONAL_NUMBER_TESTS.test_div
1140
RATIONAL_NUMBER_TESTS.test_divisible
1141
RATIONAL_NUMBER_TESTS.test_element_is_in: pass
1142
RATIONAL_NUMBER_TESTS.test_element_is_not_in: pass
1143
RATIONAL_NUMBER_TESTS.test_eq
1144
RATIONAL_NUMBER_TESTS.test_equals
1145
RATIONAL_NUMBER_TESTS.test_gcd
1146
RATIONAL_NUMBER_TESTS.test_hypotenuse: pass
1147
RATIONAL_NUMBER_TESTS.test_identity: pass
1148
RATIONAL_NUMBER_TESTS.test_imaginary_unit
1149
RATIONAL_NUMBER_TESTS.test_integer_product_overflows: pass
1150
RATIONAL_NUMBER_TESTS.test_inverse
1151
RATIONAL_NUMBER_TESTS.test_is_finite
1152
RATIONAL_NUMBER_TESTS.test_is_greater
1153
RATIONAL_NUMBER_TESTS.test_is_greater_equal
1154
RATIONAL_NUMBER_TESTS.test_is_identical
1155
RATIONAL_NUMBER_TESTS.test_is_imaginary
1156
RATIONAL_NUMBER_TESTS.test_is_in
1157
RATIONAL_NUMBER_TESTS.test_is_infinite
1158
RATIONAL_NUMBER_TESTS.test_is_integer: pass
1159
RATIONAL_NUMBER_TESTS.test_is_invertible
1160
RATIONAL_NUMBER_TESTS.test_is_less
1161
RATIONAL_NUMBER_TESTS.test_is_less_equal
1162
RATIONAL_NUMBER_TESTS.test_is_nan
1163
RATIONAL_NUMBER_TESTS.test_is_negative_infinity
1164
RATIONAL_NUMBER_TESTS.test_is_negative_zero
1165
RATIONAL_NUMBER_TESTS.test_is_not_in
1166
RATIONAL_NUMBER_TESTS.test_is_positive_infinity
1167
RATIONAL_NUMBER_TESTS.test_is_positive_zero
1168
RATIONAL_NUMBER_TESTS.test_is_proper_complex
1169
RATIONAL_NUMBER_TESTS.test_is_proper_imaginary
1170
RATIONAL_NUMBER_TESTS.test_is_proper_real
1171
RATIONAL_NUMBER_TESTS.test_is_real
1172
RATIONAL_NUMBER_TESTS.test_machine_epsilon
1173
RATIONAL_NUMBER_TESTS.test_make
1174
RATIONAL_NUMBER_TESTS.test_make_from_expanded
1175
RATIONAL_NUMBER_TESTS.test_make_from_integer
1176
RATIONAL_NUMBER_TESTS.test_make_from_native_integer
1177
RATIONAL_NUMBER_TESTS.test_make_from_native_integer_ref
1178
RATIONAL_NUMBER_TESTS.test_make_from_native_natural
1179
RATIONAL_NUMBER_TESTS.test_make_from_native_natural_ref
1180
RATIONAL_NUMBER_TESTS.test_make_from_rational
1181
RATIONAL_NUMBER_TESTS.test_max
1182
RATIONAL_NUMBER_TESTS.test_max_value
1183
RATIONAL_NUMBER_TESTS.test_min
1184
RATIONAL_NUMBER_TESTS.test_min_value
1185
RATIONAL_NUMBER_TESTS.test_minus
1186
RATIONAL_NUMBER_TESTS.test_modulus
1187
RATIONAL_NUMBER_TESTS.test_multipliable
1188
RATIONAL_NUMBER_TESTS.test_next_float
1189
RATIONAL_NUMBER_TESTS.test_numerator
1190
RATIONAL_NUMBER_TESTS.test_one
1191
RATIONAL_NUMBER_TESTS.test_opposite
1192
RATIONAL_NUMBER_TESTS.test_out
1193
RATIONAL_NUMBER_TESTS.test_p
1194
RATIONAL_NUMBER_TESTS.test_pair_equals
1195
RATIONAL_NUMBER_TESTS.test_pair_inverse
1196
RATIONAL_NUMBER_TESTS.test_pair_is_in
1197
RATIONAL_NUMBER_TESTS.test_pair_is_not_in
1198
RATIONAL_NUMBER_TESTS.test_pair_unequals
1199
RATIONAL_NUMBER_TESTS.test_phase
1200
RATIONAL_NUMBER_TESTS.test_pi
1201
RATIONAL_NUMBER_TESTS.test_pi_2
1202
RATIONAL_NUMBER_TESTS.test_pi_4
1203
RATIONAL_NUMBER_TESTS.test_plus
1204
RATIONAL_NUMBER_TESTS.test_power
1205
RATIONAL_NUMBER_TESTS.test_previous_float
1206
RATIONAL_NUMBER_TESTS.test_product
1207
RATIONAL_NUMBER_TESTS.test_q
1208
RATIONAL_NUMBER_TESTS.test_quotient
1209
RATIONAL_NUMBER_TESTS.test_real_divisible: pass
1210
RATIONAL_NUMBER_TESTS.test_real_equals: pass
1211
RATIONAL_NUMBER_TESTS.test_real_from_double_value: pass
1212
RATIONAL_NUMBER_TESTS.test_real_from_value: pass
1213
RATIONAL_NUMBER_TESTS.test_real_inverse: pass
1214
RATIONAL_NUMBER_TESTS.test_real_is_greater: pass
1215
RATIONAL_NUMBER_TESTS.test_real_is_greater_equal: pass
1216
RATIONAL_NUMBER_TESTS.test_real_is_in: pass
1217
RATIONAL_NUMBER_TESTS.test_real_is_integer: unresolved (Floating point exception)
1219
test routine: exceptional (Floating point exception in RATIONAL_NUMBER_TESTS.test_real_is_integer)
1220
******************************** Thread exception *****************************
1221
In thread Root thread 0x0 (thread id)
1222
*******************************************************************************
1223
-------------------------------------------------------------------------------
1224
Class / Object Routine Nature of exception Effect
1225
-------------------------------------------------------------------------------
1226
RATIONAL_NUMBER_TESTS
1227
test_real_is_integer @11
1228
Floating point exception:
1229
<00000000099D74C8> Floating point exception. Fail
1230
-------------------------------------------------------------------------------
1231
RATIONAL_NUMBER_TESTS
1232
test_real_is_integer @11
1233
<00000000099D74C8> Routine failure. Fail
1234
-------------------------------------------------------------------------------
1236
RATIONAL_NUMBER_TESTS.test_real_is_invertible
1237
RATIONAL_NUMBER_TESTS.test_real_is_less: pass
1238
RATIONAL_NUMBER_TESTS.test_real_is_less_equal: pass
1239
RATIONAL_NUMBER_TESTS.test_real_is_not_in: pass
1240
RATIONAL_NUMBER_TESTS.test_real_max
1241
RATIONAL_NUMBER_TESTS.test_real_min
1242
RATIONAL_NUMBER_TESTS.test_real_minus
1243
RATIONAL_NUMBER_TESTS.test_real_opposite: pass
1244
RATIONAL_NUMBER_TESTS.test_real_plus
1245
RATIONAL_NUMBER_TESTS.test_real_product
1246
RATIONAL_NUMBER_TESTS.test_real_quotient: pass
1247
RATIONAL_NUMBER_TESTS.test_real_reciprocal: pass
1248
RATIONAL_NUMBER_TESTS.test_real_three_way_comparison
1249
RATIONAL_NUMBER_TESTS.test_real_unequals: pass
1250
RATIONAL_NUMBER_TESTS.test_reciprocal
1251
RATIONAL_NUMBER_TESTS.test_relative_epsilon
1252
RATIONAL_NUMBER_TESTS.test_rem
1253
RATIONAL_NUMBER_TESTS.test_sign
1254
RATIONAL_NUMBER_TESTS.test_sign_bit
1255
RATIONAL_NUMBER_TESTS.test_sqrt: pass
1256
RATIONAL_NUMBER_TESTS.test_square_root
1257
RATIONAL_NUMBER_TESTS.test_succeeds
1258
RATIONAL_NUMBER_TESTS.test_three_way_comparison
1259
RATIONAL_NUMBER_TESTS.test_truncated_to_integer: pass
1260
RATIONAL_NUMBER_TESTS.test_two
1261
RATIONAL_NUMBER_TESTS.test_ulp
1262
RATIONAL_NUMBER_TESTS.test_unequals
1263
RATIONAL_NUMBER_TESTS.test_value
1264
RATIONAL_NUMBER_TESTS.test_value_is_finite: pass
1265
RATIONAL_NUMBER_TESTS.test_value_is_infinite: pass
1266
RATIONAL_NUMBER_TESTS.test_value_logb: pass
1267
RATIONAL_NUMBER_TESTS.test_value_sign_bit: pass
1268
RATIONAL_NUMBER_TESTS.test_zero
1269
REAL_EQUALITY_TESTS.test_holds
1270
REAL_EQUALITY_TESTS.test_holds_successively
1271
REAL_EQUALITY_TESTS.test_is_in
1272
REAL_EQUALITY_TESTS.test_is_not_in
1273
REAL_NUMBER_TESTS.test_abs
1274
REAL_NUMBER_TESTS.test_adjusted_value
1275
REAL_NUMBER_TESTS.test_arc_tangent
1276
REAL_NUMBER_TESTS.test_arc_tangent_yx
1277
REAL_NUMBER_TESTS.test_argument
1278
REAL_NUMBER_TESTS.test_as_complex
1279
REAL_NUMBER_TESTS.test_bit_pattern_from_native_real
1280
REAL_NUMBER_TESTS.test_complex_divisible
1281
REAL_NUMBER_TESTS.test_complex_equals
1282
REAL_NUMBER_TESTS.test_complex_is_in
1283
REAL_NUMBER_TESTS.test_complex_is_not_in
1284
REAL_NUMBER_TESTS.test_complex_minus
1285
REAL_NUMBER_TESTS.test_complex_plus
1286
REAL_NUMBER_TESTS.test_complex_product
1287
REAL_NUMBER_TESTS.test_complex_quotient
1288
REAL_NUMBER_TESTS.test_complex_unequals
1289
REAL_NUMBER_TESTS.test_conjugate
1290
REAL_NUMBER_TESTS.test_default_create
1291
REAL_NUMBER_TESTS.test_divisible
1292
REAL_NUMBER_TESTS.test_element_is_in
1293
REAL_NUMBER_TESTS.test_element_is_not_in
1294
REAL_NUMBER_TESTS.test_epsilon
1295
REAL_NUMBER_TESTS.test_equals
1296
REAL_NUMBER_TESTS.test_exponent_bias
1297
REAL_NUMBER_TESTS.test_exponent_bit_pattern
1298
REAL_NUMBER_TESTS.test_exponent_mask
1299
REAL_NUMBER_TESTS.test_exponent_width
1300
REAL_NUMBER_TESTS.test_hypotenuse
1301
REAL_NUMBER_TESTS.test_identity
1302
REAL_NUMBER_TESTS.test_imaginary_unit
1303
REAL_NUMBER_TESTS.test_inverse
1304
REAL_NUMBER_TESTS.test_is_finite
1305
REAL_NUMBER_TESTS.test_is_greater
1306
REAL_NUMBER_TESTS.test_is_greater_equal
1307
REAL_NUMBER_TESTS.test_is_imaginary
1308
REAL_NUMBER_TESTS.test_is_in
1309
REAL_NUMBER_TESTS.test_is_infinite
1310
REAL_NUMBER_TESTS.test_is_integer
1311
REAL_NUMBER_TESTS.test_is_invertible
1312
REAL_NUMBER_TESTS.test_is_less
1313
REAL_NUMBER_TESTS.test_is_less_equal
1314
REAL_NUMBER_TESTS.test_is_nan
1315
REAL_NUMBER_TESTS.test_is_negative_infinity
1316
REAL_NUMBER_TESTS.test_is_negative_zero
1317
REAL_NUMBER_TESTS.test_is_not_in
1318
REAL_NUMBER_TESTS.test_is_positive_infinity
1319
REAL_NUMBER_TESTS.test_is_positive_zero
1320
REAL_NUMBER_TESTS.test_is_proper_complex
1321
REAL_NUMBER_TESTS.test_is_proper_imaginary
1322
REAL_NUMBER_TESTS.test_is_proper_real
1323
REAL_NUMBER_TESTS.test_is_real
1324
REAL_NUMBER_TESTS.test_machine_epsilon
1325
REAL_NUMBER_TESTS.test_make
1326
REAL_NUMBER_TESTS.test_make_abs
1327
REAL_NUMBER_TESTS.test_make_from_bit_pattern
1328
REAL_NUMBER_TESTS.test_make_from_integer
1329
REAL_NUMBER_TESTS.test_make_from_native_double_real
1330
REAL_NUMBER_TESTS.test_make_from_native_double_real_ref
1331
REAL_NUMBER_TESTS.test_make_from_native_integer
1332
REAL_NUMBER_TESTS.test_make_from_native_integer_ref
1333
REAL_NUMBER_TESTS.test_make_from_native_natural
1334
REAL_NUMBER_TESTS.test_make_from_native_natural_ref
1335
REAL_NUMBER_TESTS.test_make_from_native_real_ref
1336
REAL_NUMBER_TESTS.test_make_from_real
1337
REAL_NUMBER_TESTS.test_make_opposite
1338
REAL_NUMBER_TESTS.test_mantissa_bit_pattern
1339
REAL_NUMBER_TESTS.test_mantissa_mask
1340
REAL_NUMBER_TESTS.test_mantissa_scale
1341
REAL_NUMBER_TESTS.test_mantissa_width
1342
REAL_NUMBER_TESTS.test_max
1343
REAL_NUMBER_TESTS.test_max_exponent
1344
REAL_NUMBER_TESTS.test_max_exponent_bit_pattern
1345
REAL_NUMBER_TESTS.test_max_mantissa
1346
REAL_NUMBER_TESTS.test_max_value
1347
REAL_NUMBER_TESTS.test_min
1348
REAL_NUMBER_TESTS.test_min_normal_exponent
1349
REAL_NUMBER_TESTS.test_min_subnormal_exponent
1350
REAL_NUMBER_TESTS.test_min_value
1351
REAL_NUMBER_TESTS.test_minus
1352
REAL_NUMBER_TESTS.test_modulus
1353
REAL_NUMBER_TESTS.test_nan
1354
REAL_NUMBER_TESTS.test_negative_infinity
1355
REAL_NUMBER_TESTS.test_next_float
1356
REAL_NUMBER_TESTS.test_one
1357
REAL_NUMBER_TESTS.test_opposite
1358
REAL_NUMBER_TESTS.test_out
1359
REAL_NUMBER_TESTS.test_phase
1360
REAL_NUMBER_TESTS.test_pi
1361
REAL_NUMBER_TESTS.test_pi_2
1362
REAL_NUMBER_TESTS.test_pi_4
1363
REAL_NUMBER_TESTS.test_plus
1364
REAL_NUMBER_TESTS.test_positive_infinity
1365
REAL_NUMBER_TESTS.test_power
1366
REAL_NUMBER_TESTS.test_previous_float
1367
REAL_NUMBER_TESTS.test_product
1368
REAL_NUMBER_TESTS.test_quotient
1369
REAL_NUMBER_TESTS.test_real_from_double_value
1370
REAL_NUMBER_TESTS.test_real_from_value
1371
REAL_NUMBER_TESTS.test_reciprocal
1372
REAL_NUMBER_TESTS.test_relative_epsilon
1373
REAL_NUMBER_TESTS.test_sign
1374
REAL_NUMBER_TESTS.test_sign_bit
1375
REAL_NUMBER_TESTS.test_sign_bit_status
1376
REAL_NUMBER_TESTS.test_sqrt
1377
REAL_NUMBER_TESTS.test_square_root
1378
REAL_NUMBER_TESTS.test_three_way_comparison
1379
REAL_NUMBER_TESTS.test_truncated_to_integer
1380
REAL_NUMBER_TESTS.test_two
1381
REAL_NUMBER_TESTS.test_ulp
1382
REAL_NUMBER_TESTS.test_unequals
1383
REAL_NUMBER_TESTS.test_value
1384
REAL_NUMBER_TESTS.test_value_bit_pattern
1385
REAL_NUMBER_TESTS.test_value_is_finite
1386
REAL_NUMBER_TESTS.test_value_is_infinite
1387
REAL_NUMBER_TESTS.test_value_logb
1388
REAL_NUMBER_TESTS.test_value_sign_bit
1389
REAL_NUMBER_TESTS.test_zero
1390
REAL_SET_TESTS.test_anded
1391
REAL_SET_TESTS.test_any
1392
REAL_SET_TESTS.test_as_complex_set
1393
REAL_SET_TESTS.test_as_singleton
1394
REAL_SET_TESTS.test_as_tuple
1395
REAL_SET_TESTS.test_batch_extended
1396
REAL_SET_TESTS.test_cardinality
1397
REAL_SET_TESTS.test_closed_interval
1398
REAL_SET_TESTS.test_complement
1399
REAL_SET_TESTS.test_complemented
1400
REAL_SET_TESTS.test_complex_set_has_real_number
1401
REAL_SET_TESTS.test_conjunction
1402
REAL_SET_TESTS.test_converted
1403
REAL_SET_TESTS.test_converted_element
1404
REAL_SET_TESTS.test_crossed
1405
REAL_SET_TESTS.test_crossed_tuples
1406
REAL_SET_TESTS.test_diagonal
1407
REAL_SET_TESTS.test_disjunction
1408
REAL_SET_TESTS.test_does_not_exist
1409
REAL_SET_TESTS.test_does_not_exist_pair
1410
REAL_SET_TESTS.test_does_not_have
1411
REAL_SET_TESTS.test_element_is_in
1412
REAL_SET_TESTS.test_element_is_not_in
1413
REAL_SET_TESTS.test_empty_set
1414
REAL_SET_TESTS.test_eq
1415
REAL_SET_TESTS.test_equality_holds
1416
REAL_SET_TESTS.test_equals
1417
REAL_SET_TESTS.test_exists
1418
REAL_SET_TESTS.test_exists_distinct_pair
1419
REAL_SET_TESTS.test_exists_pair
1420
REAL_SET_TESTS.test_exists_unique
1421
REAL_SET_TESTS.test_extended
1422
REAL_SET_TESTS.test_filtered
1423
REAL_SET_TESTS.test_for_all
1424
REAL_SET_TESTS.test_for_all_distinct_pairs
1425
REAL_SET_TESTS.test_for_all_pairs
1426
REAL_SET_TESTS.test_has
1427
REAL_SET_TESTS.test_has_complex_number
1428
REAL_SET_TESTS.test_iff
1429
REAL_SET_TESTS.test_intersected
1430
REAL_SET_TESTS.test_intersects
1431
REAL_SET_TESTS.test_is_comparable
1432
REAL_SET_TESTS.test_is_disjoint
1433
REAL_SET_TESTS.test_is_empty
1434
REAL_SET_TESTS.test_is_in
1435
REAL_SET_TESTS.test_is_not_comparable
1436
REAL_SET_TESTS.test_is_not_in
1437
REAL_SET_TESTS.test_is_not_strict_subset
1438
REAL_SET_TESTS.test_is_not_strict_superset
1439
REAL_SET_TESTS.test_is_not_subset
1440
REAL_SET_TESTS.test_is_not_superset
1441
REAL_SET_TESTS.test_is_partitioned
1442
REAL_SET_TESTS.test_is_proper_subset
1443
REAL_SET_TESTS.test_is_proper_superset
1444
REAL_SET_TESTS.test_is_singleton
1445
REAL_SET_TESTS.test_is_strict_subset
1446
REAL_SET_TESTS.test_is_strict_superset
1447
REAL_SET_TESTS.test_is_subset
1448
REAL_SET_TESTS.test_is_superset
1449
REAL_SET_TESTS.test_is_trivial_subset
1450
REAL_SET_TESTS.test_is_trivial_superset
1451
REAL_SET_TESTS.test_left_closed_right_open_interval
1452
REAL_SET_TESTS.test_left_closed_right_unbounded_interval
1453
REAL_SET_TESTS.test_left_open_right_closed_interval
1454
REAL_SET_TESTS.test_left_open_right_unbounded_interval
1455
REAL_SET_TESTS.test_left_unbounded_right_closed_interval
1456
REAL_SET_TESTS.test_left_unbounded_right_open_interval
1457
REAL_SET_TESTS.test_make_empty
1458
REAL_SET_TESTS.test_make_extended
1459
REAL_SET_TESTS.test_make_from_numeric_set
1460
REAL_SET_TESTS.test_make_from_set
1461
REAL_SET_TESTS.test_make_singleton
1462
REAL_SET_TESTS.test_mapped
1463
REAL_SET_TESTS.test_max
1464
REAL_SET_TESTS.test_min
1465
REAL_SET_TESTS.test_n_times
1466
REAL_SET_TESTS.test_natural_as_integer
1467
REAL_SET_TESTS.test_natural_successor
1468
REAL_SET_TESTS.test_negative
1469
REAL_SET_TESTS.test_non_negative
1470
REAL_SET_TESTS.test_non_positive
1471
REAL_SET_TESTS.test_number_is_less
1472
REAL_SET_TESTS.test_number_is_less_equal
1473
REAL_SET_TESTS.test_numeric_batch_extended
1474
REAL_SET_TESTS.test_numeric_converted
1475
REAL_SET_TESTS.test_o
1476
REAL_SET_TESTS.test_open_interval
1477
REAL_SET_TESTS.test_ored
1478
REAL_SET_TESTS.test_others
1479
REAL_SET_TESTS.test_out
1480
REAL_SET_TESTS.test_pair
1481
REAL_SET_TESTS.test_positive
1482
REAL_SET_TESTS.test_powerset
1483
REAL_SET_TESTS.test_proper_reduced
1484
REAL_SET_TESTS.test_proper_subsets
1485
REAL_SET_TESTS.test_r
1486
REAL_SET_TESTS.test_raised
1487
REAL_SET_TESTS.test_real_universe
1488
REAL_SET_TESTS.test_reduced
1489
REAL_SET_TESTS.test_second_after_first
1490
REAL_SET_TESTS.test_sets_plus_same_sets_with_element
1491
REAL_SET_TESTS.test_singleton
1492
REAL_SET_TESTS.test_singleton_crossed_tuples
1493
REAL_SET_TESTS.test_squared
1494
REAL_SET_TESTS.test_subset_relation_holds
1495
REAL_SET_TESTS.test_subsets
1496
REAL_SET_TESTS.test_subtracted
1497
REAL_SET_TESTS.test_subtracted_symmetricaly
1498
REAL_SET_TESTS.test_trivial_subsets
1499
REAL_SET_TESTS.test_unbounded_interval
1500
REAL_SET_TESTS.test_unequals
1501
REAL_SET_TESTS.test_unit
1502
REAL_SET_TESTS.test_united
1503
REAL_SET_TESTS.test_with
1504
REAL_SET_TESTS.test_without
1505
REAL_SET_TESTS.test_without_zero
1506
REAL_SET_TESTS.test_xored
1507
REAL_SET_TESTS.test_zero
1508
REAL_UNIVERSE_TESTS.test_anded
1509
REAL_UNIVERSE_TESTS.test_any
1510
REAL_UNIVERSE_TESTS.test_as_complex_set
1511
REAL_UNIVERSE_TESTS.test_as_singleton
1512
REAL_UNIVERSE_TESTS.test_as_tuple
1513
REAL_UNIVERSE_TESTS.test_batch_extended
1514
REAL_UNIVERSE_TESTS.test_bit_pattern_interval
1515
REAL_UNIVERSE_TESTS.test_cardinality
1516
REAL_UNIVERSE_TESTS.test_closed_interval
1517
REAL_UNIVERSE_TESTS.test_complement
1518
REAL_UNIVERSE_TESTS.test_complemented
1519
REAL_UNIVERSE_TESTS.test_complex_set_has_real_number
1520
REAL_UNIVERSE_TESTS.test_conjunction
1521
REAL_UNIVERSE_TESTS.test_converted
1522
REAL_UNIVERSE_TESTS.test_converted_element
1523
REAL_UNIVERSE_TESTS.test_crossed
1524
REAL_UNIVERSE_TESTS.test_crossed_tuples
1525
REAL_UNIVERSE_TESTS.test_default_create
1526
REAL_UNIVERSE_TESTS.test_diagonal
1527
REAL_UNIVERSE_TESTS.test_disjunction
1528
REAL_UNIVERSE_TESTS.test_does_not_exist
1529
REAL_UNIVERSE_TESTS.test_does_not_exist_pair
1530
REAL_UNIVERSE_TESTS.test_does_not_have
1531
REAL_UNIVERSE_TESTS.test_element_is_in
1532
REAL_UNIVERSE_TESTS.test_element_is_not_in
1533
REAL_UNIVERSE_TESTS.test_empty_set
1534
REAL_UNIVERSE_TESTS.test_eq
1535
REAL_UNIVERSE_TESTS.test_equality_holds
1536
REAL_UNIVERSE_TESTS.test_equals
1537
REAL_UNIVERSE_TESTS.test_exists
1538
REAL_UNIVERSE_TESTS.test_exists_distinct_pair
1539
REAL_UNIVERSE_TESTS.test_exists_pair
1540
REAL_UNIVERSE_TESTS.test_exists_unique
1541
REAL_UNIVERSE_TESTS.test_extended
1542
REAL_UNIVERSE_TESTS.test_filtered
1543
REAL_UNIVERSE_TESTS.test_for_all
1544
REAL_UNIVERSE_TESTS.test_for_all_distinct_pairs
1545
REAL_UNIVERSE_TESTS.test_for_all_pairs
1546
REAL_UNIVERSE_TESTS.test_has
1547
REAL_UNIVERSE_TESTS.test_has_complex_number
1548
REAL_UNIVERSE_TESTS.test_iff
1549
REAL_UNIVERSE_TESTS.test_instance_free_cardinality
1550
REAL_UNIVERSE_TESTS.test_intersected
1551
REAL_UNIVERSE_TESTS.test_intersects
1552
REAL_UNIVERSE_TESTS.test_is_comparable
1553
REAL_UNIVERSE_TESTS.test_is_disjoint
1554
REAL_UNIVERSE_TESTS.test_is_empty
1555
REAL_UNIVERSE_TESTS.test_is_in
1556
REAL_UNIVERSE_TESTS.test_is_not_comparable
1557
REAL_UNIVERSE_TESTS.test_is_not_in
1558
REAL_UNIVERSE_TESTS.test_is_not_strict_subset
1559
REAL_UNIVERSE_TESTS.test_is_not_strict_superset
1560
REAL_UNIVERSE_TESTS.test_is_not_subset
1561
REAL_UNIVERSE_TESTS.test_is_not_superset
1562
REAL_UNIVERSE_TESTS.test_is_partitioned
1563
REAL_UNIVERSE_TESTS.test_is_proper_subset
1564
REAL_UNIVERSE_TESTS.test_is_proper_superset
1565
REAL_UNIVERSE_TESTS.test_is_singleton
1566
REAL_UNIVERSE_TESTS.test_is_strict_subset
1567
REAL_UNIVERSE_TESTS.test_is_strict_superset
1568
REAL_UNIVERSE_TESTS.test_is_subset
1569
REAL_UNIVERSE_TESTS.test_is_superset
1570
REAL_UNIVERSE_TESTS.test_is_trivial_subset
1571
REAL_UNIVERSE_TESTS.test_is_trivial_superset
1572
REAL_UNIVERSE_TESTS.test_left_closed_right_open_interval
1573
REAL_UNIVERSE_TESTS.test_left_closed_right_unbounded_interval
1574
REAL_UNIVERSE_TESTS.test_left_open_right_closed_interval
1575
REAL_UNIVERSE_TESTS.test_left_open_right_unbounded_interval
1576
REAL_UNIVERSE_TESTS.test_left_unbounded_right_closed_interval
1577
REAL_UNIVERSE_TESTS.test_left_unbounded_right_open_interval
1578
REAL_UNIVERSE_TESTS.test_make_empty
1579
REAL_UNIVERSE_TESTS.test_make_extended
1580
REAL_UNIVERSE_TESTS.test_make_from_numeric_set
1581
REAL_UNIVERSE_TESTS.test_make_from_set
1582
REAL_UNIVERSE_TESTS.test_make_from_universe
1583
REAL_UNIVERSE_TESTS.test_make_singleton
1584
REAL_UNIVERSE_TESTS.test_mapped
1585
REAL_UNIVERSE_TESTS.test_max
1586
REAL_UNIVERSE_TESTS.test_min
1587
REAL_UNIVERSE_TESTS.test_n_is_within_interval
1588
REAL_UNIVERSE_TESTS.test_n_times
1589
REAL_UNIVERSE_TESTS.test_natural_as_integer
1590
REAL_UNIVERSE_TESTS.test_natural_successor
1591
REAL_UNIVERSE_TESTS.test_negative
1592
REAL_UNIVERSE_TESTS.test_non_negative
1593
REAL_UNIVERSE_TESTS.test_non_positive
1594
REAL_UNIVERSE_TESTS.test_number_is_less
1595
REAL_UNIVERSE_TESTS.test_number_is_less_equal
1596
REAL_UNIVERSE_TESTS.test_numeric_batch_extended
1597
REAL_UNIVERSE_TESTS.test_numeric_converted
1598
REAL_UNIVERSE_TESTS.test_o
1599
REAL_UNIVERSE_TESTS.test_open_interval
1600
REAL_UNIVERSE_TESTS.test_ored
1601
REAL_UNIVERSE_TESTS.test_others
1602
REAL_UNIVERSE_TESTS.test_out
1603
REAL_UNIVERSE_TESTS.test_pair
1604
REAL_UNIVERSE_TESTS.test_positive
1605
REAL_UNIVERSE_TESTS.test_powerset
1606
REAL_UNIVERSE_TESTS.test_proper_reduced
1607
REAL_UNIVERSE_TESTS.test_proper_subsets
1608
REAL_UNIVERSE_TESTS.test_r
1609
REAL_UNIVERSE_TESTS.test_raised
1610
REAL_UNIVERSE_TESTS.test_real_from_bit_pattern
1611
REAL_UNIVERSE_TESTS.test_real_universe
1612
REAL_UNIVERSE_TESTS.test_reduced
1613
REAL_UNIVERSE_TESTS.test_second_after_first
1614
REAL_UNIVERSE_TESTS.test_sets_plus_same_sets_with_element
1615
REAL_UNIVERSE_TESTS.test_singleton
1616
REAL_UNIVERSE_TESTS.test_singleton_crossed_tuples
1617
REAL_UNIVERSE_TESTS.test_squared
1618
REAL_UNIVERSE_TESTS.test_subset_relation_holds
1619
REAL_UNIVERSE_TESTS.test_subsets
1620
REAL_UNIVERSE_TESTS.test_subtracted
1621
REAL_UNIVERSE_TESTS.test_subtracted_symmetricaly
1622
REAL_UNIVERSE_TESTS.test_trivial_subsets
1623
REAL_UNIVERSE_TESTS.test_unbounded_interval
1624
REAL_UNIVERSE_TESTS.test_unequals
1625
REAL_UNIVERSE_TESTS.test_unit
1626
REAL_UNIVERSE_TESTS.test_united
1627
REAL_UNIVERSE_TESTS.test_with
1628
REAL_UNIVERSE_TESTS.test_without
1629
REAL_UNIVERSE_TESTS.test_without_zero
1630
REAL_UNIVERSE_TESTS.test_xored
1631
REAL_UNIVERSE_TESTS.test_zero
1632
REFERENCE_EQUALITY_TESTS_C.test_holds
1633
REFERENCE_EQUALITY_TESTS_C.test_holds_successively
1634
REFERENCE_EQUALITY_TESTS_C.test_is_in
1635
REFERENCE_EQUALITY_TESTS_C.test_is_not_in
1636
SET_EQUALITY_TESTS_I.test_holds
1637
SET_EQUALITY_TESTS_I.test_holds_successively
1638
SET_EQUALITY_TESTS_I.test_is_in
1639
SET_EQUALITY_TESTS_I.test_is_not_in
1640
SET_FAMILY_TESTS_I.test_any
1641
SET_FAMILY_TESTS_I.test_as_singleton
1642
SET_FAMILY_TESTS_I.test_as_tuple
1643
SET_FAMILY_TESTS_I.test_batch_extended
1644
SET_FAMILY_TESTS_I.test_cardinality
1645
SET_FAMILY_TESTS_I.test_complemented
1646
SET_FAMILY_TESTS_I.test_conjunction
1647
SET_FAMILY_TESTS_I.test_converted
1648
SET_FAMILY_TESTS_I.test_converted_member_set
1649
SET_FAMILY_TESTS_I.test_crossed
1650
SET_FAMILY_TESTS_I.test_crossed_tuples
1651
SET_FAMILY_TESTS_I.test_diagonal
1652
SET_FAMILY_TESTS_I.test_disjunction
1653
SET_FAMILY_TESTS_I.test_does_not_exist
1654
SET_FAMILY_TESTS_I.test_does_not_exist_pair
1655
SET_FAMILY_TESTS_I.test_does_not_have
1656
SET_FAMILY_TESTS_I.test_element_is_in
1657
SET_FAMILY_TESTS_I.test_element_is_not_in
1658
SET_FAMILY_TESTS_I.test_empty_family
1659
SET_FAMILY_TESTS_I.test_empty_member_set
1660
SET_FAMILY_TESTS_I.test_eq
1661
SET_FAMILY_TESTS_I.test_equality_holds
1662
SET_FAMILY_TESTS_I.test_equals
1663
SET_FAMILY_TESTS_I.test_every_set_has
1664
SET_FAMILY_TESTS_I.test_exists
1665
SET_FAMILY_TESTS_I.test_exists_distinct_pair
1666
SET_FAMILY_TESTS_I.test_exists_pair
1667
SET_FAMILY_TESTS_I.test_exists_unique
1668
SET_FAMILY_TESTS_I.test_extended
1669
SET_FAMILY_TESTS_I.test_family_intersection
1670
SET_FAMILY_TESTS_I.test_family_union
1671
SET_FAMILY_TESTS_I.test_filtered
1672
SET_FAMILY_TESTS_I.test_for_all
1673
SET_FAMILY_TESTS_I.test_for_all_distinct_pairs
1674
SET_FAMILY_TESTS_I.test_for_all_pairs
1675
SET_FAMILY_TESTS_I.test_has
1676
SET_FAMILY_TESTS_I.test_iff
1677
SET_FAMILY_TESTS_I.test_intersected
1678
SET_FAMILY_TESTS_I.test_intersects
1679
SET_FAMILY_TESTS_I.test_is_comparable
1680
SET_FAMILY_TESTS_I.test_is_disjoint
1681
SET_FAMILY_TESTS_I.test_is_empty
1682
SET_FAMILY_TESTS_I.test_is_in
1683
SET_FAMILY_TESTS_I.test_is_not_comparable
1684
SET_FAMILY_TESTS_I.test_is_not_in
1685
SET_FAMILY_TESTS_I.test_is_not_strict_subset
1686
SET_FAMILY_TESTS_I.test_is_not_strict_superset
1687
SET_FAMILY_TESTS_I.test_is_not_subset
1688
SET_FAMILY_TESTS_I.test_is_not_superset
1689
SET_FAMILY_TESTS_I.test_is_partition
1690
SET_FAMILY_TESTS_I.test_is_partitioned
1691
SET_FAMILY_TESTS_I.test_is_proper_subset
1692
SET_FAMILY_TESTS_I.test_is_proper_superset
1693
SET_FAMILY_TESTS_I.test_is_singleton
1694
SET_FAMILY_TESTS_I.test_is_strict_subset
1695
SET_FAMILY_TESTS_I.test_is_strict_superset
1696
SET_FAMILY_TESTS_I.test_is_subset
1697
SET_FAMILY_TESTS_I.test_is_superset
1698
SET_FAMILY_TESTS_I.test_is_trivial_subset
1699
SET_FAMILY_TESTS_I.test_is_trivial_superset
1700
SET_FAMILY_TESTS_I.test_make_empty
1701
SET_FAMILY_TESTS_I.test_make_extended
1702
SET_FAMILY_TESTS_I.test_make_from_set
1703
SET_FAMILY_TESTS_I.test_make_singleton
1704
SET_FAMILY_TESTS_I.test_mapped
1705
SET_FAMILY_TESTS_I.test_member_sets_are_disjoint
1706
SET_FAMILY_TESTS_I.test_n_times
1707
SET_FAMILY_TESTS_I.test_natural_as_integer
1708
SET_FAMILY_TESTS_I.test_natural_successor
1709
SET_FAMILY_TESTS_I.test_o
1710
SET_FAMILY_TESTS_I.test_o_f
1711
SET_FAMILY_TESTS_I.test_ored
1712
SET_FAMILY_TESTS_I.test_others
1713
SET_FAMILY_TESTS_I.test_out
1714
SET_FAMILY_TESTS_I.test_pair
1715
SET_FAMILY_TESTS_I.test_powerset
1716
SET_FAMILY_TESTS_I.test_proper_reduced
1717
SET_FAMILY_TESTS_I.test_proper_subsets
1718
SET_FAMILY_TESTS_I.test_raised
1719
SET_FAMILY_TESTS_I.test_reduced
1720
SET_FAMILY_TESTS_I.test_second_after_first
1721
SET_FAMILY_TESTS_I.test_set_is_disjoint
1722
SET_FAMILY_TESTS_I.test_sets_are_disjoint
1723
SET_FAMILY_TESTS_I.test_sets_plus_same_sets_with_element
1724
SET_FAMILY_TESTS_I.test_singleton
1725
SET_FAMILY_TESTS_I.test_singleton_crossed_tuples
1726
SET_FAMILY_TESTS_I.test_some_set_has
1727
SET_FAMILY_TESTS_I.test_squared
1728
SET_FAMILY_TESTS_I.test_subset_relation_holds
1729
SET_FAMILY_TESTS_I.test_subsets
1730
SET_FAMILY_TESTS_I.test_subtracted
1731
SET_FAMILY_TESTS_I.test_subtracted_symmetricaly
1732
SET_FAMILY_TESTS_I.test_trivial_subsets
1733
SET_FAMILY_TESTS_I.test_unequals
1734
SET_FAMILY_TESTS_I.test_unit_f
1735
SET_FAMILY_TESTS_I.test_united
1736
SET_FAMILY_TESTS_I.test_with
1737
SET_FAMILY_TESTS_I.test_without
1738
SET_FAMILY_TESTS_I.test_xored
1739
SET_OF_ORDERED_PAIRS_TESTS_IC.test_any
1740
SET_OF_ORDERED_PAIRS_TESTS_IC.test_as_singleton
1741
SET_OF_ORDERED_PAIRS_TESTS_IC.test_as_tuple
1742
SET_OF_ORDERED_PAIRS_TESTS_IC.test_batch_extended
1743
SET_OF_ORDERED_PAIRS_TESTS_IC.test_cardinality
1744
SET_OF_ORDERED_PAIRS_TESTS_IC.test_complemented
1745
SET_OF_ORDERED_PAIRS_TESTS_IC.test_conjunction
1746
SET_OF_ORDERED_PAIRS_TESTS_IC.test_converted
1747
SET_OF_ORDERED_PAIRS_TESTS_IC.test_converted_pair
1748
SET_OF_ORDERED_PAIRS_TESTS_IC.test_crossed
1749
SET_OF_ORDERED_PAIRS_TESTS_IC.test_crossed_tuples
1750
SET_OF_ORDERED_PAIRS_TESTS_IC.test_diagonal
1751
SET_OF_ORDERED_PAIRS_TESTS_IC.test_disjunction
1752
SET_OF_ORDERED_PAIRS_TESTS_IC.test_do_not_exist_xy
1753
SET_OF_ORDERED_PAIRS_TESTS_IC.test_does_not_exist
1754
SET_OF_ORDERED_PAIRS_TESTS_IC.test_does_not_exist_pair
1755
SET_OF_ORDERED_PAIRS_TESTS_IC.test_does_not_have
1756
SET_OF_ORDERED_PAIRS_TESTS_IC.test_element_is_in
1757
SET_OF_ORDERED_PAIRS_TESTS_IC.test_element_is_not_in
1758
SET_OF_ORDERED_PAIRS_TESTS_IC.test_empty_set
1759
SET_OF_ORDERED_PAIRS_TESTS_IC.test_eq
1760
SET_OF_ORDERED_PAIRS_TESTS_IC.test_equality_holds
1761
SET_OF_ORDERED_PAIRS_TESTS_IC.test_equals
1762
SET_OF_ORDERED_PAIRS_TESTS_IC.test_exist_xy
1763
SET_OF_ORDERED_PAIRS_TESTS_IC.test_exists
1764
SET_OF_ORDERED_PAIRS_TESTS_IC.test_exists_distinct_pair
1765
SET_OF_ORDERED_PAIRS_TESTS_IC.test_exists_pair
1766
SET_OF_ORDERED_PAIRS_TESTS_IC.test_exists_unique
1767
SET_OF_ORDERED_PAIRS_TESTS_IC.test_extended
1768
SET_OF_ORDERED_PAIRS_TESTS_IC.test_filtered
1769
SET_OF_ORDERED_PAIRS_TESTS_IC.test_filtered_xy
1770
SET_OF_ORDERED_PAIRS_TESTS_IC.test_for_all
1771
SET_OF_ORDERED_PAIRS_TESTS_IC.test_for_all_distinct_pairs
1772
SET_OF_ORDERED_PAIRS_TESTS_IC.test_for_all_pairs
1773
SET_OF_ORDERED_PAIRS_TESTS_IC.test_for_all_xy
1774
SET_OF_ORDERED_PAIRS_TESTS_IC.test_has
1775
SET_OF_ORDERED_PAIRS_TESTS_IC.test_iff
1776
SET_OF_ORDERED_PAIRS_TESTS_IC.test_intersected
1777
SET_OF_ORDERED_PAIRS_TESTS_IC.test_intersects
1778
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_comparable
1779
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_disjoint
1780
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_empty
1781
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_in
1782
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_comparable
1783
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_in
1784
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_strict_subset
1785
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_strict_superset
1786
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_subset
1787
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_not_superset
1788
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_partitioned
1789
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_proper_subset
1790
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_proper_superset
1791
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_singleton
1792
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_strict_subset
1793
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_strict_superset
1794
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_subset
1795
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_superset
1796
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_trivial_subset
1797
SET_OF_ORDERED_PAIRS_TESTS_IC.test_is_trivial_superset
1798
SET_OF_ORDERED_PAIRS_TESTS_IC.test_make_empty
1799
SET_OF_ORDERED_PAIRS_TESTS_IC.test_make_extended
1800
SET_OF_ORDERED_PAIRS_TESTS_IC.test_make_from_set
1801
SET_OF_ORDERED_PAIRS_TESTS_IC.test_make_singleton
1802
SET_OF_ORDERED_PAIRS_TESTS_IC.test_mapped
1803
SET_OF_ORDERED_PAIRS_TESTS_IC.test_n_times
1804
SET_OF_ORDERED_PAIRS_TESTS_IC.test_natural_as_integer
1805
SET_OF_ORDERED_PAIRS_TESTS_IC.test_natural_successor
1806
SET_OF_ORDERED_PAIRS_TESTS_IC.test_o
1807
SET_OF_ORDERED_PAIRS_TESTS_IC.test_ored
1808
SET_OF_ORDERED_PAIRS_TESTS_IC.test_others
1809
SET_OF_ORDERED_PAIRS_TESTS_IC.test_out
1810
SET_OF_ORDERED_PAIRS_TESTS_IC.test_pair
1811
SET_OF_ORDERED_PAIRS_TESTS_IC.test_powerset
1812
SET_OF_ORDERED_PAIRS_TESTS_IC.test_predicate_holds_to_xy
1813
SET_OF_ORDERED_PAIRS_TESTS_IC.test_proper_reduced
1814
SET_OF_ORDERED_PAIRS_TESTS_IC.test_proper_subsets
1815
SET_OF_ORDERED_PAIRS_TESTS_IC.test_raised
1816
SET_OF_ORDERED_PAIRS_TESTS_IC.test_reduced
1817
SET_OF_ORDERED_PAIRS_TESTS_IC.test_second_after_first
1818
SET_OF_ORDERED_PAIRS_TESTS_IC.test_sets_plus_same_sets_with_element
1819
SET_OF_ORDERED_PAIRS_TESTS_IC.test_singleton
1820
SET_OF_ORDERED_PAIRS_TESTS_IC.test_singleton_crossed_tuples
1821
SET_OF_ORDERED_PAIRS_TESTS_IC.test_squared
1822
SET_OF_ORDERED_PAIRS_TESTS_IC.test_subset_relation_holds
1823
SET_OF_ORDERED_PAIRS_TESTS_IC.test_subsets
1824
SET_OF_ORDERED_PAIRS_TESTS_IC.test_subtracted
1825
SET_OF_ORDERED_PAIRS_TESTS_IC.test_subtracted_symmetricaly
1826
SET_OF_ORDERED_PAIRS_TESTS_IC.test_trivial_subsets
1827
SET_OF_ORDERED_PAIRS_TESTS_IC.test_unequals
1828
SET_OF_ORDERED_PAIRS_TESTS_IC.test_unit
1829
SET_OF_ORDERED_PAIRS_TESTS_IC.test_united
1830
SET_OF_ORDERED_PAIRS_TESTS_IC.test_with
1831
SET_OF_ORDERED_PAIRS_TESTS_IC.test_without
1832
SET_OF_ORDERED_PAIRS_TESTS_IC.test_xored
1833
SET_PARTITION_TESTS_I.test_any
1834
SET_PARTITION_TESTS_I.test_as_singleton
1835
SET_PARTITION_TESTS_I.test_as_tuple
1836
SET_PARTITION_TESTS_I.test_batch_extended
1837
SET_PARTITION_TESTS_I.test_cardinality
1838
SET_PARTITION_TESTS_I.test_complemented
1839
SET_PARTITION_TESTS_I.test_conjunction
1840
SET_PARTITION_TESTS_I.test_converted
1841
SET_PARTITION_TESTS_I.test_converted_member_set
1842
SET_PARTITION_TESTS_I.test_crossed
1843
SET_PARTITION_TESTS_I.test_crossed_tuples
1844
SET_PARTITION_TESTS_I.test_diagonal
1845
SET_PARTITION_TESTS_I.test_disjunction
1846
SET_PARTITION_TESTS_I.test_does_not_exist
1847
SET_PARTITION_TESTS_I.test_does_not_exist_pair
1848
SET_PARTITION_TESTS_I.test_does_not_have
1849
SET_PARTITION_TESTS_I.test_element_is_in
1850
SET_PARTITION_TESTS_I.test_element_is_not_in
1851
SET_PARTITION_TESTS_I.test_empty_member_set
1852
SET_PARTITION_TESTS_I.test_empty_partition
1853
SET_PARTITION_TESTS_I.test_eq
1854
SET_PARTITION_TESTS_I.test_equality_holds
1855
SET_PARTITION_TESTS_I.test_equals
1856
SET_PARTITION_TESTS_I.test_every_set_has
1857
SET_PARTITION_TESTS_I.test_exists
1858
SET_PARTITION_TESTS_I.test_exists_distinct_pair
1859
SET_PARTITION_TESTS_I.test_exists_pair
1860
SET_PARTITION_TESTS_I.test_exists_unique
1861
SET_PARTITION_TESTS_I.test_extended
1862
SET_PARTITION_TESTS_I.test_family_batch_extended
1863
SET_PARTITION_TESTS_I.test_family_converted
1864
SET_PARTITION_TESTS_I.test_family_extended
1865
SET_PARTITION_TESTS_I.test_family_make_extended
1866
SET_PARTITION_TESTS_I.test_family_make_from_set
1867
SET_PARTITION_TESTS_I.test_family_make_singleton
1868
SET_PARTITION_TESTS_I.test_family_with
1869
SET_PARTITION_TESTS_I.test_filtered
1870
SET_PARTITION_TESTS_I.test_for_all
1871
SET_PARTITION_TESTS_I.test_for_all_distinct_pairs
1872
SET_PARTITION_TESTS_I.test_for_all_pairs
1873
SET_PARTITION_TESTS_I.test_has
1874
SET_PARTITION_TESTS_I.test_iff
1875
SET_PARTITION_TESTS_I.test_intersected
1876
SET_PARTITION_TESTS_I.test_intersects
1877
SET_PARTITION_TESTS_I.test_is_comparable
1878
SET_PARTITION_TESTS_I.test_is_disjoint
1879
SET_PARTITION_TESTS_I.test_is_empty
1880
SET_PARTITION_TESTS_I.test_is_in
1881
SET_PARTITION_TESTS_I.test_is_not_comparable
1882
SET_PARTITION_TESTS_I.test_is_not_in
1883
SET_PARTITION_TESTS_I.test_is_not_strict_subset
1884
SET_PARTITION_TESTS_I.test_is_not_strict_superset
1885
SET_PARTITION_TESTS_I.test_is_not_subset
1886
SET_PARTITION_TESTS_I.test_is_not_superset
1887
SET_PARTITION_TESTS_I.test_is_partition
1888
SET_PARTITION_TESTS_I.test_is_partitioned
1889
SET_PARTITION_TESTS_I.test_is_proper_subset
1890
SET_PARTITION_TESTS_I.test_is_proper_superset
1891
SET_PARTITION_TESTS_I.test_is_singleton
1892
SET_PARTITION_TESTS_I.test_is_strict_subset
1893
SET_PARTITION_TESTS_I.test_is_strict_superset
1894
SET_PARTITION_TESTS_I.test_is_subset
1895
SET_PARTITION_TESTS_I.test_is_superset
1896
SET_PARTITION_TESTS_I.test_is_trivial_subset
1897
SET_PARTITION_TESTS_I.test_is_trivial_superset
1898
SET_PARTITION_TESTS_I.test_make_empty
1899
SET_PARTITION_TESTS_I.test_make_extended
1900
SET_PARTITION_TESTS_I.test_make_from_partition
1901
SET_PARTITION_TESTS_I.test_make_singleton
1902
SET_PARTITION_TESTS_I.test_mapped
1903
SET_PARTITION_TESTS_I.test_member_sets_are_disjoint
1904
SET_PARTITION_TESTS_I.test_n_times
1905
SET_PARTITION_TESTS_I.test_natural_as_integer
1906
SET_PARTITION_TESTS_I.test_natural_successor
1907
SET_PARTITION_TESTS_I.test_o
1908
SET_PARTITION_TESTS_I.test_o_p
1909
SET_PARTITION_TESTS_I.test_ored
1910
SET_PARTITION_TESTS_I.test_others
1911
SET_PARTITION_TESTS_I.test_out
1912
SET_PARTITION_TESTS_I.test_pair
1913
SET_PARTITION_TESTS_I.test_partition_intersection
1914
SET_PARTITION_TESTS_I.test_partition_union
1915
SET_PARTITION_TESTS_I.test_powerset
1916
SET_PARTITION_TESTS_I.test_proper_reduced
1917
SET_PARTITION_TESTS_I.test_proper_subsets
1918
SET_PARTITION_TESTS_I.test_raised
1919
SET_PARTITION_TESTS_I.test_reduced
1920
SET_PARTITION_TESTS_I.test_second_after_first
1921
SET_PARTITION_TESTS_I.test_set_is_disjoint
1922
SET_PARTITION_TESTS_I.test_sets_are_disjoint
1923
SET_PARTITION_TESTS_I.test_sets_plus_same_sets_with_element
1924
SET_PARTITION_TESTS_I.test_singleton
1925
SET_PARTITION_TESTS_I.test_singleton_crossed_tuples
1926
SET_PARTITION_TESTS_I.test_some_set_has
1927
SET_PARTITION_TESTS_I.test_squared
1928
SET_PARTITION_TESTS_I.test_subset_relation_holds
1929
SET_PARTITION_TESTS_I.test_subsets
1930
SET_PARTITION_TESTS_I.test_subtracted
1931
SET_PARTITION_TESTS_I.test_subtracted_symmetricaly
1932
SET_PARTITION_TESTS_I.test_trivial_subsets
1933
SET_PARTITION_TESTS_I.test_unequals
1934
SET_PARTITION_TESTS_I.test_unit_p
1935
SET_PARTITION_TESTS_I.test_united
1936
SET_PARTITION_TESTS_I.test_with
1937
SET_PARTITION_TESTS_I.test_without
1938
SET_PARTITION_TESTS_I.test_xored
1939
SET_TESTS_C.test_any
1940
SET_TESTS_C.test_as_singleton
1941
SET_TESTS_C.test_as_tuple
1942
SET_TESTS_C.test_batch_extended
1943
SET_TESTS_C.test_cardinality
1944
SET_TESTS_C.test_complemented
1945
SET_TESTS_C.test_conjunction
1946
SET_TESTS_C.test_converted
1947
SET_TESTS_C.test_converted_element
1948
SET_TESTS_C.test_crossed
1949
SET_TESTS_C.test_crossed_tuples
1950
SET_TESTS_C.test_diagonal
1951
SET_TESTS_C.test_disjunction
1952
SET_TESTS_C.test_does_not_exist
1953
SET_TESTS_C.test_does_not_exist_pair
1954
SET_TESTS_C.test_does_not_have
1955
SET_TESTS_C.test_element_is_in
1956
SET_TESTS_C.test_element_is_not_in
1957
SET_TESTS_C.test_empty_set
1959
SET_TESTS_C.test_equality_holds
1960
SET_TESTS_C.test_equals
1961
SET_TESTS_C.test_exists
1962
SET_TESTS_C.test_exists_distinct_pair
1963
SET_TESTS_C.test_exists_pair
1964
SET_TESTS_C.test_exists_unique
1965
SET_TESTS_C.test_extended
1966
SET_TESTS_C.test_filtered
1967
SET_TESTS_C.test_for_all
1968
SET_TESTS_C.test_for_all_distinct_pairs
1969
SET_TESTS_C.test_for_all_pairs
1970
SET_TESTS_C.test_has
1971
SET_TESTS_C.test_iff
1972
SET_TESTS_C.test_intersected
1973
SET_TESTS_C.test_intersects
1974
SET_TESTS_C.test_is_comparable
1975
SET_TESTS_C.test_is_disjoint
1976
SET_TESTS_C.test_is_empty
1977
SET_TESTS_C.test_is_in
1978
SET_TESTS_C.test_is_not_comparable
1979
SET_TESTS_C.test_is_not_in
1980
SET_TESTS_C.test_is_not_strict_subset
1981
SET_TESTS_C.test_is_not_strict_superset
1982
SET_TESTS_C.test_is_not_subset
1983
SET_TESTS_C.test_is_not_superset
1984
SET_TESTS_C.test_is_partitioned
1985
SET_TESTS_C.test_is_proper_subset
1986
SET_TESTS_C.test_is_proper_superset
1987
SET_TESTS_C.test_is_singleton
1988
SET_TESTS_C.test_is_strict_subset
1989
SET_TESTS_C.test_is_strict_superset
1990
SET_TESTS_C.test_is_subset
1991
SET_TESTS_C.test_is_superset
1992
SET_TESTS_C.test_is_trivial_subset
1993
SET_TESTS_C.test_is_trivial_superset
1994
SET_TESTS_C.test_make_empty
1995
SET_TESTS_C.test_make_extended
1996
SET_TESTS_C.test_make_from_set
1997
SET_TESTS_C.test_make_singleton
1998
SET_TESTS_C.test_mapped
1999
SET_TESTS_C.test_n_times
2000
SET_TESTS_C.test_natural_as_integer
2001
SET_TESTS_C.test_natural_successor
2003
SET_TESTS_C.test_ored
2004
SET_TESTS_C.test_others
2005
SET_TESTS_C.test_out
2006
SET_TESTS_C.test_pair
2007
SET_TESTS_C.test_powerset
2008
SET_TESTS_C.test_proper_reduced
2009
SET_TESTS_C.test_proper_subsets
2010
SET_TESTS_C.test_raised
2011
SET_TESTS_C.test_reduced
2012
SET_TESTS_C.test_second_after_first
2013
SET_TESTS_C.test_sets_plus_same_sets_with_element
2014
SET_TESTS_C.test_singleton
2015
SET_TESTS_C.test_singleton_crossed_tuples
2016
SET_TESTS_C.test_squared
2017
SET_TESTS_C.test_subset_relation_holds
2018
SET_TESTS_C.test_subsets
2019
SET_TESTS_C.test_subtracted
2020
SET_TESTS_C.test_subtracted_symmetricaly
2021
SET_TESTS_C.test_trivial_subsets
2022
SET_TESTS_C.test_unequals
2023
SET_TESTS_C.test_unit
2024
SET_TESTS_C.test_united
2025
SET_TESTS_C.test_with
2026
SET_TESTS_C.test_without
2027
SET_TESTS_C.test_xored
2028
SET_TESTS_I.test_any
2029
SET_TESTS_I.test_as_singleton
2030
SET_TESTS_I.test_as_tuple
2031
SET_TESTS_I.test_batch_extended
2032
SET_TESTS_I.test_cardinality
2033
SET_TESTS_I.test_complemented
2034
SET_TESTS_I.test_conjunction
2035
SET_TESTS_I.test_converted
2036
SET_TESTS_I.test_converted_element
2037
SET_TESTS_I.test_crossed
2038
SET_TESTS_I.test_crossed_tuples
2039
SET_TESTS_I.test_diagonal
2040
SET_TESTS_I.test_disjunction
2041
SET_TESTS_I.test_does_not_exist
2042
SET_TESTS_I.test_does_not_exist_pair
2043
SET_TESTS_I.test_does_not_have
2044
SET_TESTS_I.test_element_is_in
2045
SET_TESTS_I.test_element_is_not_in
2046
SET_TESTS_I.test_empty_set
2048
SET_TESTS_I.test_equality_holds
2049
SET_TESTS_I.test_equals
2050
SET_TESTS_I.test_exists
2051
SET_TESTS_I.test_exists_distinct_pair
2052
SET_TESTS_I.test_exists_pair
2053
SET_TESTS_I.test_exists_unique
2054
SET_TESTS_I.test_extended
2055
SET_TESTS_I.test_filtered
2056
SET_TESTS_I.test_for_all
2057
SET_TESTS_I.test_for_all_distinct_pairs
2058
SET_TESTS_I.test_for_all_pairs
2059
SET_TESTS_I.test_has
2060
SET_TESTS_I.test_iff
2061
SET_TESTS_I.test_intersected
2062
SET_TESTS_I.test_intersects
2063
SET_TESTS_I.test_is_comparable
2064
SET_TESTS_I.test_is_disjoint
2065
SET_TESTS_I.test_is_empty
2066
SET_TESTS_I.test_is_in
2067
SET_TESTS_I.test_is_not_comparable
2068
SET_TESTS_I.test_is_not_in
2069
SET_TESTS_I.test_is_not_strict_subset
2070
SET_TESTS_I.test_is_not_strict_superset
2071
SET_TESTS_I.test_is_not_subset
2072
SET_TESTS_I.test_is_not_superset
2073
SET_TESTS_I.test_is_partitioned
2074
SET_TESTS_I.test_is_proper_subset
2075
SET_TESTS_I.test_is_proper_superset
2076
SET_TESTS_I.test_is_singleton
2077
SET_TESTS_I.test_is_strict_subset
2078
SET_TESTS_I.test_is_strict_superset
2079
SET_TESTS_I.test_is_subset
2080
SET_TESTS_I.test_is_superset
2081
SET_TESTS_I.test_is_trivial_subset
2082
SET_TESTS_I.test_is_trivial_superset
2083
SET_TESTS_I.test_make_empty
2084
SET_TESTS_I.test_make_extended
2085
SET_TESTS_I.test_make_from_set
2086
SET_TESTS_I.test_make_singleton
2087
SET_TESTS_I.test_mapped
2088
SET_TESTS_I.test_n_times
2089
SET_TESTS_I.test_natural_as_integer
2090
SET_TESTS_I.test_natural_successor
2092
SET_TESTS_I.test_ored
2093
SET_TESTS_I.test_others
2094
SET_TESTS_I.test_out
2095
SET_TESTS_I.test_pair
2096
SET_TESTS_I.test_powerset
2097
SET_TESTS_I.test_proper_reduced
2098
SET_TESTS_I.test_proper_subsets
2099
SET_TESTS_I.test_raised
2100
SET_TESTS_I.test_reduced
2101
SET_TESTS_I.test_second_after_first
2102
SET_TESTS_I.test_sets_plus_same_sets_with_element
2103
SET_TESTS_I.test_singleton
2104
SET_TESTS_I.test_singleton_crossed_tuples
2105
SET_TESTS_I.test_squared
2106
SET_TESTS_I.test_subset_relation_holds
2107
SET_TESTS_I.test_subsets
2108
SET_TESTS_I.test_subtracted
2109
SET_TESTS_I.test_subtracted_symmetricaly
2110
SET_TESTS_I.test_trivial_subsets
2111
SET_TESTS_I.test_unequals
2112
SET_TESTS_I.test_unit
2113
SET_TESTS_I.test_united
2114
SET_TESTS_I.test_with
2115
SET_TESTS_I.test_without
2116
SET_TESTS_I.test_xored
2117
SET_TESTS_N.test_any
2118
SET_TESTS_N.test_as_singleton
2119
SET_TESTS_N.test_as_tuple
2120
SET_TESTS_N.test_batch_extended
2121
SET_TESTS_N.test_cardinality
2122
SET_TESTS_N.test_complemented
2123
SET_TESTS_N.test_conjunction
2124
SET_TESTS_N.test_converted
2125
SET_TESTS_N.test_converted_element
2126
SET_TESTS_N.test_crossed
2127
SET_TESTS_N.test_crossed_tuples
2128
SET_TESTS_N.test_diagonal
2129
SET_TESTS_N.test_disjunction
2130
SET_TESTS_N.test_does_not_exist
2131
SET_TESTS_N.test_does_not_exist_pair
2132
SET_TESTS_N.test_does_not_have
2133
SET_TESTS_N.test_element_is_in
2134
SET_TESTS_N.test_element_is_not_in
2135
SET_TESTS_N.test_empty_set
2137
SET_TESTS_N.test_equality_holds
2138
SET_TESTS_N.test_equals
2139
SET_TESTS_N.test_exists
2140
SET_TESTS_N.test_exists_distinct_pair
2141
SET_TESTS_N.test_exists_pair
2142
SET_TESTS_N.test_exists_unique
2143
SET_TESTS_N.test_extended
2144
SET_TESTS_N.test_filtered
2145
SET_TESTS_N.test_for_all
2146
SET_TESTS_N.test_for_all_distinct_pairs
2147
SET_TESTS_N.test_for_all_pairs
2148
SET_TESTS_N.test_has
2149
SET_TESTS_N.test_iff
2150
SET_TESTS_N.test_intersected
2151
SET_TESTS_N.test_intersects
2152
SET_TESTS_N.test_is_comparable
2153
SET_TESTS_N.test_is_disjoint
2154
SET_TESTS_N.test_is_empty
2155
SET_TESTS_N.test_is_in
2156
SET_TESTS_N.test_is_not_comparable
2157
SET_TESTS_N.test_is_not_in
2158
SET_TESTS_N.test_is_not_strict_subset
2159
SET_TESTS_N.test_is_not_strict_superset
2160
SET_TESTS_N.test_is_not_subset
2161
SET_TESTS_N.test_is_not_superset
2162
SET_TESTS_N.test_is_partitioned
2163
SET_TESTS_N.test_is_proper_subset
2164
SET_TESTS_N.test_is_proper_superset
2165
SET_TESTS_N.test_is_singleton
2166
SET_TESTS_N.test_is_strict_subset
2167
SET_TESTS_N.test_is_strict_superset
2168
SET_TESTS_N.test_is_subset
2169
SET_TESTS_N.test_is_superset
2170
SET_TESTS_N.test_is_trivial_subset
2171
SET_TESTS_N.test_is_trivial_superset
2172
SET_TESTS_N.test_make_empty
2173
SET_TESTS_N.test_make_extended
2174
SET_TESTS_N.test_make_from_set
2175
SET_TESTS_N.test_make_singleton
2176
SET_TESTS_N.test_mapped
2177
SET_TESTS_N.test_n_times
2178
SET_TESTS_N.test_natural_as_integer
2179
SET_TESTS_N.test_natural_successor
2181
SET_TESTS_N.test_ored
2182
SET_TESTS_N.test_others
2183
SET_TESTS_N.test_out
2184
SET_TESTS_N.test_pair
2185
SET_TESTS_N.test_powerset
2186
SET_TESTS_N.test_proper_reduced
2187
SET_TESTS_N.test_proper_subsets
2188
SET_TESTS_N.test_raised
2189
SET_TESTS_N.test_reduced
2190
SET_TESTS_N.test_second_after_first
2191
SET_TESTS_N.test_sets_plus_same_sets_with_element
2192
SET_TESTS_N.test_singleton
2193
SET_TESTS_N.test_singleton_crossed_tuples
2194
SET_TESTS_N.test_squared
2195
SET_TESTS_N.test_subset_relation_holds
2196
SET_TESTS_N.test_subsets
2197
SET_TESTS_N.test_subtracted
2198
SET_TESTS_N.test_subtracted_symmetricaly
2199
SET_TESTS_N.test_trivial_subsets
2200
SET_TESTS_N.test_unequals
2201
SET_TESTS_N.test_unit
2202
SET_TESTS_N.test_united
2203
SET_TESTS_N.test_with
2204
SET_TESTS_N.test_without
2205
SET_TESTS_N.test_xored
2206
SET_TESTS_UNARY_TI.test_any
2207
SET_TESTS_UNARY_TI.test_as_singleton
2208
SET_TESTS_UNARY_TI.test_as_tuple
2209
SET_TESTS_UNARY_TI.test_batch_extended
2210
SET_TESTS_UNARY_TI.test_cardinality
2211
SET_TESTS_UNARY_TI.test_complemented
2212
SET_TESTS_UNARY_TI.test_conjunction
2213
SET_TESTS_UNARY_TI.test_converted
2214
SET_TESTS_UNARY_TI.test_converted_element
2215
SET_TESTS_UNARY_TI.test_crossed
2216
SET_TESTS_UNARY_TI.test_crossed_tuples
2217
SET_TESTS_UNARY_TI.test_diagonal
2218
SET_TESTS_UNARY_TI.test_disjunction
2219
SET_TESTS_UNARY_TI.test_does_not_exist
2220
SET_TESTS_UNARY_TI.test_does_not_exist_pair
2221
SET_TESTS_UNARY_TI.test_does_not_have
2222
SET_TESTS_UNARY_TI.test_element_is_in
2223
SET_TESTS_UNARY_TI.test_element_is_not_in
2224
SET_TESTS_UNARY_TI.test_empty_set
2225
SET_TESTS_UNARY_TI.test_eq
2226
SET_TESTS_UNARY_TI.test_equality_holds
2227
SET_TESTS_UNARY_TI.test_equals
2228
SET_TESTS_UNARY_TI.test_exists
2229
SET_TESTS_UNARY_TI.test_exists_distinct_pair
2230
SET_TESTS_UNARY_TI.test_exists_pair
2231
SET_TESTS_UNARY_TI.test_exists_unique
2232
SET_TESTS_UNARY_TI.test_extended
2233
SET_TESTS_UNARY_TI.test_filtered
2234
SET_TESTS_UNARY_TI.test_for_all
2235
SET_TESTS_UNARY_TI.test_for_all_distinct_pairs
2236
SET_TESTS_UNARY_TI.test_for_all_pairs
2237
SET_TESTS_UNARY_TI.test_has
2238
SET_TESTS_UNARY_TI.test_iff
2239
SET_TESTS_UNARY_TI.test_intersected
2240
SET_TESTS_UNARY_TI.test_intersects
2241
SET_TESTS_UNARY_TI.test_is_comparable
2242
SET_TESTS_UNARY_TI.test_is_disjoint
2243
SET_TESTS_UNARY_TI.test_is_empty
2244
SET_TESTS_UNARY_TI.test_is_in
2245
SET_TESTS_UNARY_TI.test_is_not_comparable
2246
SET_TESTS_UNARY_TI.test_is_not_in
2247
SET_TESTS_UNARY_TI.test_is_not_strict_subset
2248
SET_TESTS_UNARY_TI.test_is_not_strict_superset
2249
SET_TESTS_UNARY_TI.test_is_not_subset
2250
SET_TESTS_UNARY_TI.test_is_not_superset
2251
SET_TESTS_UNARY_TI.test_is_partitioned
2252
SET_TESTS_UNARY_TI.test_is_proper_subset
2253
SET_TESTS_UNARY_TI.test_is_proper_superset
2254
SET_TESTS_UNARY_TI.test_is_singleton
2255
SET_TESTS_UNARY_TI.test_is_strict_subset
2256
SET_TESTS_UNARY_TI.test_is_strict_superset
2257
SET_TESTS_UNARY_TI.test_is_subset
2258
SET_TESTS_UNARY_TI.test_is_superset
2259
SET_TESTS_UNARY_TI.test_is_trivial_subset
2260
SET_TESTS_UNARY_TI.test_is_trivial_superset
2261
SET_TESTS_UNARY_TI.test_make_empty
2262
SET_TESTS_UNARY_TI.test_make_extended
2263
SET_TESTS_UNARY_TI.test_make_from_set
2264
SET_TESTS_UNARY_TI.test_make_singleton
2265
SET_TESTS_UNARY_TI.test_mapped
2266
SET_TESTS_UNARY_TI.test_n_times
2267
SET_TESTS_UNARY_TI.test_natural_as_integer
2268
SET_TESTS_UNARY_TI.test_natural_successor
2269
SET_TESTS_UNARY_TI.test_o
2270
SET_TESTS_UNARY_TI.test_ored
2271
SET_TESTS_UNARY_TI.test_others
2272
SET_TESTS_UNARY_TI.test_out
2273
SET_TESTS_UNARY_TI.test_pair
2274
SET_TESTS_UNARY_TI.test_powerset
2275
SET_TESTS_UNARY_TI.test_proper_reduced
2276
SET_TESTS_UNARY_TI.test_proper_subsets
2277
SET_TESTS_UNARY_TI.test_raised
2278
SET_TESTS_UNARY_TI.test_reduced
2279
SET_TESTS_UNARY_TI.test_second_after_first
2280
SET_TESTS_UNARY_TI.test_sets_plus_same_sets_with_element
2281
SET_TESTS_UNARY_TI.test_singleton
2282
SET_TESTS_UNARY_TI.test_singleton_crossed_tuples
2283
SET_TESTS_UNARY_TI.test_squared
2284
SET_TESTS_UNARY_TI.test_subset_relation_holds
2285
SET_TESTS_UNARY_TI.test_subsets
2286
SET_TESTS_UNARY_TI.test_subtracted
2287
SET_TESTS_UNARY_TI.test_subtracted_symmetricaly
2288
SET_TESTS_UNARY_TI.test_trivial_subsets
2289
SET_TESTS_UNARY_TI.test_unequals
2290
SET_TESTS_UNARY_TI.test_unit
2291
SET_TESTS_UNARY_TI.test_united
2292
SET_TESTS_UNARY_TI.test_with
2293
SET_TESTS_UNARY_TI.test_without
2294
SET_TESTS_UNARY_TI.test_xored
2295
SET_TUPLE_TESTS_I.test_after
2296
SET_TUPLE_TESTS_I.test_appending_set_out
2297
SET_TUPLE_TESTS_I.test_as_singleton
2298
SET_TUPLE_TESTS_I.test_before
2299
SET_TUPLE_TESTS_I.test_concatenated
2300
SET_TUPLE_TESTS_I.test_converted
2301
SET_TUPLE_TESTS_I.test_converted_set
2302
SET_TUPLE_TESTS_I.test_converted_sets
2303
SET_TUPLE_TESTS_I.test_does_not_exist
2304
SET_TUPLE_TESTS_I.test_does_not_have
2305
SET_TUPLE_TESTS_I.test_element_is_in
2306
SET_TUPLE_TESTS_I.test_element_is_not_in
2307
SET_TUPLE_TESTS_I.test_empty_set
2308
SET_TUPLE_TESTS_I.test_eq
2309
SET_TUPLE_TESTS_I.test_equals
2310
SET_TUPLE_TESTS_I.test_exists
2311
SET_TUPLE_TESTS_I.test_first
2312
SET_TUPLE_TESTS_I.test_first_tail
2313
SET_TUPLE_TESTS_I.test_for_all
2314
SET_TUPLE_TESTS_I.test_for_all_tuples
2315
SET_TUPLE_TESTS_I.test_front
2316
SET_TUPLE_TESTS_I.test_front_last
2317
SET_TUPLE_TESTS_I.test_has
2318
SET_TUPLE_TESTS_I.test_index_is_less_equal
2319
SET_TUPLE_TESTS_I.test_index_is_positive
2320
SET_TUPLE_TESTS_I.test_indexed_left_reduced
2321
SET_TUPLE_TESTS_I.test_indexed_right_reduced
2322
SET_TUPLE_TESTS_I.test_indexed_set
2323
SET_TUPLE_TESTS_I.test_indices
2324
SET_TUPLE_TESTS_I.test_is_in
2325
SET_TUPLE_TESTS_I.test_is_not_in
2326
SET_TUPLE_TESTS_I.test_is_unit
2327
SET_TUPLE_TESTS_I.test_just_index
2328
SET_TUPLE_TESTS_I.test_last
2329
SET_TUPLE_TESTS_I.test_left_reduced
2330
SET_TUPLE_TESTS_I.test_left_trimmed
2331
SET_TUPLE_TESTS_I.test_make_after
2332
SET_TUPLE_TESTS_I.test_make_from_tuple
2333
SET_TUPLE_TESTS_I.test_make_n
2334
SET_TUPLE_TESTS_I.test_make_unit
2335
SET_TUPLE_TESTS_I.test_mapped
2336
SET_TUPLE_TESTS_I.test_n
2337
SET_TUPLE_TESTS_I.test_n_ary_intersection
2338
SET_TUPLE_TESTS_I.test_n_ary_product
2339
SET_TUPLE_TESTS_I.test_n_ary_union
2340
SET_TUPLE_TESTS_I.test_natural_as_integer
2341
SET_TUPLE_TESTS_I.test_negated
2342
SET_TUPLE_TESTS_I.test_o
2343
SET_TUPLE_TESTS_I.test_out
2344
SET_TUPLE_TESTS_I.test_predicate_holds_to_set
2345
SET_TUPLE_TESTS_I.test_prefix
2346
SET_TUPLE_TESTS_I.test_proper_left_reduced
2347
SET_TUPLE_TESTS_I.test_proper_right_reduced
2348
SET_TUPLE_TESTS_I.test_replacing
2349
SET_TUPLE_TESTS_I.test_reversed
2350
SET_TUPLE_TESTS_I.test_reversed_sets_are_equal
2351
SET_TUPLE_TESTS_I.test_right_reduced
2352
SET_TUPLE_TESTS_I.test_right_trimmed
2353
SET_TUPLE_TESTS_I.test_set
2354
SET_TUPLE_TESTS_I.test_set_out
2355
SET_TUPLE_TESTS_I.test_sets
2356
SET_TUPLE_TESTS_I.test_sets_are_equal
2357
SET_TUPLE_TESTS_I.test_sets_out
2358
SET_TUPLE_TESTS_I.test_suffix
2359
SET_TUPLE_TESTS_I.test_tail
2360
SET_TUPLE_TESTS_I.test_unequals
2361
SET_TUPLE_TESTS_I.test_unit
2362
SET_TUPLE_TESTS_I.test_unit_s
2363
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_as_singleton
2364
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_composed_with_homogeneous
2365
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_composed_with_inverse_like
2366
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_element_is_in
2367
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_element_is_not_in
2368
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_eq_s
2369
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_eq_ss
2370
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_equals
2371
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_first_out
2372
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_inverse
2373
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_is_in
2374
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_is_not_in
2375
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_make_from_pair
2376
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_make_pair
2377
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_out
2378
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_s
2379
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_second_out
2380
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_sf
2381
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_subset_family
2382
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_succeeds
2383
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_superset
2384
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_ORDERED_PAIR_I.test_unequals
2385
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_any
2386
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_as_tuple
2387
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_batch_extended
2388
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_cardinality
2389
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_complemented
2390
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_complemented_family
2391
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_conjunction
2392
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_converted
2393
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_converted_subset
2394
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_crossed
2395
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_crossed_tuples
2396
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_diagonal
2397
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_disjunction
2398
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_does_not_exist
2399
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_does_not_exist_pair
2400
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_does_not_have
2401
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_element_is_in
2402
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_element_is_not_in
2403
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_empty_family
2404
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_empty_subset
2405
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_eq_s
2406
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_equality_holds
2407
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_every_subset_has
2408
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_exists
2409
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_exists_distinct_pair
2410
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_exists_pair
2411
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_exists_unique
2412
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_extended
2413
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_extending_superset
2414
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_family_intersection
2415
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_family_union
2416
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_filtered
2417
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_for_all
2418
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_for_all_distinct_pairs
2419
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_for_all_pairs
2420
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_has
2421
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_iff
2422
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_intersected
2423
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_intersects
2424
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_comparable
2425
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_disjoint
2426
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_empty
2427
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_not_comparable
2428
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_not_strict_subset
2429
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_not_strict_superset
2430
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_not_subset
2431
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_not_superset
2432
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_partition
2433
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_partitioned
2434
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_proper_subset
2435
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_proper_superset
2436
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_singleton
2437
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_strict_subset
2438
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_strict_superset
2439
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_subset
2440
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_superset
2441
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_trivial_subset
2442
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_is_trivial_superset
2443
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_make_empty
2444
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_make_extended
2445
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_make_from_family
2446
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_make_from_set
2447
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_make_singleton
2448
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_mapped
2449
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_n_times
2450
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_natural_as_integer
2451
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_natural_successor
2452
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_o
2453
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_o_f
2454
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_ored
2455
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_others
2456
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_out
2457
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_pair
2458
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_powerset
2459
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_proper_reduced
2460
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_proper_subsets
2461
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_raised
2462
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_reduced
2463
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_replacing_superset
2464
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_same_family
2465
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_second_after_first
2466
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_as_singleton
2467
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_batch_extended
2468
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_equals
2469
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_extended
2470
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_is_disjoint
2471
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_is_in
2472
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_is_not_in
2473
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_make_empty
2474
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_make_extended
2475
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_set_unequals
2476
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_sets_are_disjoint
2477
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_sets_plus_same_sets_with_element
2478
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_singleton
2479
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_singleton_crossed_tuples
2480
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_some_subset_has
2481
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_squared
2482
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_subset_relation_holds
2483
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_subsets
2484
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_subsets_are_disjoint
2485
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_subtracted
2486
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_subtracted_symmetricaly
2487
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_superset
2488
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_trivial_subsets
2489
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_unit_f
2490
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_united
2491
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_with
2492
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_without
2493
SUBSET_FAMILY_STRUCTURE_TESTS_FOR_SUBSET_FAMILY_I.test_xored
2494
SUBSET_FAMILY_TESTS_I.test_any
2495
SUBSET_FAMILY_TESTS_I.test_as_singleton
2496
SUBSET_FAMILY_TESTS_I.test_as_tuple
2497
SUBSET_FAMILY_TESTS_I.test_batch_extended
2498
SUBSET_FAMILY_TESTS_I.test_cardinality
2499
SUBSET_FAMILY_TESTS_I.test_complemented
2500
SUBSET_FAMILY_TESTS_I.test_complemented_family
2501
SUBSET_FAMILY_TESTS_I.test_conjunction
2502
SUBSET_FAMILY_TESTS_I.test_converted
2503
SUBSET_FAMILY_TESTS_I.test_converted_subset
2504
SUBSET_FAMILY_TESTS_I.test_crossed
2505
SUBSET_FAMILY_TESTS_I.test_crossed_tuples
2506
SUBSET_FAMILY_TESTS_I.test_diagonal
2507
SUBSET_FAMILY_TESTS_I.test_disjunction
2508
SUBSET_FAMILY_TESTS_I.test_does_not_exist
2509
SUBSET_FAMILY_TESTS_I.test_does_not_exist_pair
2510
SUBSET_FAMILY_TESTS_I.test_does_not_have
2511
SUBSET_FAMILY_TESTS_I.test_element_is_in
2512
SUBSET_FAMILY_TESTS_I.test_element_is_not_in
2513
SUBSET_FAMILY_TESTS_I.test_empty_family
2514
SUBSET_FAMILY_TESTS_I.test_empty_subset
2515
SUBSET_FAMILY_TESTS_I.test_eq
2516
SUBSET_FAMILY_TESTS_I.test_equality_holds
2517
SUBSET_FAMILY_TESTS_I.test_equals
2518
SUBSET_FAMILY_TESTS_I.test_every_subset_has
2519
SUBSET_FAMILY_TESTS_I.test_exists
2520
SUBSET_FAMILY_TESTS_I.test_exists_distinct_pair
2521
SUBSET_FAMILY_TESTS_I.test_exists_pair
2522
SUBSET_FAMILY_TESTS_I.test_exists_unique
2523
SUBSET_FAMILY_TESTS_I.test_extended
2524
SUBSET_FAMILY_TESTS_I.test_extending_superset
2525
SUBSET_FAMILY_TESTS_I.test_family_intersection
2526
SUBSET_FAMILY_TESTS_I.test_family_union
2527
SUBSET_FAMILY_TESTS_I.test_filtered
2528
SUBSET_FAMILY_TESTS_I.test_for_all
2529
SUBSET_FAMILY_TESTS_I.test_for_all_distinct_pairs
2530
SUBSET_FAMILY_TESTS_I.test_for_all_pairs
2531
SUBSET_FAMILY_TESTS_I.test_has
2532
SUBSET_FAMILY_TESTS_I.test_iff
2533
SUBSET_FAMILY_TESTS_I.test_intersected
2534
SUBSET_FAMILY_TESTS_I.test_intersects
2535
SUBSET_FAMILY_TESTS_I.test_is_comparable
2536
SUBSET_FAMILY_TESTS_I.test_is_disjoint
2537
SUBSET_FAMILY_TESTS_I.test_is_empty
2538
SUBSET_FAMILY_TESTS_I.test_is_in
2539
SUBSET_FAMILY_TESTS_I.test_is_not_comparable
2540
SUBSET_FAMILY_TESTS_I.test_is_not_in
2541
SUBSET_FAMILY_TESTS_I.test_is_not_strict_subset
2542
SUBSET_FAMILY_TESTS_I.test_is_not_strict_superset
2543
SUBSET_FAMILY_TESTS_I.test_is_not_subset
2544
SUBSET_FAMILY_TESTS_I.test_is_not_superset
2545
SUBSET_FAMILY_TESTS_I.test_is_partition
2546
SUBSET_FAMILY_TESTS_I.test_is_partitioned
2547
SUBSET_FAMILY_TESTS_I.test_is_proper_subset
2548
SUBSET_FAMILY_TESTS_I.test_is_proper_superset
2549
SUBSET_FAMILY_TESTS_I.test_is_singleton
2550
SUBSET_FAMILY_TESTS_I.test_is_strict_subset
2551
SUBSET_FAMILY_TESTS_I.test_is_strict_superset
2552
SUBSET_FAMILY_TESTS_I.test_is_subset
2553
SUBSET_FAMILY_TESTS_I.test_is_superset
2554
SUBSET_FAMILY_TESTS_I.test_is_trivial_subset
2555
SUBSET_FAMILY_TESTS_I.test_is_trivial_superset
2556
SUBSET_FAMILY_TESTS_I.test_make_empty
2557
SUBSET_FAMILY_TESTS_I.test_make_extended
2558
SUBSET_FAMILY_TESTS_I.test_make_from_family
2559
SUBSET_FAMILY_TESTS_I.test_make_from_set
2560
SUBSET_FAMILY_TESTS_I.test_make_singleton
2561
SUBSET_FAMILY_TESTS_I.test_mapped
2562
SUBSET_FAMILY_TESTS_I.test_n_times
2563
SUBSET_FAMILY_TESTS_I.test_natural_as_integer
2564
SUBSET_FAMILY_TESTS_I.test_natural_successor
2565
SUBSET_FAMILY_TESTS_I.test_o
2566
SUBSET_FAMILY_TESTS_I.test_o_f
2567
SUBSET_FAMILY_TESTS_I.test_ored
2568
SUBSET_FAMILY_TESTS_I.test_others
2569
SUBSET_FAMILY_TESTS_I.test_out
2570
SUBSET_FAMILY_TESTS_I.test_pair
2571
SUBSET_FAMILY_TESTS_I.test_powerset
2572
SUBSET_FAMILY_TESTS_I.test_proper_reduced
2573
SUBSET_FAMILY_TESTS_I.test_proper_subsets
2574
SUBSET_FAMILY_TESTS_I.test_raised
2575
SUBSET_FAMILY_TESTS_I.test_reduced
2576
SUBSET_FAMILY_TESTS_I.test_replacing_superset
2577
SUBSET_FAMILY_TESTS_I.test_same_family
2578
SUBSET_FAMILY_TESTS_I.test_second_after_first
2579
SUBSET_FAMILY_TESTS_I.test_set_batch_extended
2580
SUBSET_FAMILY_TESTS_I.test_set_extended
2581
SUBSET_FAMILY_TESTS_I.test_set_is_disjoint
2582
SUBSET_FAMILY_TESTS_I.test_set_make_empty
2583
SUBSET_FAMILY_TESTS_I.test_set_make_extended
2584
SUBSET_FAMILY_TESTS_I.test_sets_are_disjoint
2585
SUBSET_FAMILY_TESTS_I.test_sets_plus_same_sets_with_element
2586
SUBSET_FAMILY_TESTS_I.test_singleton
2587
SUBSET_FAMILY_TESTS_I.test_singleton_crossed_tuples
2588
SUBSET_FAMILY_TESTS_I.test_some_subset_has
2589
SUBSET_FAMILY_TESTS_I.test_squared
2590
SUBSET_FAMILY_TESTS_I.test_subset_relation_holds
2591
SUBSET_FAMILY_TESTS_I.test_subsets
2592
SUBSET_FAMILY_TESTS_I.test_subsets_are_disjoint
2593
SUBSET_FAMILY_TESTS_I.test_subtracted
2594
SUBSET_FAMILY_TESTS_I.test_subtracted_symmetricaly
2595
SUBSET_FAMILY_TESTS_I.test_superset
2596
SUBSET_FAMILY_TESTS_I.test_trivial_subsets
2597
SUBSET_FAMILY_TESTS_I.test_unequals
2598
SUBSET_FAMILY_TESTS_I.test_unit_f
2599
SUBSET_FAMILY_TESTS_I.test_united
2600
SUBSET_FAMILY_TESTS_I.test_with
2601
SUBSET_FAMILY_TESTS_I.test_without: unresolved (Aborted)
2602
The execution of SUBSET_FAMILY_TESTS_I.test_without was aborted by the user
2603
SUBSET_FAMILY_TESTS_I.test_xored
2604
TRANSFORMABLE_SET_TESTS_IC.test_any
2605
TRANSFORMABLE_SET_TESTS_IC.test_as_singleton
2606
TRANSFORMABLE_SET_TESTS_IC.test_as_tuple
2607
TRANSFORMABLE_SET_TESTS_IC.test_batch_extended
2608
TRANSFORMABLE_SET_TESTS_IC.test_cardinality
2609
TRANSFORMABLE_SET_TESTS_IC.test_complemented
2610
TRANSFORMABLE_SET_TESTS_IC.test_conjunction
2611
TRANSFORMABLE_SET_TESTS_IC.test_converted
2612
TRANSFORMABLE_SET_TESTS_IC.test_converted_element
2613
TRANSFORMABLE_SET_TESTS_IC.test_crossed
2614
TRANSFORMABLE_SET_TESTS_IC.test_crossed_tuples
2615
TRANSFORMABLE_SET_TESTS_IC.test_crossed_with_same_kind
2616
TRANSFORMABLE_SET_TESTS_IC.test_diagonal
2617
TRANSFORMABLE_SET_TESTS_IC.test_disjunction
2618
TRANSFORMABLE_SET_TESTS_IC.test_does_not_exist
2619
TRANSFORMABLE_SET_TESTS_IC.test_does_not_exist_pair
2620
TRANSFORMABLE_SET_TESTS_IC.test_does_not_have
2621
TRANSFORMABLE_SET_TESTS_IC.test_element_is_in
2622
TRANSFORMABLE_SET_TESTS_IC.test_element_is_not_in
2623
TRANSFORMABLE_SET_TESTS_IC.test_empty_set
2624
TRANSFORMABLE_SET_TESTS_IC.test_eq_a
2625
TRANSFORMABLE_SET_TESTS_IC.test_eq_b
2626
TRANSFORMABLE_SET_TESTS_IC.test_equality_holds
2627
TRANSFORMABLE_SET_TESTS_IC.test_equals
2628
TRANSFORMABLE_SET_TESTS_IC.test_exists
2629
TRANSFORMABLE_SET_TESTS_IC.test_exists_distinct_pair
2630
TRANSFORMABLE_SET_TESTS_IC.test_exists_pair
2631
TRANSFORMABLE_SET_TESTS_IC.test_exists_unique
2632
TRANSFORMABLE_SET_TESTS_IC.test_extended
2633
TRANSFORMABLE_SET_TESTS_IC.test_filtered
2634
TRANSFORMABLE_SET_TESTS_IC.test_for_all
2635
TRANSFORMABLE_SET_TESTS_IC.test_for_all_distinct_pairs
2636
TRANSFORMABLE_SET_TESTS_IC.test_for_all_pairs
2637
TRANSFORMABLE_SET_TESTS_IC.test_has
2638
TRANSFORMABLE_SET_TESTS_IC.test_iff
2639
TRANSFORMABLE_SET_TESTS_IC.test_intersected
2640
TRANSFORMABLE_SET_TESTS_IC.test_intersects
2641
TRANSFORMABLE_SET_TESTS_IC.test_is_comparable
2642
TRANSFORMABLE_SET_TESTS_IC.test_is_disjoint
2643
TRANSFORMABLE_SET_TESTS_IC.test_is_empty
2644
TRANSFORMABLE_SET_TESTS_IC.test_is_in
2645
TRANSFORMABLE_SET_TESTS_IC.test_is_not_comparable
2646
TRANSFORMABLE_SET_TESTS_IC.test_is_not_in
2647
TRANSFORMABLE_SET_TESTS_IC.test_is_not_strict_subset
2648
TRANSFORMABLE_SET_TESTS_IC.test_is_not_strict_superset
2649
TRANSFORMABLE_SET_TESTS_IC.test_is_not_subset
2650
TRANSFORMABLE_SET_TESTS_IC.test_is_not_superset
2651
TRANSFORMABLE_SET_TESTS_IC.test_is_partitioned
2652
TRANSFORMABLE_SET_TESTS_IC.test_is_proper_subset
2653
TRANSFORMABLE_SET_TESTS_IC.test_is_proper_superset
2654
TRANSFORMABLE_SET_TESTS_IC.test_is_singleton
2655
TRANSFORMABLE_SET_TESTS_IC.test_is_strict_subset
2656
TRANSFORMABLE_SET_TESTS_IC.test_is_strict_superset
2657
TRANSFORMABLE_SET_TESTS_IC.test_is_subset
2658
TRANSFORMABLE_SET_TESTS_IC.test_is_superset
2659
TRANSFORMABLE_SET_TESTS_IC.test_is_trivial_subset
2660
TRANSFORMABLE_SET_TESTS_IC.test_is_trivial_superset
2661
TRANSFORMABLE_SET_TESTS_IC.test_make_empty
2662
TRANSFORMABLE_SET_TESTS_IC.test_make_extended
2663
TRANSFORMABLE_SET_TESTS_IC.test_make_from_set
2664
TRANSFORMABLE_SET_TESTS_IC.test_make_singleton
2665
TRANSFORMABLE_SET_TESTS_IC.test_mapped
2666
TRANSFORMABLE_SET_TESTS_IC.test_mapped_to_same_kind
2667
TRANSFORMABLE_SET_TESTS_IC.test_n_times
2668
TRANSFORMABLE_SET_TESTS_IC.test_natural_as_integer
2669
TRANSFORMABLE_SET_TESTS_IC.test_natural_successor
2670
TRANSFORMABLE_SET_TESTS_IC.test_o
2671
TRANSFORMABLE_SET_TESTS_IC.test_ored
2672
TRANSFORMABLE_SET_TESTS_IC.test_others
2673
TRANSFORMABLE_SET_TESTS_IC.test_out
2674
TRANSFORMABLE_SET_TESTS_IC.test_pair
2675
TRANSFORMABLE_SET_TESTS_IC.test_powerset
2676
TRANSFORMABLE_SET_TESTS_IC.test_proper_reduced
2677
TRANSFORMABLE_SET_TESTS_IC.test_proper_subsets
2678
TRANSFORMABLE_SET_TESTS_IC.test_raised
2679
TRANSFORMABLE_SET_TESTS_IC.test_reduced
2680
TRANSFORMABLE_SET_TESTS_IC.test_reduced_to_element_like
2681
TRANSFORMABLE_SET_TESTS_IC.test_second_after_first
2682
TRANSFORMABLE_SET_TESTS_IC.test_sets_plus_same_sets_with_element
2683
TRANSFORMABLE_SET_TESTS_IC.test_singleton
2684
TRANSFORMABLE_SET_TESTS_IC.test_singleton_crossed_tuples
2685
TRANSFORMABLE_SET_TESTS_IC.test_squared
2686
TRANSFORMABLE_SET_TESTS_IC.test_subset_relation_holds
2687
TRANSFORMABLE_SET_TESTS_IC.test_subsets
2688
TRANSFORMABLE_SET_TESTS_IC.test_subtracted
2689
TRANSFORMABLE_SET_TESTS_IC.test_subtracted_symmetricaly
2690
TRANSFORMABLE_SET_TESTS_IC.test_trivial_subsets
2691
TRANSFORMABLE_SET_TESTS_IC.test_unequals
2692
TRANSFORMABLE_SET_TESTS_IC.test_unit
2693
TRANSFORMABLE_SET_TESTS_IC.test_united
2694
TRANSFORMABLE_SET_TESTS_IC.test_with
2695
TRANSFORMABLE_SET_TESTS_IC.test_without
2696
TRANSFORMABLE_SET_TESTS_IC.test_xored
2697
TRANSFORMABLE_TUPLE_TESTS_IC.test_after
2698
TRANSFORMABLE_TUPLE_TESTS_IC.test_appending_term_out
2699
TRANSFORMABLE_TUPLE_TESTS_IC.test_as_singleton
2700
TRANSFORMABLE_TUPLE_TESTS_IC.test_before
2701
TRANSFORMABLE_TUPLE_TESTS_IC.test_concatenated
2702
TRANSFORMABLE_TUPLE_TESTS_IC.test_converted
2703
TRANSFORMABLE_TUPLE_TESTS_IC.test_converted_terms
2704
TRANSFORMABLE_TUPLE_TESTS_IC.test_does_not_exist
2705
TRANSFORMABLE_TUPLE_TESTS_IC.test_does_not_have
2706
TRANSFORMABLE_TUPLE_TESTS_IC.test_element_is_in
2707
TRANSFORMABLE_TUPLE_TESTS_IC.test_element_is_not_in
2708
TRANSFORMABLE_TUPLE_TESTS_IC.test_eq_a
2709
TRANSFORMABLE_TUPLE_TESTS_IC.test_eq_b
2710
TRANSFORMABLE_TUPLE_TESTS_IC.test_equals
2711
TRANSFORMABLE_TUPLE_TESTS_IC.test_exists
2712
TRANSFORMABLE_TUPLE_TESTS_IC.test_first
2713
TRANSFORMABLE_TUPLE_TESTS_IC.test_first_tail
2714
TRANSFORMABLE_TUPLE_TESTS_IC.test_for_all
2715
TRANSFORMABLE_TUPLE_TESTS_IC.test_front
2716
TRANSFORMABLE_TUPLE_TESTS_IC.test_front_last
2717
TRANSFORMABLE_TUPLE_TESTS_IC.test_has
2718
TRANSFORMABLE_TUPLE_TESTS_IC.test_index_is_less_equal
2719
TRANSFORMABLE_TUPLE_TESTS_IC.test_index_is_positive
2720
TRANSFORMABLE_TUPLE_TESTS_IC.test_indexed_left_reduced
2721
TRANSFORMABLE_TUPLE_TESTS_IC.test_indexed_left_reduced_to_term_like
2722
TRANSFORMABLE_TUPLE_TESTS_IC.test_indexed_right_reduced
2723
TRANSFORMABLE_TUPLE_TESTS_IC.test_indexed_right_reduced_to_term_like
2724
TRANSFORMABLE_TUPLE_TESTS_IC.test_indexed_term
2725
TRANSFORMABLE_TUPLE_TESTS_IC.test_indices
2726
TRANSFORMABLE_TUPLE_TESTS_IC.test_is_in
2727
TRANSFORMABLE_TUPLE_TESTS_IC.test_is_not_in
2728
TRANSFORMABLE_TUPLE_TESTS_IC.test_is_unit
2729
TRANSFORMABLE_TUPLE_TESTS_IC.test_just_index
2730
TRANSFORMABLE_TUPLE_TESTS_IC.test_last
2731
TRANSFORMABLE_TUPLE_TESTS_IC.test_left_reduced
2732
TRANSFORMABLE_TUPLE_TESTS_IC.test_left_reduced_to_term_like
2733
TRANSFORMABLE_TUPLE_TESTS_IC.test_left_trimmed
2734
TRANSFORMABLE_TUPLE_TESTS_IC.test_make_after
2735
TRANSFORMABLE_TUPLE_TESTS_IC.test_make_from_tuple
2736
TRANSFORMABLE_TUPLE_TESTS_IC.test_make_n
2737
TRANSFORMABLE_TUPLE_TESTS_IC.test_make_unit
2738
TRANSFORMABLE_TUPLE_TESTS_IC.test_mapped
2739
TRANSFORMABLE_TUPLE_TESTS_IC.test_mapped_to_same_kind
2740
TRANSFORMABLE_TUPLE_TESTS_IC.test_n
2741
TRANSFORMABLE_TUPLE_TESTS_IC.test_natural_as_integer
2742
TRANSFORMABLE_TUPLE_TESTS_IC.test_negated
2743
TRANSFORMABLE_TUPLE_TESTS_IC.test_out
2744
TRANSFORMABLE_TUPLE_TESTS_IC.test_predicate_holds_to_term
2745
TRANSFORMABLE_TUPLE_TESTS_IC.test_prefix
2746
TRANSFORMABLE_TUPLE_TESTS_IC.test_proper_left_reduced
2747
TRANSFORMABLE_TUPLE_TESTS_IC.test_proper_right_reduced
2748
TRANSFORMABLE_TUPLE_TESTS_IC.test_replacing
2749
TRANSFORMABLE_TUPLE_TESTS_IC.test_reversed
2750
TRANSFORMABLE_TUPLE_TESTS_IC.test_reversed_terms_are_equal
2751
TRANSFORMABLE_TUPLE_TESTS_IC.test_right_reduced
2752
TRANSFORMABLE_TUPLE_TESTS_IC.test_right_reduced_to_term_like
2753
TRANSFORMABLE_TUPLE_TESTS_IC.test_right_trimmed
2754
TRANSFORMABLE_TUPLE_TESTS_IC.test_suffix
2755
TRANSFORMABLE_TUPLE_TESTS_IC.test_tail
2756
TRANSFORMABLE_TUPLE_TESTS_IC.test_term
2757
TRANSFORMABLE_TUPLE_TESTS_IC.test_term_out
2758
TRANSFORMABLE_TUPLE_TESTS_IC.test_terms
2759
TRANSFORMABLE_TUPLE_TESTS_IC.test_terms_are_equal
2760
TRANSFORMABLE_TUPLE_TESTS_IC.test_terms_out
2761
TRANSFORMABLE_TUPLE_TESTS_IC.test_unequals
2762
TRANSFORMABLE_TUPLE_TESTS_IC.test_unit
2763
TRANSFORMER_TESTS_IC.test_anded
2764
TRANSFORMER_TESTS_IC.test_argument_is_mapped_to_value
2765
TRANSFORMER_TESTS_IC.test_cartesian_product
2766
TRANSFORMER_TESTS_IC.test_empty_product
2767
TRANSFORMER_TESTS_IC.test_every_pair_is_in_set
2768
TRANSFORMER_TESTS_IC.test_flipped
2769
TRANSFORMER_TESTS_IC.test_flipped_index_is_small_enough
2770
TRANSFORMER_TESTS_IC.test_indexed_flipped
2771
TRANSFORMER_TESTS_IC.test_is_in
2772
TRANSFORMER_TESTS_IC.test_is_not_in
2773
TRANSFORMER_TESTS_IC.test_natural_as_integer
2774
TRANSFORMER_TESTS_IC.test_o
2775
TRANSFORMER_TESTS_IC.test_pair
2776
TRANSFORMER_TESTS_IC.test_pair_is_in_set
2777
TRANSFORMER_TESTS_IC.test_set_map
2778
TRANSFORMER_TESTS_IC.test_set_reduction
2779
TRANSFORMER_TESTS_IC.test_singleton_crossed_set
2780
TRANSFORMER_TESTS_IC.test_source_set_has_argument
2781
TRANSFORMER_TESTS_IC.test_source_tuple_has_argument
2782
TRANSFORMER_TESTS_IC.test_target_set_has_value
2783
TRANSFORMER_TESTS_IC.test_target_tuple_has_value
2784
TRANSFORMER_TESTS_IC.test_tuple_indexed_left_reduction
2785
TRANSFORMER_TESTS_IC.test_tuple_indexed_right_reduction
2786
TRANSFORMER_TESTS_IC.test_tuple_left_reduction
2787
TRANSFORMER_TESTS_IC.test_tuple_map
2788
TRANSFORMER_TESTS_IC.test_tuple_right_reduction