Home
last modified time | relevance | path

Searched refs:bvl (Results 76 – 100 of 397) sorted by relevance

12345678910>>...16

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dnode_manager.cpp710 Node bvl = tn.getAttribute(LambdaBoundVarListAttr()); in getBoundVarListForFunctionType() local
711 if( bvl.isNull() ){ in getBoundVarListForFunctionType()
716 bvl = NodeManager::currentNM()->mkNode( kind::BOUND_VAR_LIST, vars ); in getBoundVarListForFunctionType()
717 Trace("functions") << "Make standard bound var list " << bvl << " for " << tn << std::endl; in getBoundVarListForFunctionType()
718 tn.setAttribute(LambdaBoundVarListAttr(),bvl); in getBoundVarListForFunctionType()
720 return bvl; in getBoundVarListForFunctionType()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dskolemize.cpp273 Node bvl = NodeManager::currentNM()->mkNode(BOUND_VAR_LIST, rem_ind_vars); in mkSkolemizedBody() local
274 nret = NodeManager::currentNM()->mkNode(FORALL, bvl, nret); in mkSkolemizedBody()
280 ->mkNode(FORALL, bvl, n_str_ind.negate()) in mkSkolemizedBody()
/dports/sysutils/helmfile/vault-f6547fa8e820/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/consul/consul-1.10.3/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/misc/concourse/vault-bdd38fca2cff/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/gomplate/gomplate-3.9.0/vendor/github.com/hashicorp/consul/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/gomplate/gomplate-3.9.0/vendor/github.com/hashicorp/vault/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/hashicorp/consul/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/hashicorp/consul/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/helmfile/helmfile-0.138.7/vendor/github.com/hashicorp/vault/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/security/vault/vault-1.8.2/vendor/github.com/hashicorp/consul/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/security/vault/vault-1.8.2/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/hashicorp/vault/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/nomad/nomad-1.1.0/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/gomplate/vault-sdk-v0.1.13/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/devel/gitlab-runner/gitlab-runner-8925d9a06fd8e452e2161a768462652a2a13111f/vendor/github.com/hashicorp/vault/vault-api-v1.0.4/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/net/traefik/traefik-2.6.1/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/devel/gitlab-runner/vault-sdk-v0.1.13/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/sysutils/istio/vault-sdk-v0.1.12/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {
/dports/news/fidogate4/fidogate-4.4.10/contrib/fidogate-4.3a3-ai-pl9.1/fido.vsu.ru/etc/
H A Daliases.5025.03721 bvl 2:5025/37.54 "Victor L.Burkovsky"
/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/
H A DOREMAT.lsp296 (#7=#:G530 NIL) (|bvl| (|List| (|Vector| F))) (|cba| (|List| #6#))
325 (SEQ (LETT |n| (LENGTH |lv|)) (LETT |bvl| NIL)
436 (LETT |nbas| (LENGTH |bvl|))
442 (LETT #29# |bvl|)
470 (SPADCALL |cba| |bvl|
740 (SPADCALL |nbcv| |bvl|
815 (SPADCALL |nbcv1| |na| |bvl|
828 (EXIT (LETT |bvl| |nbvl|)))))))
859 |bvl|)))))))))
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dcobuchi.cc379 bool operator()(std::pair<unsigned, const bitvect_array*> bvl, in operator ()()
382 if (bvl.first != bvr.first) in operator ()()
384 size_t size = bvl.second->size(); in operator ()()
386 if (bvl.second->at(i) != bvr.second->at(i)) in operator ()()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dcobuchi.cc379 bool operator()(std::pair<unsigned, const bitvect_array*> bvl, in operator ()()
382 if (bvl.first != bvr.first) in operator ()()
384 size_t size = bvl.second->size(); in operator ()()
386 if (bvl.second->at(i) != bvr.second->at(i)) in operator ()()
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/
H A Dofsfvseset.red307 putv(de, 4, 'undefined); % [bvl]: do not make assumptions on variables in [bvl]
323 procedure vsde_putbvl(de, bvl); putv(de, 4, bvl);
327 asserted procedure vsde_mk(var: Kernel, f: QfFormula, theo: Theory, bvl: KernelL): VSde;
334 vsde_putbvl(de, bvl);
350 putv(dc, 3, 'undefined); % [bvl]: do not make assumptions on variables in [bvl]
366 procedure vsdc_putbvl(dc, bvl); putv(dc, 3, bvl);
371 asserted procedure vsdc_mk(var: Kernel, f: QfFormula, bvl: KernelL, ptheo: Theory, ttheo: Theory): …
376 vsdc_putbvl(dc, bvl);
501 gdc := vsdc_mk(var, f, bvl, theo, nil);
511 cgdc := vsdc_mk(var, f, bvl, theo, nil);
[all …]
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/circonus-labs/circonusllhist/
H A Dcirconusllhist.go327 var bvl uint8
328 err = binary.Read(in, binary.BigEndian, &bvl)
332 if bvl > uint8(BVL8) {
337 b := bcount[0 : bvl+1]
344 for i := int(bvl + 1); i >= 0; i-- {

12345678910>>...16