| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/rels/ |
| H A D | rel_pressure_0.cvc | 11 ASSERT a11 IS_IN x;
14 ASSERT a12 IS_IN x;
17 ASSERT a13 IS_IN x;
20 ASSERT a14 IS_IN x;
23 ASSERT a15 IS_IN x;
26 ASSERT a16 IS_IN x;
29 ASSERT a17 IS_IN x;
32 ASSERT a18 IS_IN x;
35 ASSERT a19 IS_IN x;
41 ASSERT a21 IS_IN x;
[all …]
|
| H A D | rel_tc_9_1.cvc | 11 ASSERT (2, 2) IS_IN z;
12 ASSERT (0,3) IS_IN y;
13 ASSERT (-1,3) IS_IN y;
14 ASSERT (1,3) IS_IN y;
15 ASSERT (-2,3) IS_IN y;
16 ASSERT (2,3) IS_IN y;
17 ASSERT (3,3) IS_IN y;
18 ASSERT (4,3) IS_IN y;
19 ASSERT (5,3) IS_IN y;
20 ASSERT NOT (2, 3) IS_IN (x JOIN y);
[all …]
|
| H A D | rel_complex_3.cvc | 13 ASSERT f IS_IN x;
17 ASSERT g IS_IN y;
21 ASSERT h IS_IN x;
22 ASSERT h IS_IN y;
28 ASSERT NOT (e IS_IN r);
32 ASSERT e IS_IN (r JOIN z);
33 ASSERT e IS_IN x;
34 ASSERT e IS_IN (x & y);
|
| H A D | rel_complex_4.cvc | 13 ASSERT f IS_IN x;
17 ASSERT g IS_IN y;
21 ASSERT h IS_IN x;
22 ASSERT h IS_IN y;
31 ASSERT NOT (e IS_IN r);
35 ASSERT e IS_IN (r JOIN z);
36 ASSERT e IS_IN x;
37 ASSERT e IS_IN (x & y);
|
| H A D | rel_complex_5.cvc | 14 ASSERT f IS_IN x;
18 ASSERT g IS_IN y;
22 ASSERT h IS_IN x;
23 ASSERT h IS_IN y;
34 ASSERT NOT (e IS_IN r);
38 ASSERT e IS_IN (r JOIN z);
39 ASSERT e IS_IN x;
40 ASSERT e IS_IN (x & y);
|
| H A D | bv1p.cvc | 16 ASSERT a IS_IN x;
17 ASSERT b IS_IN x;
18 ASSERT a IS_IN y;
19 ASSERT b IS_IN y;
20 ASSERT (NOT ( c IS_IN (x JOIN y)) AND NOT ( d IS_IN (x JOIN y)) AND NOT ( e IS_IN (x JOIN y)) );
|
| H A D | set-strat.cvc | 15 ASSERT a IS_IN x;
16 ASSERT b IS_IN y;
17 ASSERT b IS_IN w;
18 ASSERT (x,y) IS_IN z;
19 ASSERT (w,x) IS_IN z;
20 ASSERT NOT ( (x,x) IS_IN (z JOIN z) );
22 ASSERT (x, { ( 0, 0 ) } ) IS_IN (z JOIN z);
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/rels/ |
| H A D | rel_tc_2_1.cvc | 14 ASSERT a IS_IN x;
15 ASSERT d IS_IN x;
16 ASSERT NOT ((1,1) IS_IN x);
17 ASSERT NOT ((1,2) IS_IN x);
18 ASSERT NOT ((1,3) IS_IN x);
19 ASSERT NOT ((1,4) IS_IN x);
20 ASSERT NOT ((1,5) IS_IN x);
21 ASSERT NOT ((1,6) IS_IN x);
22 ASSERT NOT ((1,7) IS_IN x);
26 ASSERT (1, 5) IS_IN y;
|
| H A D | rel_join_1.cvc | 17 ASSERT (1, 7) IS_IN x;
18 ASSERT (2, 3) IS_IN x;
19 ASSERT (3, 4) IS_IN x;
21 ASSERT (7, 5) IS_IN y;
22 ASSERT (7, 3) IS_IN y;
23 ASSERT (4, 7) IS_IN y;
25 %ASSERT (a IS_IN (r JOIN(x JOIN y)));
27 ASSERT z IS_IN x;
28 ASSERT zt IS_IN y;
29 ASSERT NOT (a IS_IN (x JOIN y));
|
| H A D | rel_join_3.cvc | 17 ASSERT (1, 7) IS_IN x;
18 ASSERT (2, 3) IS_IN x;
19 ASSERT (3, 4) IS_IN x;
21 ASSERT (7, 5) IS_IN y;
22 ASSERT (7, 3) IS_IN y;
23 ASSERT (4, 7) IS_IN y;
25 ASSERT z IS_IN x;
26 ASSERT zt IS_IN y;
27 ASSERT NOT (a IS_IN r);
|
| H A D | rel_join_3_1.cvc | 17 ASSERT (1, 7) IS_IN x;
18 ASSERT (2, 3) IS_IN x;
19 ASSERT (3, 4) IS_IN x;
21 ASSERT (7, 5) IS_IN y;
22 ASSERT (7, 3) IS_IN y;
23 ASSERT (4, 7) IS_IN y;
25 ASSERT z IS_IN x;
26 ASSERT zt IS_IN y;
27 ASSERT a IS_IN r;
|
| H A D | rel_join_4.cvc | 20 ASSERT (1, 7) IS_IN x;
21 ASSERT (2, 3) IS_IN x;
22 ASSERT (3, 4) IS_IN x;
24 ASSERT b IS_IN y;
25 ASSERT (7, 3) IS_IN y;
26 ASSERT (4, 7) IS_IN y;
28 ASSERT z IS_IN x;
29 ASSERT zt IS_IN y;
30 ASSERT NOT (a IS_IN r);
|
| H A D | rel_join_1_1.cvc | 17 ASSERT (1, 7) IS_IN x;
18 ASSERT (2, 3) IS_IN x;
19 ASSERT (3, 4) IS_IN x;
21 ASSERT (7, 5) IS_IN y;
22 ASSERT (7, 3) IS_IN y;
23 ASSERT (4, 7) IS_IN y;
25 %ASSERT (a IS_IN (r JOIN(x JOIN y)));
27 ASSERT z IS_IN x;
28 ASSERT zt IS_IN y;
|
| H A D | rel_tp_join_0.cvc | 21 ASSERT (1, 7) IS_IN x;
22 ASSERT (2, 3) IS_IN x;
23 ASSERT (3, 4) IS_IN x;
25 ASSERT b IS_IN y;
26 ASSERT (7, 3) IS_IN y;
27 ASSERT (4, 7) IS_IN y;
29 ASSERT z IS_IN x;
30 ASSERT zt IS_IN y;
31 ASSERT NOT (a IS_IN TRANSPOSE(r));
|
| H A D | rel_tp_join_3.cvc | 11 ASSERT (7, 1) IS_IN x;
12 ASSERT (2, 3) IS_IN x;
13 ASSERT (7, 3) IS_IN y;
14 ASSERT (4, 7) IS_IN y;
15 ASSERT (3, 4) IS_IN z;
16 ASSERT (3, 3) IS_IN w;
21 ASSERT NOT (a IS_IN TRANSPOSE(r));
25 ASSERT NOT ((1,3) IS_IN w);
26 ASSERT NOT ((1,3) IS_IN (w | zz) );
|
| H A D | rel_join_0_1.cvc | 17 ASSERT (1, 7) IS_IN x;
18 ASSERT (4, 3) IS_IN x;
19 ASSERT (7, 5) IS_IN y;
21 ASSERT z IS_IN x;
22 ASSERT zt IS_IN y;
23 %ASSERT a IS_IN (x JOIN y);
24 %ASSERT NOT (v IS_IN (x JOIN y));
25 ASSERT a IS_IN (x JOIN y);
|
| H A D | rel_transpose_6.cvc | 12 ASSERT z IS_IN x;
13 ASSERT (3, 4) IS_IN x;
14 ASSERT (3, 5) IS_IN x;
15 ASSERT (3, 3) IS_IN x;
19 ASSERT NOT (zt IS_IN y);
21 ASSERT z IS_IN y;
22 ASSERT NOT (zt IS_IN TRANSPOSE(y));
|
| H A D | rel_tc_11.cvc | 8 ASSERT (2, 3) IS_IN x;
9 ASSERT (5, 3) IS_IN x;
10 ASSERT (3, 9) IS_IN x;
12 ASSERT (1, 2, 3, 4) IS_IN z;
13 ASSERT NOT ((5, 9) IS_IN x);
14 ASSERT (3, 8) IS_IN y;
16 ASSERT NOT ((1, 2) IS_IN y);
|
| H A D | rel_tc_3.cvc | 10 ASSERT (1, a) IS_IN x;
11 ASSERT (1, c) IS_IN x;
12 ASSERT (1, d) IS_IN x;
13 ASSERT (b, 1) IS_IN x;
17 %ASSERT (2,3) IS_IN ((x JOIN x) JOIN x);
18 %ASSERT NOT (2, 3) IS_IN TCLOSURE(x);
20 ASSERT NOT ((1, 1) IS_IN y);
|
| H A D | iden_0.cvc | 19 ASSERT TUPLE(1) IS_IN t;
20 ASSERT TUPLE(2) IS_IN t;
21 ASSERT z IS_IN x;
22 ASSERT zt IS_IN x;
23 ASSERT v IS_IN x;
24 ASSERT a IS_IN x;
26 ASSERT NOT ((1, 1) IS_IN (id & x));
|
| H A D | joinImg_0.cvc | 20 ASSERT (1, 7) IS_IN x;
21 ASSERT z IS_IN x;
23 ASSERT (7, 5) IS_IN y;
27 ASSERT TUPLE(3) IS_IN (x JOIN_IMAGE 2);
29 ASSERT NOT(TUPLE(1) IS_IN (x JOIN_IMAGE 2));
31 ASSERT TUPLE(4) IS_IN (x JOIN_IMAGE 2);
33 ASSERT TUPLE(1) IS_IN (x JOIN_IMAGE 1);
|
| H A D | rel_complex_1.cvc | 15 ASSERT a IS_IN x;
19 ASSERT d IS_IN y;
25 ASSERT TUPLE(1) IS_IN w;
26 ASSERT TUPLE(2) IS_IN z;
29 ASSERT NOT (e IS_IN r);
30 %ASSERT e IS_IN r2;
32 ASSERT NOT ((3,3) IS_IN r2);
|
| /dports/lang/zig-devel/zig-0.9.0/lib/libc/glibc/sysdeps/nptl/ |
| H A D | libc-lock.h | 29 # if (!IS_IN (libc) && !IS_IN (libpthread)) || !defined _LIBC
50 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
63 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
81 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
89 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
106 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
131 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
|
| /dports/lang/zig/zig-0.9.0/lib/libc/glibc/sysdeps/nptl/ |
| H A D | libc-lock.h | 29 # if (!IS_IN (libc) && !IS_IN (libpthread)) || !defined _LIBC
50 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
63 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
81 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
89 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
106 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
131 #if defined _LIBC && (IS_IN (libc) || IS_IN (libpthread))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/sets/ |
| H A D | cvc-sample.cvc | 26 ASSERT e IS_IN c;
27 ASSERT e IS_IN a;
28 ASSERT e IS_IN (a & b);
39 ASSERT e1 IS_IN x;
40 ASSERT NOT(e2 IS_IN y);
46 ASSERT e1 IS_IN (x | z);
47 ASSERT NOT(e2 IS_IN (y | z));
51 ASSERT 5 IS_IN ({1, 2, 3, 4} | {5});
52 ASSERT 5 IS_IN ({1, 2, 3, 4} | {} :: SET OF INT);
55 QUERY LET v_0 = e1 IS_IN z IN v_0 AND NOT v_0;
|