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