| /dports/math/cvc4/CVC4-1.7/src/theory/builtin/ |
| H A D | theory_builtin_rewriter.cpp | 119 Node bvl) in getFunctionTypeForArrayType()
146 Node TheoryBuiltinRewriter::getLambdaForArrayRepresentationRec( TNode a, TNode bvl, unsigned bvlInd… in getLambdaForArrayRepresentationRec() argument
182 Node TheoryBuiltinRewriter::getLambdaForArrayRepresentation( TNode a, TNode bvl ){ in getLambdaForArrayRepresentation()
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/src/ |
| H A D | sequence.d | 2034 var uintV bvl = end_minus_start(stackptr STACKop -3,stackptr STACKop -2, in seq_filterop() local
2125 local maygc object remove_help (gcv_object_t* stackptr, uintV bvl, uintV dl) { in remove_help()
2356 var uintV bvl = end_minus_start(stackptr STACKop -3,stackptr STACKop -2, in remove_op() local
2425 var uintV bvl = end_minus_start(stackptr STACKop -3,stackptr STACKop -2, in delete_op() local
2539 uintV bvl) { in remove_duplicates_list_from_start()
2616 uintV bvl) { in delete_duplicates_list_from_start()
2703 uintV bvl) { in delete_duplicates_list_from_end()
2823 var uintV bvl = end_minus_start(stackptr STACKop -3,stackptr STACKop -2, in seq_duplicates() local
3135 local maygc object substitute_help (gcv_object_t* stackptr, uintV bvl, in substitute_help()
3278 var uintV bvl = end_minus_start(stackptr STACKop -3,stackptr STACKop -2, in substitute_op() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | regexp_elim.cpp | 313 Node bvl = nm->mkNode(BOUND_VAR_LIST, non_greedy_find_vars); in eliminateConcat() local
444 Node bvl = nm->mkNode(BOUND_VAR_LIST, k); in eliminateConcat() local
531 Node bvl = nm->mkNode(BOUND_VAR_LIST, index); in eliminateStar() local
559 Node bvl = nm->mkNode(BOUND_VAR_LIST, index); in eliminateStar() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | sygus_grammar_cons.h | 82 Node bvl, in mkSygusDefaultType()
|
| H A D | sygus_grammar_cons.cpp | 420 Node bvl, in mkSygusDefaultGrammar()
930 Node bvl, in mkSygusDefaultType()
959 …uctor::mkSygusTemplateTypeRec( Node templ, Node templ_arg, TypeNode templ_arg_sygus_type, Node bvl, in mkSygusTemplateTypeRec()
1001 …structor::mkSygusTemplateType( Node templ, Node templ_arg, TypeNode templ_arg_sygus_type, Node bvl, in mkSygusTemplateType()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | local_theory_ext.cpp | 173 Node bvl; in getInstantiations() local
201 Node bvl, in getPartialInstantiations()
|
| H A D | fun_def_process.cpp | 73 Node bvl = NodeManager::currentNM()->mkNode( kind::BOUND_VAR_LIST, bv ); in simplify() local
306 Node bvl = nm->mkNode(BOUND_VAR_LIST, z); in getConstraints() local
|
| H A D | anti_skolem.cpp | 283 Node bvl = NodeManager::currentNM()->mkNode( kind::BOUND_VAR_LIST, inner_vars ); in sendAntiSkolemizeLemma() local
287 Node bvl = NodeManager::currentNM()->mkNode( kind::BOUND_VAR_LIST, outer_vars ); in sendAntiSkolemizeLemma() local
|
| H A D | rewrite_engine.cpp | 233 std::vector< Node > bvl; in registerQuantifier() local
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/include/linux/ |
| H A D | bio.h | 142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
170 #define __bio_for_each_segment(bvl, bio, iter, start) \ argument
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
731 #define bip_for_each_vec(bvl, bip, iter) \ argument
|
| H A D | bvec.h | 141 #define for_each_bvec(bvl, bio_vec, iter, start) \ argument
|
| /dports/multimedia/libv4l/linux-5.13-rc2/include/linux/ |
| H A D | bio.h | 142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
170 #define __bio_for_each_segment(bvl, bio, iter, start) \ argument
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
731 #define bip_for_each_vec(bvl, bip, iter) \ argument
|
| H A D | bvec.h | 141 #define for_each_bvec(bvl, bio_vec, iter, start) \ argument
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/include/linux/ |
| H A D | bio.h | 142 #define bio_for_each_segment_all(bvl, bio, iter) \ argument
170 #define __bio_for_each_segment(bvl, bio, iter, start) \ argument
176 #define bio_for_each_segment(bvl, bio, iter) \ argument
179 #define __bio_for_each_bvec(bvl, bio, iter, start) \ argument
186 #define bio_for_each_bvec(bvl, bio, iter) \ argument
193 #define bio_for_each_bvec_all(bvl, bio, i) \ argument
731 #define bip_for_each_vec(bvl, bip, iter) \ argument
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | global_negate.cpp | 88 Node bvl = nm->mkNode(BOUND_VAR_LIST, bvs); in simplify() local
|
| H A D | sygus_abduct.cpp | 120 Node bvl = nm->mkNode(BOUND_VAR_LIST, vars); in applyInternal() local
|
| H A D | sygus_inference.cpp | 261 Node bvl = nm->mkNode(BOUND_VAR_LIST, qvars); in solveSygus() local
|
| /dports/math/reduce/Reduce-svn5758-src/csl/cslbase/ |
| H A D | eval2.cpp | 341 LispObject &bvl = save.val(1); in let_fn_1() local
581 LispObject bvl = car(args); in defmacro_fn() local
795 LispObject &bvl = save1.val(1); in letstar_fn() local
|
| /dports/math/reduce/Reduce-svn5758-src/csl/embedded/ |
| H A D | eval2.c | 599 Lisp_Object let_fn_1(Lisp_Object bvl, Lisp_Object body, in let_fn_1()
628 #define bvl stack[-7] in let_fn_1() macro
1167 #define bvl stack[-7] in letstar_fn() macro
|
| /dports/science/py-pymol/pymol-open-source-2.4.0/modules/pymol/ |
| H A D | vfont.py | 22 bvl = 0.09 # lower bevel variable
|
| /dports/devel/jna/jna-5.7.0/contrib/native_window_msg/src/com/sun/jna/platform/win32/ |
| H A D | Win32WindowDemo.java | 324 DEV_BROADCAST_VOLUME bvl = new DEV_BROADCAST_VOLUME(bhdr.getPointer()); in onDeviceChangeArrivalOrRemoveComplete() local
|
| /dports/math/reduce/Reduce-svn5758-src/jlisp/android/AndroidReduce/src/uk/co/codemist/jlisp/ |
| H A D | Fns.java | 175 LispObject bvl = fn.car; in applyInner() local
|
| /dports/math/reduce/Reduce-svn5758-src/jlisp/core/ |
| H A D | Fns.java | 199 LispObject bvl = fn.car; in applyInner() local
|
| /dports/math/reduce/Reduce-svn5758-src/jslisp/src/java/org/mathpiper/mpreduce/functions/builtin/ |
| H A D | Fns.java | 186 LispObject bvl = fn.car; in applyInner() local
|
| /dports/net/openldap25-client/openldap-2.5.9/libraries/libldap/ |
| H A D | ldifutil.c | 117 struct berval **bvl, bv; in ldap_parse_ldif_record_x() local
|