Home
last modified time | relevance | path

Searched refs:BV (Results 1 – 25 of 3076) sorted by relevance

12345678910>>...124

/dports/www/varnish6/varnish-cache-varnish-6.6.2/lib/libvarnish/
H A Dvenc.c102 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
103 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
104 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, 62, BV, BV, BV, 63,
110 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
111 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
112 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
113 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
114 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
115 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
116 BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV, BV,
[all …]
/dports/math/py-claripy/claripy-9.0.5405/claripy/ast/
H A Dbv.py21 class BV(Bits): class
357 LShR = operations.op('LShR', (BV, BV), BV, extra_check=operations.length_same_check,
369 RotateLeft = operations.op('RotateLeft', (BV, BV), BV,
372 RotateRight = operations.op('RotateRight', (BV, BV), BV,
375 Reverse = operations.op('Reverse', (BV,), BV,
387 BV.__radd__ = operations.reversed_op(BV.__add__)
390 BV.__div__ = BV.__floordiv__
391 BV.__rdiv__ = BV.__rfloordiv__
392 BV.__truediv__ = BV.__floordiv__
393 BV.__rtruediv__ = BV.__rfloordiv__
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bv-sized-1.0.2/src/Data/BitVector/Sized/
H A DInternal.hs444 and :: BV w -> BV w -> BV w
448 or :: BV w -> BV w -> BV w
449 or (BV x) (BV y) = BV (x B..|. y)
452 xor :: BV w -> BV w -> BV w
654 uquot :: BV w -> BV w -> BV w
659 urem :: BV w -> BV w -> BV w
663 uquotRem :: BV w -> BV w -> (BV w, BV w)
736 umin :: BV w -> BV w -> BV w
737 umin (BV x) (BV y) = if x < y then BV x else BV y
740 umax :: BV w -> BV w -> BV w
[all …]
H A DUnsigned.hs47 liftUnary :: (BV w -> BV w)
52 liftBinary :: (BV w -> BV w -> BV w)
58 liftBinaryInt :: (BV w -> Natural -> BV w)
81 popCount (UnsignedBV bv) = fromInteger (BV.asUnsigned (BV.popCount bv))
85 countLeadingZeros (UnsignedBV bv) = fromInteger $ BV.asUnsigned $ BV.clz knownNat bv
86 countTrailingZeros (UnsignedBV bv) = fromInteger $ BV.asUnsigned $ BV.ctz knownNat bv
92 signum (UnsignedBV bv) = UnsignedBV $ BV.BV $ signum $ BV.asUnsigned bv
108 [BV.asUnsigned loBV .. BV.asUnsigned hiBV]
110 index ( BV.asUnsigned loBV,
112 (BV.asUnsigned ixBV)
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bv-sized-1.0.2/test/
H A DMain.hs50 -> (forall w . NatRepr w -> BV.BV w -> BV.BV w)
70 -> (forall w. NatRepr w -> BV.BV w -> BV.BV w -> BV.BV w)
100 -> (forall w . NatRepr w -> BV.BV w -> BV.BV w -> Bool)
408 -> (forall w . NatRepr w -> BV.BV w -> BV.BV w)
433 -> (forall w . NatRepr w -> BV.BV w -> BV.BV w -> BV.BV w)
446 -> (forall w . NatRepr w -> BV.BV w -> BV.BV w -> BV.BV w)
528 let BV.BV x = BV.bit w i function
534 let BV.BV x = BV.bit' w n function
600 let BV.BV x = BV.zext w' bv function
607 let BV.BV x = BV.sext w w' bv function
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/unittests/ADT/
H A DCoalescingBitVectorTest.cpp56 BV.set(0); in TEST()
66 BV.set(1); in TEST()
68 BV.clear(); in TEST()
100 EXPECT_TRUE(BV.end() == BV.end()); in TEST()
114 BV.set(3); in TEST()
117 BV.set(10); in TEST()
138 BV.set(0); in TEST()
143 BV.clear(); in TEST()
148 BV.clear(); in TEST()
153 BV.clear(); in TEST()
[all …]
/dports/math/fcl/fcl-0.7.0/include/fcl/geometry/
H A Dgeometric_shape_to_BVH_model.h85 template<typename BV>
86 int generateBVHModel(BVHModel<BV>& model, const Box<typename BV::S>& shape, const Transform3<typena…
93 template<typename BV>
94 int generateBVHModel(BVHModel<BV>& model, const Sphere<typename BV::S>& shape, const Transform3<typ…
102 template<typename BV>
110 template<typename BV>
120 template<typename BV>
128 template<typename BV>
137 template<typename BV>
146 template<typename BV>
[all …]
/dports/math/gap/gap-4.11.0/pkg/loops-3.4.1/data/rcc/
H A Dsections24.69.tbl21 …u ' 7Q9 ' Au ' W` ' Au ' 3:2 ' Au ' n;f BV =# BV Xz BV 7Q: BV Xz BV 3:) BV IE# BV =# BV Xz BV 7Q: …
22 …W` ' Au ' 7Q9 ' Au ' W` ' Au ' 3:2 ' Au ' o:h BV Xz BV 7Q: BV Xz BV 3:) BV IE# BV =# BV Xz BV 7Q: …
26 ' W` ' Au ' o:h BV Xz BV 6R. BV =# BV Xz BV 2V& BV =# BV Xz BV JD% BV Xz BV 6R. BV =# BV Xz BV 2V& …
27 …u ' W` ' Au ' 2U~ ' Au ' <{ ' Au ' W` ' Au ' pTi BV 7Q: BV Xz BV 2V& BV =# BV Xz BV JD% BV Xz BV 6…
28 …=# BV Xz BV 2V& BV =# BV Xz BV C(PZ H' Ad H' 7P] HnH Ad HnH W* HnH Ad HnH 2U. H' Ad H' <+ …
30 …BE H 4g`< ' Au ' W` ' Au ' 3U1 ' Au ' W` ' Au ' pTi BV 7Q: BV Xz BV 2V& BV =# BV Xz BV Jw& BV 7Q: …
31 V 2V& BV =# BV Xz BV 1#$& ' Au ' W` ' Au ' 3U1 ' Au ' W` ' Au ' w(x BV Xz BV 3U( BV Xz BV Jw& BV 7Q…
32 # BV Xz BV 3pkn% H' Ad H' W* HnH Ad HnH 3/; HnH Ad HnH w(g H BE H Xi H BE H 3:p H BE H R5$ H …
33 H BE H 4he= ' Au ' 3:2 ' Au ' w(x BV Xz BV 3:) BV R5? BV Xz BV 3:) BV 1$H' ' Au ' 3:2 ' Au ' xLy BV…
35 H 4la` ' Au ' xLy BV 3U( BV Xz BV Ro@ BV 3U( BV Xz BV 1(D/ ' Au ' $H) BV Ro@ BV 3U( BV Xz BV 1<&6' …
[all …]
/dports/science/tfel/tfel-3.4.0/mfront/include/MFront/Europlexus/
H A DEuroplexusBehaviourHandler.hxx95 void exe(BV& b, in exe()
142 void exe(BV& b, in exe()
249 if(r==BV::SUCCESS){ in exe()
287 if(r==BV::FAILURE){ in computePredictionOperator()
306 r = BV::FAILURE; in integrate()
324 r=BV::FAILURE; in integrate()
327 if(r==BV::SUCCESS){ in integrate()
330 r=BV::FAILURE; in integrate()
341 BV behaviour;
349 exe(BV& b,const typename BV::SMFlag smf,const typename BV::SMType smt) in exe()
[all …]
/dports/science/tfel-edf/tfel-3.2.1/mfront/include/MFront/Europlexus/
H A DEuroplexusBehaviourHandler.hxx95 void exe(BV& b, in exe()
142 void exe(BV& b, in exe()
249 if(r==BV::SUCCESS){ in exe()
287 if(r==BV::FAILURE){ in computePredictionOperator()
306 r = BV::FAILURE; in integrate()
324 r=BV::FAILURE; in integrate()
327 if(r==BV::SUCCESS){ in integrate()
330 r=BV::FAILURE; in integrate()
341 BV behaviour;
349 exe(BV& b,const typename BV::SMFlag smf,const typename BV::SMType smt) in exe()
[all …]
/dports/math/SCIP/scip-7.0.3/check/instances/MINLP/
H A Dex1266.mps408 BV Bound x0
409 BV Bound x1
410 BV Bound x2
411 BV Bound x3
412 BV Bound x4
413 BV Bound x5
414 BV Bound x6
415 BV Bound x7
416 BV Bound x8
417 BV Bound x9
[all …]
/dports/science/tfel-edf/tfel-3.2.1/mfront/include/MFront/Castem/
H A DCastemBehaviourHandler.hxx193 BV b(bData, iData); in exe()
420 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in computePredictionOperator()
464 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in integrate()
518 r = BV::FAILURE; in integrate()
587 if ((result == BV::SUCCESS) || ((result == BV::UNRELIABLE_RESULTS) && in integrate()
701 typename BV::IntegrationResult r = BV::SUCCESS; in integrate()
711 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in integrate()
766 BV behaviour; in integrate()
772 static typename BV::IntegrationResult exe(BV &b, in integrate()
781 static typename BV::IntegrationResult exe(BV &, in integrate()
[all …]
/dports/science/tfel/tfel-3.4.0/mfront/include/MFront/Castem/
H A DCastemBehaviourHandler.hxx193 BV b(bData, iData); in exe()
420 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in computePredictionOperator()
464 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in integrate()
518 r = BV::FAILURE; in integrate()
587 if ((result == BV::SUCCESS) || ((result == BV::UNRELIABLE_RESULTS) && in integrate()
701 typename BV::IntegrationResult r = BV::SUCCESS; in integrate()
711 typename BV::SMType smtype = BV::NOSTIFFNESSREQUESTED; in integrate()
766 BV behaviour; in integrate()
772 static typename BV::IntegrationResult exe(BV &b, in integrate()
781 static typename BV::IntegrationResult exe(BV &, in integrate()
[all …]
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/util/bitset/
H A Dbmalgo.h49 typename BV::size_type count_and(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_and()
62 typename BV::size_type any_and(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_and()
81 count_xor(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_xor()
97 typename BV::size_type any_xor(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_xor()
115 typename BV::size_type count_sub(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_sub()
132 typename BV::size_type any_sub(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_sub()
149 typename BV::size_type count_or(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_or()
165 typename BV::size_type any_or(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_or()
484 void decompress(BV& bv_target, const BV& bv_idx, const BV& bv_src);
494 void compress(BV& bv_target, const BV& bv_idx, const BV& bv_src);
[all …]
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/include/util/bitset/
H A Dbmalgo.h49 typename BV::size_type count_and(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_and()
62 typename BV::size_type any_and(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_and()
81 count_xor(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_xor()
97 typename BV::size_type any_xor(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_xor()
115 typename BV::size_type count_sub(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_sub()
132 typename BV::size_type any_sub(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_sub()
149 typename BV::size_type count_or(const BV& bv1, const BV& bv2) BMNOEXCEPT in count_or()
165 typename BV::size_type any_or(const BV& bv1, const BV& bv2) BMNOEXCEPT in any_or()
484 void decompress(BV& bv_target, const BV& bv_idx, const BV& bv_src);
494 void compress(BV& bv_target, const BV& bv_idx, const BV& bv_src);
[all …]

12345678910>>...124