Home
last modified time | relevance | path

Searched refs:bvl (Results 1 – 25 of 397) sorted by relevance

12345678910>>...16

/dports/science/py-pymol/pymol-open-source-2.4.0/modules/pymol/
H A Dvfont.py22 bvl = 0.09 # lower bevel variable
36 Ht_bvl = Ht - bvl
37 ht_bvl = ht - bvl
39 nw_bvl = nw - bvl
43 ds_bvl = ds + bvl
51 ht_2mbvl = ht_2 - bvl
52 ht_2pbvl = ht_2 + bvl
726 1, bvl, bvl,
793 1, iw_2-bvl/3.0, 1.2*bvl,
794 1, iw_2+bvl/3.0, 1.2*bvl,
[all …]
/dports/lang/mit-scheme/mit-scheme-9.2/src/sos/
H A Dmacros.scm180 (let ((bvl
510 (lambda (bvl required)
511 (cond ((null? bvl)
513 ((pair? bvl)
527 ((identifier? bvl)
533 (cond ((null? bvl)
535 ((pair? bvl)
546 ((identifier? bvl)
569 bvl)))
575 (lambda (bvl)
[all …]
/dports/math/maxima/maxima-5.43.2/share/macro/
H A Dfexpr.mac20 block([bvl, /* arglist of the main function */
29 bvl:args(fninfo), /* bvl is original arglist */
37 map( lambda([x], /* ** check each var in bvl*/
56 (error("illegal form in bvl -def"))))
57 else ( error ("illegal form in bvl -def"))),
58 bvl), /* (map across bvl) */
62 bvl : vars, /* make bvl same as vars */
69 (bvl:cons([part(bvl,1)],rest(bvl)),
86 bvl : reverse(bvl), /* reverse bvl */
92 buildq([name,auxname,vars,genlist,body,bvl,varsets],
[all …]
/dports/lang/mit-scheme/mit-scheme-9.2/src/runtime/
H A Dlambda-list.scm43 (define (parse-r4rs-lambda-list bvl)
44 (let loop ((bvl* bvl) (required '()))
54 (error:not-r4rs-lambda-list bvl)))))
57 (let loop ((bvl* bvl))
196 (let loop ((bvl bvl))
197 (if (pair? bvl)
200 (car bvl)
201 (procedure (car bvl)))
202 (loop (cdr bvl)))
203 (if (identifier? bvl)
[all …]
H A Dmit-syntax.scm72 (receive (bvl body)
74 (output/lambda bvl body)))
78 (receive (bvl body)
80 (output/named-lambda (identifier->symbol (caadr form)) bvl body)))
82 (define (compile/lambda bvl body environment)
85 (let ((bvl
88 bvl)))
89 (values bvl
/dports/math/cvc4/CVC4-1.7/src/theory/builtin/
H A Dtheory_builtin_rewriter.cpp119 Node bvl) in getFunctionTypeForArrayType() argument
122 for (unsigned i = 0; i < bvl.getNumChildren(); i++) in getFunctionTypeForArrayType()
125 Assert(bvl[i].getType() == atn.getArrayIndexType()); in getFunctionTypeForArrayType()
151 if( bvlIndex<bvl.getNumChildren() ){ in getLambdaForArrayRepresentationRec()
155 Node body = getLambdaForArrayRepresentationRec( a[0], bvl, bvlIndex, visited ); in getLambdaForArrayRepresentationRec()
158 Node val = getLambdaForArrayRepresentationRec( a[2], bvl, bvlIndex+1, visited ); in getLambdaForArrayRepresentationRec()
162 Node cond = bvl[bvlIndex].eqNode( a[1] ); in getLambdaForArrayRepresentationRec()
170 ret = getLambdaForArrayRepresentationRec( sa, bvl, bvlIndex+1, visited ); in getLambdaForArrayRepresentationRec()
182 Node TheoryBuiltinRewriter::getLambdaForArrayRepresentation( TNode a, TNode bvl ){ in getLambdaForArrayRepresentation() argument
186 Node body = getLambdaForArrayRepresentationRec( a, bvl, 0, visited ); in getLambdaForArrayRepresentation()
[all …]
H A Dtheory_builtin_rewriter.h60 static Node getLambdaForArrayRepresentationRec( TNode a, TNode bvl, unsigned bvlIndex,
82 static TypeNode getFunctionTypeForArrayType(TypeNode atn, Node bvl);
111 static Node getLambdaForArrayRepresentation(TNode a, TNode bvl);
/dports/multimedia/v4l_compat/linux-5.13-rc2/include/linux/
H A Dbio.h142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
173 ((bvl = bio_iter_iovec((bio), (iter))), 1); \
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
177 __bio_for_each_segment(bvl, bio, iter, (bio)->bi_iter)
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
187 __bio_for_each_bvec(bvl, bio, iter, (bio)->bi_iter)
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
194 for (i = 0, bvl = bio_first_bvec_all(bio); \
195 i < (bio)->bi_vcnt; i++, bvl++) \
[all …]
/dports/multimedia/libv4l/linux-5.13-rc2/include/linux/
H A Dbio.h142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
173 ((bvl = bio_iter_iovec((bio), (iter))), 1); \
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
177 __bio_for_each_segment(bvl, bio, iter, (bio)->bi_iter)
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
187 __bio_for_each_bvec(bvl, bio, iter, (bio)->bi_iter)
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
194 for (i = 0, bvl = bio_first_bvec_all(bio); \
195 i < (bio)->bi_vcnt; i++, bvl++) \
[all …]
/dports/multimedia/v4l-utils/linux-5.13-rc2/include/linux/
H A Dbio.h142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
173 ((bvl = bio_iter_iovec((bio), (iter))), 1); \
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
177 __bio_for_each_segment(bvl, bio, iter, (bio)->bi_iter)
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
187 __bio_for_each_bvec(bvl, bio, iter, (bio)->bi_iter)
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
194 for (i = 0, bvl = bio_first_bvec_all(bio); \
195 i < (bio)->bi_vcnt; i++, bvl++) \
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_grammar_cons.h75 Node bvl,
82 Node bvl, in mkSygusDefaultType() argument
89 range, bvl, fun, extra_cons, exclude_cons, term_irrelevant); in mkSygusDefaultType()
97 …plateType( Node templ, Node templ_arg, TypeNode templ_arg_sygus_type, Node bvl, const std::string&…
156 Node bvl,
164 …eNode mkSygusTemplateTypeRec( Node templ, Node templ_arg, TypeNode templ_arg_sygus_type, Node bvl,
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dlocal_theory_ext.cpp173 Node bvl; in getInstantiations() local
181 bvl = NodeManager::currentNM()->mkNode( BOUND_VAR_LIST, bvs ); in getInstantiations()
191 getPartialInstantiations( conj, q, bvl, d_vars[q], terms, types, NULL, 0, 0, 0 ); in getInstantiations()
201 Node bvl, in getPartialInstantiations() argument
212 if( bvl.isNull() ){ in getPartialInstantiations()
219 nq = NodeManager::currentNM()->mkNode( FORALL, bvl, body, ipl ); in getPartialInstantiations()
221 nq = NodeManager::currentNM()->mkNode( FORALL, bvl, body ); in getPartialInstantiations()
235 getPartialInstantiations( conj, q, bvl, vars, terms, types, NULL, pindex+1, 0, iindex ); in getPartialInstantiations()
247 bvl, in getPartialInstantiations()
263 getPartialInstantiations( conj, q, bvl, vars, terms, types, NULL, pindex+1, 0, iindex+1 ); in getPartialInstantiations()
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/cl/
H A Dclqe.red439 {ql,varll,f,bvl} := cl_split f;
443 bvl := union(bvl,xbvl);
485 begin scalar q,op,ql,varl,varll,bvl;
497 push(rl_var f,bvl);
502 return {ql,varll,f,bvl}
594 cl_qeblock2(f,varl,theo,ans,bvl)
722 {f,vl,an,theo,ans,bvl} := w;
754 {f, vl, an, theo, ans, bvl} := w
806 theo,ans,bvl);
1089 rl_qefsolset(f,v,theo,ans,bvl)
[all …]
/dports/math/reduce/Reduce-svn5758-src/csl/cslbase/
H A Deval2.cpp341 LispObject &bvl = save.val(1); in let_fn_1() local
378 for (; consp(bvl); bvl=cdr(bvl)) in let_fn_1()
380 q = car(bvl); in let_fn_1()
581 LispObject bvl = car(args); in defmacro_fn() local
583 if (consp(bvl) && cdr(bvl) == nil) in defmacro_fn()
795 LispObject &bvl = save1.val(1); in letstar_fn() local
830 for (; consp(bvl); bvl=cdr(bvl)) in letstar_fn()
832 q = car(bvl); in letstar_fn()
887 for (bvl = specenv; bvl != nil; bvl = cdr(bvl)) in letstar_fn()
888 { LispObject w = car(bvl), v = car(w), z = cdr(w); in letstar_fn()
[all …]
/dports/math/reduce/Reduce-svn5758-src/jlisp/android/AndroidReduce/src/uk/co/codemist/jlisp/
H A DSpecfn.java314 LispObject bvl = args.car; in op()
318 LispObject bvlsave = bvl; in op()
319 while (!bvl.atom) in op()
320 { LispObject w = bvl; in op()
327 bvl = w.cdr; in op()
331 bvl = bvlsave; in op()
333 { LispObject w = bvl; in op()
335 bvl = w.cdr; in op()
372 { bvl = bvlsave; in op()
378 { LispObject w = bvl; in op()
[all …]
H A DFns.java175 LispObject bvl = fn.car; in applyInner() local
180 for (b = bvl; in applyInner()
185 if (passed < nvars) Jlisp.error("not enough args provided", bvl); in applyInner()
190 if (nrest > 1) Jlisp.error("may only have one &rest arg", bvl); in applyInner()
195 Jlisp.error("too many args provided", bvl); in applyInner()
207 for (LispObject b1 = bvl; !b1.atom; b1 = b1.cdr) in applyInner()
223 for (LispObject b1 = bvl; !b1.atom; b1 = b1.cdr) in applyInner()
/dports/math/reduce/Reduce-svn5758-src/jslisp/src/java/org/mathpiper/mpreduce/special/
H A DSpecfn.java318 LispObject bvl = args.car; in op()
322 LispObject bvlsave = bvl; in op()
323 while (!bvl.atom) in op()
324 { LispObject w = bvl; in op()
331 bvl = w.cdr; in op()
335 bvl = bvlsave; in op()
337 { LispObject w = bvl; in op()
339 bvl = w.cdr; in op()
376 { bvl = bvlsave; in op()
382 { LispObject w = bvl; in op()
[all …]
/dports/math/reduce/Reduce-svn5758-src/jlisp/core/
H A DSpecfn.java319 LispObject bvl = args.car; in op()
323 LispObject bvlsave = bvl; in op()
324 while (!bvl.atom) in op()
325 { LispObject w = bvl; in op()
332 bvl = w.cdr; in op()
336 bvl = bvlsave; in op()
338 { LispObject w = bvl; in op()
340 bvl = w.cdr; in op()
377 { bvl = bvlsave; in op()
383 { LispObject w = bvl; in op()
[all …]
/dports/net/openldap24-server/openldap-2.4.59/servers/slapd/
H A Dentry.c964 struct berval *bvl; in entry_dup_bv() local
997 dst->a_vals = bvl; in entry_dup_bv()
1001 bvl->bv_val = ptr; in entry_dup_bv()
1003 ptr += bvl->bv_len; in entry_dup_bv()
1005 bvl++; in entry_dup_bv()
1007 BER_BVZERO(bvl); in entry_dup_bv()
1008 bvl++; in entry_dup_bv()
1010 dst->a_nvals = bvl; in entry_dup_bv()
1017 bvl++; in entry_dup_bv()
1019 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/net/openldap25-server/openldap-2.5.9/servers/slapd/
H A Dentry.c963 struct berval *bvl; in entry_dup_bv() local
996 dst->a_vals = bvl; in entry_dup_bv()
1000 bvl->bv_val = ptr; in entry_dup_bv()
1002 ptr += bvl->bv_len; in entry_dup_bv()
1004 bvl++; in entry_dup_bv()
1006 BER_BVZERO(bvl); in entry_dup_bv()
1007 bvl++; in entry_dup_bv()
1009 dst->a_nvals = bvl; in entry_dup_bv()
1016 bvl++; in entry_dup_bv()
1018 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/net/openldap24-client/openldap-2.4.59/servers/slapd/
H A Dentry.c964 struct berval *bvl; in entry_dup_bv() local
997 dst->a_vals = bvl; in entry_dup_bv()
1001 bvl->bv_val = ptr; in entry_dup_bv()
1003 ptr += bvl->bv_len; in entry_dup_bv()
1005 bvl++; in entry_dup_bv()
1007 BER_BVZERO(bvl); in entry_dup_bv()
1008 bvl++; in entry_dup_bv()
1010 dst->a_nvals = bvl; in entry_dup_bv()
1017 bvl++; in entry_dup_bv()
1019 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/net/openldap25-client/openldap-2.5.9/servers/slapd/
H A Dentry.c963 struct berval *bvl; in entry_dup_bv() local
996 dst->a_vals = bvl; in entry_dup_bv()
1000 bvl->bv_val = ptr; in entry_dup_bv()
1002 ptr += bvl->bv_len; in entry_dup_bv()
1004 bvl++; in entry_dup_bv()
1006 BER_BVZERO(bvl); in entry_dup_bv()
1007 bvl++; in entry_dup_bv()
1009 dst->a_nvals = bvl; in entry_dup_bv()
1016 bvl++; in entry_dup_bv()
1018 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/net/openldap26-server/openldap-2.6.0/servers/slapd/
H A Dentry.c964 struct berval *bvl; in entry_dup_bv() local
997 dst->a_vals = bvl; in entry_dup_bv()
1001 bvl->bv_val = ptr; in entry_dup_bv()
1003 ptr += bvl->bv_len; in entry_dup_bv()
1005 bvl++; in entry_dup_bv()
1007 BER_BVZERO(bvl); in entry_dup_bv()
1008 bvl++; in entry_dup_bv()
1010 dst->a_nvals = bvl; in entry_dup_bv()
1017 bvl++; in entry_dup_bv()
1019 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/net/openldap26-client/openldap-2.6.0/servers/slapd/
H A Dentry.c964 struct berval *bvl; in entry_dup_bv() local
997 dst->a_vals = bvl; in entry_dup_bv()
1001 bvl->bv_val = ptr; in entry_dup_bv()
1003 ptr += bvl->bv_len; in entry_dup_bv()
1005 bvl++; in entry_dup_bv()
1007 BER_BVZERO(bvl); in entry_dup_bv()
1008 bvl++; in entry_dup_bv()
1010 dst->a_nvals = bvl; in entry_dup_bv()
1017 bvl++; in entry_dup_bv()
1019 BER_BVZERO(bvl); in entry_dup_bv()
[all …]
/dports/math/reduce/Reduce-svn5758-src/csl/embedded/
H A Deval2.c612 push3(bvl, body, env); in let_fn_1()
628 #define bvl stack[-7] in let_fn_1() macro
666 for (; consp(bvl); bvl=qcdr(bvl)) in let_fn_1()
668 q = qcar(bvl); in let_fn_1()
793 #undef bvl in let_fn_1()
1167 #define bvl stack[-7] in letstar_fn() macro
1200 for (; consp(bvl); bvl=qcdr(bvl)) in letstar_fn()
1202 q = qcar(bvl); in letstar_fn()
1285 for (bvl = specenv; bvl != nil; bvl = qcdr(bvl)) in letstar_fn()
1295 for (bvl = specenv; bvl != nil; bvl = qcdr(bvl)) in letstar_fn()
[all …]

12345678910>>...16