| /dports/math/boolector/boolector-3.2.2/test/log/ |
| H A D | countbits016.smt2 | 13 …bv1 1) (ite (= v1 (_ bv0 16)) (_ bv1 1) (_ bv0 1))) (_ bv0 16) (_ bv1 16)))) (let ((_let_1 (ite (=…
|
| H A D | binarysearch32s016.smt2 | 14 …bv1 4)))) (let ((_let_1 (select (store a17 search_index search_val) (_ bv2 4)))) (let ((_let_2 (se…
|
| H A D | fifo32in04k05.smt2 | 109 …bv1 1) full_fs_0))) (let ((_let_1 (= (_ bv1 1) enqeue_0))) (let ((_let_2 (= (_ bv1 1) (bvand (bvno…
|
| H A D | regrdomabst5.smt2 | 9 …bv1 1) (bvnot (ite (= v3 (concat (_ bv0 4) v1)) (_ bv1 1) (_ bv0 1)))) (_ bv1 1) (_ bv0 1)))) (let…
|
| H A D | fifo32ia04k05.smt2 | 110 …bv1 1) full_fs_0))) (let ((_let_2 (= (_ bv1 1) enqeue_0))) (let ((_let_3 (= (_ bv1 1) (bvand (bvno…
|
| H A D | fifo32bc04k05.smt2 | 107 …bv1 1) full_fs_0))) (let ((_let_3 (= (_ bv1 1) enqeue_0))) (let ((_let_4 (= (_ bv1 1) (bvand (bvno…
|
| H A D | regrdomabst6.smt2 | 8 …bv1 1) (ite (= (_ bv1 1) (ite (= (_ bv1 1) (ite (= v2 v3) (_ bv1 1) (_ bv0 1))) (_ bv1 1) (_ bv0 1…
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/db/bdb/test_vmerge/ |
| H A D | test_bdb_vmerge.cpp | 119 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[200] = true; in Run()
122 delete bv1; in Run()
126 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[204] = true; in Run()
133 (*bv1)[10] = true; (*bv1)[102] = true; (*bv1)[201] = true; in Run()
140 (*bv1)[1] = true; (*bv1)[2] = true; (*bv1)[3] = true; in Run()
150 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[300] = true; in Run()
157 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[202] = true; in Run()
164 (*bv1)[10] = true; (*bv1)[102] = true; (*bv1)[301] = true; in Run()
181 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[300] = true; in Run()
188 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[202] = true; in Run()
[all …]
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/volume_merge/test/ |
| H A D | test_vmerge.cpp | 220 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[200] = true; in Run()
225 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[204] = true; in Run()
230 (*bv1)[10] = true; (*bv1)[102] = true; (*bv1)[201] = true; in Run()
235 (*bv1)[1] = true; (*bv1)[2] = true; (*bv1)[3] = true; in Run()
242 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[300] = true; in Run()
247 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[202] = true; in Run()
252 (*bv1)[10] = true; (*bv1)[102] = true; (*bv1)[301] = true; in Run()
265 (*bv1)[10] = true; (*bv1)[100] = true; (*bv1)[300] = true; in Run()
270 (*bv1)[12] = true; (*bv1)[102] = true; (*bv1)[202] = true; in Run()
275 (*bv1)[10] = true; (*bv1)[102] = true; (*bv1)[301] = true; in Run()
[all …]
|
| /dports/math/fcl05/fcl-0.5.0/include/fcl/BV/ |
| H A D | BV.h | 78 FCL_REAL r = (bv1.max_ - bv1.min_).length() * 0.5; in convert()
129 bv2.extent = (bv1.max_ - bv1.min_) * 0.5; in convert()
143 bv2.extent = bv1.extent; in convert()
167 bv2.extent = Vec3f(bv1.l[0] * 0.5 + bv1.r, bv1.l[1] * 0.5 + bv1.r, bv1.r); in convert()
183 FCL_REAL r = Vec3f(bv1.width(), bv1.height(), bv1.depth()).length() * 0.5; in convert()
214 bv2.r = bv1.extent[2]; in convert()
231 bv2.r = bv1.r; in convert()
232 bv2.l[0] = bv1.l[0]; in convert()
233 bv2.l[1] = bv1.l[1]; in convert()
256 FCL_REAL d[3] = {bv1.width(), bv1.height(), bv1.depth() }; in convert()
[all …]
|
| /dports/math/py-bitvector/BitVector-3.5.0/Examples/ |
| H A D | BitVectorDemo.py | 18 result = bv1 + bv2
167 bv3 = bv1 & bv2
169 bv3 = bv1 + bv2
203 print(bv1)
210 bv3 = bv1 ^ bv2
254 print(bv1)
331 bv1[:5] = bv1[5:10]
333 bv1[20:] = bv1[5:10]
335 bv1[:] = bv1[:]
337 bv3 = bv1[:]
[all …]
|
| /dports/science/rdkit/rdkit-Release_2021_03_5/Code/DataStructs/ |
| H A D | BitOps.cpp | 497 return bv1.getNumBits() - (bv1 ^ bv2).getNumOnBits(); in NumBitsInCommon()
501 return bv1.getNumBits() - in NumBitsInCommon()
525 return double(NumBitsInCommon(bv1, bv2)) / bv1.getNumBits(); in AllBitSimilarity()
665 bv1.getOnBits(onBits); in FoldFingerprint()
677 if (bv1.getBit(i)) { in BitVectToText()
689 2 * (bv1.getNumBits() / 8 + (bv1.getNumBits() % 8 ? 1 : 0)); in BitVectToFPSText()
694 if (bv1.getBit(i)) { in BitVectToFPSText()
712 std::string res(bv1.getNumBits() / 8 + (bv1.getNumBits() % 8 ? 1 : 0), 0); in BitVectToBinaryText()
716 if (bv1.getBit(i)) { in BitVectToBinaryText()
753 bv1.setBit(bitIdx); in UpdateBitVectFromFPSText()
[all …]
|
| H A D | BitOps.h | 31 double SimilarityWrapper(const T& bv1, const T& bv2,
35 if (bv1.getNumBits() > bv2.getNumBits()) {
36 T* bv1tmp = FoldFingerprint(bv1, bv1.getNumBits() / bv2.getNumBits());
39 } else if (bv2.getNumBits() > bv1.getNumBits()) {
41 res = metric(bv1, *bv2tmp);
44 res = metric(bv1, bv2);
55 if (bv1.getNumBits() > bv2.getNumBits()) {
56 T* bv1tmp = FoldFingerprint(bv1, bv1.getNumBits() / bv2.getNumBits());
61 res = metric(bv1, *bv2tmp, a, b);
64 res = metric(bv1, bv2, a, b);
[all …]
|
| /dports/lang/php73/php-7.3.33/ext/oci8/tests/ |
| H A D | bind_char_3.phpt | 33 $bv1 = 'abc';
41 $bv1 = 'abc';
70 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
79 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
88 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
98 $bv1 = '';
116 $bv1 = '';
126 $bv1 = '';
136 $bv1 = '';
146 $bv1 = '';
[all …]
|
| H A D | bind_char_4.phpt | 35 $bv1 = 'abc';
43 $bv1 = 'abc';
72 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
81 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
90 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
100 $bv1 = '';
118 $bv1 = '';
128 $bv1 = '';
138 $bv1 = '';
148 $bv1 = '';
[all …]
|
| H A D | bind_char_3_11gR1.phpt | 33 $bv1 = 'abc';
41 $bv1 = 'abc';
70 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
79 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
88 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
98 $bv1 = '';
116 $bv1 = '';
126 $bv1 = '';
136 $bv1 = '';
146 $bv1 = '';
[all …]
|
| H A D | bind_char_4_11gR1.phpt | 35 $bv1 = 'abc';
43 $bv1 = 'abc';
72 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
81 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
90 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
100 $bv1 = '';
118 $bv1 = '';
128 $bv1 = '';
138 $bv1 = '';
148 $bv1 = '';
[all …]
|
| /dports/www/mod_php81/php-8.1.1/ext/oci8/tests/ |
| H A D | bind_char_3_11gR1.phpt | 34 $bv1 = 'abc';
42 $bv1 = 'abc';
71 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
80 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
89 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
99 $bv1 = '';
117 $bv1 = '';
127 $bv1 = '';
137 $bv1 = '';
147 $bv1 = '';
[all …]
|
| H A D | bind_char_4.phpt | 36 $bv1 = 'abc';
44 $bv1 = 'abc';
73 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
82 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
91 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
101 $bv1 = '';
119 $bv1 = '';
129 $bv1 = '';
139 $bv1 = '';
149 $bv1 = '';
[all …]
|
| H A D | bind_char_4_11gR1.phpt | 36 $bv1 = 'abc';
44 $bv1 = 'abc';
73 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
82 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
91 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
101 $bv1 = '';
119 $bv1 = '';
129 $bv1 = '';
139 $bv1 = '';
149 $bv1 = '';
[all …]
|
| H A D | bind_char_3.phpt | 34 $bv1 = 'abc';
42 $bv1 = 'abc';
71 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
80 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
89 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
99 $bv1 = '';
117 $bv1 = '';
127 $bv1 = '';
137 $bv1 = '';
147 $bv1 = '';
[all …]
|
| /dports/lang/php74/php-7.4.27/ext/oci8/tests/ |
| H A D | bind_char_3_11gR1.phpt | 33 $bv1 = 'abc';
41 $bv1 = 'abc';
70 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
79 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
88 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
98 $bv1 = '';
116 $bv1 = '';
126 $bv1 = '';
136 $bv1 = '';
146 $bv1 = '';
[all …]
|
| /dports/lang/php80/php-8.0.15/ext/oci8/tests/ |
| H A D | bind_char_4.phpt | 35 $bv1 = 'abc';
43 $bv1 = 'abc';
72 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
81 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
90 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
100 $bv1 = '';
118 $bv1 = '';
128 $bv1 = '';
138 $bv1 = '';
148 $bv1 = '';
[all …]
|
| /dports/lang/php81/php-8.1.1/ext/oci8/tests/ |
| H A D | bind_char_3.phpt | 34 $bv1 = 'abc';
42 $bv1 = 'abc';
71 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
80 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
89 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
99 $bv1 = '';
117 $bv1 = '';
127 $bv1 = '';
137 $bv1 = '';
147 $bv1 = '';
[all …]
|
| H A D | bind_char_4.phpt | 36 $bv1 = 'abc';
44 $bv1 = 'abc';
73 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
82 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
91 $r = oci_bind_by_name($s, ':bv1', $bv1, strlen($bv1), SQLT_AFC) && oci_bind_by_name($s, ':bv2', $bv…
101 $bv1 = '';
119 $bv1 = '';
129 $bv1 = '';
139 $bv1 = '';
149 $bv1 = '';
[all …]
|