| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
| H A D | stream-x2014-09-18-unsat.smt2 | 8 (declare-sort B_set$ 0)
74 (declare-fun member$a (B$ B_set$) Bool)
79 (declare-fun streams$ (B_set$) B_stream_set$)
169 (assert (! (forall ((?v0 B_stream$) (?v1 B_set$) (?v2 B_a_fun$) (?v3 A_set$)) (=> (and (member$ ?v0…
170 (assert (! (forall ((?v0 A_stream$) (?v1 A_set$) (?v2 A_b_fun$) (?v3 B_set$)) (=> (and (member$c ?v…
172 (assert (! (forall ((?v0 B_stream$) (?v1 B_set$) (?v2 B_b_fun$) (?v3 B_set$)) (=> (and (member$ ?v0…
173 (assert (! (forall ((?v0 B_stream_stream$) (?v1 B_stream_set$) (?v2 B_stream_b_fun$) (?v3 B_set$)) …
174 (assert (! (forall ((?v0 A_stream_stream$) (?v1 A_stream_set$) (?v2 A_stream_b_fun$) (?v3 B_set$)) …
177 (assert (! (forall ((?v0 B_stream$) (?v1 B_set$) (?v2 B_b_stream_fun$) (?v3 B_stream_set$)) (=> (an…
178 (assert (! (forall ((?v0 B_stream$) (?v1 B_set$) (?v2 B_a_stream_fun$) (?v3 A_stream_set$)) (=> (an…
|
| /dports/biology/ncbi-toolkit/ncbi/api/ |
| H A D | alignmgr2.c | 3204 if (B_set) { in AlnMgr2AddInNewPairwiseSA()
3206 B_set = B_set->next; in AlnMgr2AddInNewPairwiseSA()
3235 while (B_set) { in AlnMgr2AddInNewPairwiseSA()
3238 B_set=B_set->next; in AlnMgr2AddInNewPairwiseSA()
3302 while (B_set) { in AlnMgr2AddInNewPairwiseSA()
3308 B_set = B_set->next; in AlnMgr2AddInNewPairwiseSA()
3328 B_set = B_set->next; in AlnMgr2AddInNewPairwiseSA()
3338 while (B_set) { in AlnMgr2AddInNewPairwiseSA()
3427 B_set = B_set->next; in AlnMgr2AddInNewPairwiseSA()
3432 B_set->row2 = B_set->row; /* mark the set */ in AlnMgr2AddInNewPairwiseSA()
[all …]
|
| /dports/graphics/gmt/gmt-6.3.0/src/ |
| H A D | psscale.c | 814 bool B_set = GMT->current.map.frame.set[GMT_X], skip_lines = Ctrl->S.skip, need_image; in psscale_draw_colorbar() local
857 if (B_set) { /* Let the general -B machinery do the annotation labeling */ in psscale_draw_colorbar()
1012 if (Ctrl->L.active || !B_set) { /* May have gotten -S settings, if so, update */ in psscale_draw_colorbar()
1355 … if ((flip & PSSCALE_FLIP_ANNOT) || !B_set) PSL_plotsegment (PSL, xleft, 0.0, xleft + length, 0.0); in psscale_draw_colorbar()
1356 …if (!(flip & PSSCALE_FLIP_ANNOT) || !B_set) PSL_plotsegment (PSL, xleft, width, xleft + length, wi… in psscale_draw_colorbar()
1361 if (B_set) { /* Used -B */ in psscale_draw_colorbar()
1680 … if ((flip & PSSCALE_FLIP_ANNOT) || !B_set) PSL_plotsegment (PSL, xleft, 0.0, xleft + length, 0.0); in psscale_draw_colorbar()
1681 …if (!(flip & PSSCALE_FLIP_ANNOT) || !B_set) PSL_plotsegment (PSL, xleft, width, xleft + length, wi… in psscale_draw_colorbar()
1685 …if (B_set) { /* Used -B. Must kludge by copying x-axis and scaling to y since we must use gmt_xy_a… in psscale_draw_colorbar()
1806 if (label[0] && (flip || !B_set)) { /* Add label separately */ in psscale_draw_colorbar()
|
| H A D | gmt_init.c | 15214 bool frame_set = false, x_set = false, y_set = false, B_set; in gmt_init_module() local
15218 B_set = gmtinit_panel_B_get (API, fig, row, col); in gmt_init_module()
15219 if (exceptionb == 0 && P->first == 1 && !B_set) { in gmt_init_module()
|
| /dports/databases/py-gdbm/Python-3.8.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1516 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python37/Python-3.7.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1508 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python311/Python-3.11.0a3/Modules/_ctypes/ |
| H A D | cfield.c | 502 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1486 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python310/Python-3.10.1/Modules/_ctypes/ |
| H A D | cfield.c | 494 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1478 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python-tools/Python-3.8.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1516 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python27/Python-2.7.18/Modules/_ctypes/ |
| H A D | cfield.c | 546 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1597 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python39/Python-3.9.9/Modules/_ctypes/ |
| H A D | cfield.c | 522 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1510 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python38/Python-3.8.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1516 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/databases/py-sqlite3/Python-3.8.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1516 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/x11-toolkits/py-tkinter/Python-3.8.12/Modules/_ctypes/ |
| H A D | cfield.c | 536 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1516 { 'B', B_set, B_get, &ffi_type_uchar},
|
| /dports/lang/python-legacy/Python-2.7.18/Modules/_ctypes/ |
| H A D | cfield.c | 546 B_set(void *ptr, PyObject *value, Py_ssize_t size) in B_set() function
1597 { 'B', B_set, B_get, &ffi_type_uchar},
|