/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | node_manager.cpp | 710 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 D | skolemize.cpp | 273 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | circonusllhist.go | 327 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 D | aliases.5025.037 | 21 bvl 2:5025/37.54 "Victor L.Burkovsky"
|
/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/ |
H A D | OREMAT.lsp | 296 (#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 D | cobuchi.cc | 379 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 D | cobuchi.cc | 379 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 D | ofsfvseset.red | 307 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 D | circonusllhist.go | 327 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-- {
|