Home
last modified time | relevance | path

Searched refs:bvl (Results 126 – 150 of 397) sorted by relevance

12345678910>>...16

/dports/graphics/libgphoto2/libgphoto2-2.5.26/
H A DAUTHORS150 simpson2=bvl <simpson2@users.sourceforge.net>
H A DChangeLog5030 libgphoto2/makefile.os2: bvl: Updated OS/2 makefile and made a
5306 * camlibs/digita/: digita.c, digita.h, serial.c: bvl: init
5316 * docs/build_OS2.txt: bvl: start of information on OS/2 Build
5325 frontends/command-line/makefile.os2: bvl: updated OS/2 makefiles,
5341 frontends/libgphoto2_frontend/makefile.os2: bvl: updated OS/2
5346 * camlibs/.cvsignore: bvl: updated
5366 libgphoto2/makefile.os2: bvl: various changes and updates to OS/2
5389 canon/makefile.os2: bvl: added files to build DLL on OS/2
5404 * camlibs/digita/makefile.os2: bvl: makefile for OS/2
5409 bvl: Changed include file from <gpio/gpio.h> to <gpio.h>
[all …]
/dports/math/reduce/Reduce-svn5758-src/vsl/
H A Dvsl1.c1917 int allsymbols(LispObject bvl) in allsymbols() argument
1919 while (isCONS(bvl)) in allsymbols()
1920 { if (!isSYMBOL(qcar(bvl)) || in allsymbols()
1921 (qflags(qcar(bvl)) & flagGLOBAL) != 0) return 0; in allsymbols()
1922 bvl = qcdr(bvl); in allsymbols()
1924 return (bvl == nil); in allsymbols()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/
H A Dbounded_integers.cpp637 Node bvl = nm->mkNode(BOUND_VAR_LIST, choice_i); in getSetRangeValue() local
639 choice_i = nm->mkNode(CHOICE, bvl, nm->mkNode(OR, cMinCard, cBody)); in getSetRangeValue()
/dports/math/reduce/Reduce-svn5758-src/csl/embedded/
H A Deval1.c451 #define bvl stack[-13] in apply_lambda() macro
495 for (p = bvl; consp(p); p=qcdr(p)) in apply_lambda()
918 #undef bvl in apply_lambda()
/dports/lang/mit-scheme/mit-scheme-9.2/src/runtime/
H A Dunsyn.scm374 (define (collect-lambda name bvl body)
/dports/math/cvc4/CVC4-1.7/src/expr/
H A Ddatatype.h670 void setSygus( Type st, Expr bvl, bool allow_const, bool allow_all );
H A Ddatatype.cpp166 void Datatype::setSygus( Type st, Expr bvl, bool allow_const, bool allow_all ){ in setSygus() argument
170 d_sygus_bvl = bvl; in setSygus()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dquantifiers_rewriter.cpp1614 Node bvl = NodeManager::currentNM()->mkNode( BOUND_VAR_LIST, eqc_to_var[eqc]); in computeSplit() local
1616 Node fa = NodeManager::currentNM()->mkNode( FORALL, bvl, body ); in computeSplit()
1821 Node bvl = NodeManager::currentNM()->mkNode(kind::BOUND_VAR_LIST, qvsh); in computeAggressiveMiniscoping() local
1822 n = NodeManager::currentNM()->mkNode( FORALL, bvl, n ); in computeAggressiveMiniscoping()
H A Dconjecture_generator.cpp906 Node bvl = NodeManager::currentNM()->mkNode( BOUND_VAR_LIST, bvs ); in flushWaitingConjectures() local
907 rsg = NodeManager::currentNM()->mkNode( FORALL, bvl, lhs.eqNode( rhs ) ); in flushWaitingConjectures()
/dports/misc/vxl/vxl-3.3.2/core/doc/book/
H A Dappendix_vsl_for_developers.texi1475 vsl_b_ofstream bfs_out("vgl_point_2d_test_double_io.bvl.tmp");
1476 TEST("Created vgl_point_2d_test_double_io.bvl.tmp for writing", (!bfs_out), false);
1480 vsl_b_ifstream bfs_in("vgl_point_2d_test_double_io.bvl.tmp");
1481 TEST("Opened vgl_point_2d_test_double_io.bvl.tmp for reading", (!bfs_in), false);
/dports/math/reduce/Reduce-svn5758-src/csl/cslbase/
H A Deval1.cpp476 LispObject &bvl = save.val(2); in apply_lambda() local
530 for (p = bvl; consp(p); p=cdr(p)) in apply_lambda()
H A Dccomp.red440 symbolic procedure c!:clambda(bvl, body, args, env);
441 % This is for ((lambda bvl body) args) and it will need to deal with
455 for each x in bvl do
460 for each v in bvl do <<
2616 scalar w, w1, bvl, local_proglabs, progret, progexit,
2619 bvl := cadr u;
2626 for each v in bvl do <<
2631 for each v in bvl do <<
2811 scalar w, bvl, local_proglabs, res;
H A Djcomp.red383 symbolic procedure j!:clambda(bvl, body, args, env);
384 % This is for ((lambda bvl body) args) and it will need to deal with
398 for each x in bvl do
403 for each v in bvl do <<
2627 scalar w, w1, bvl, local_proglabs, progret, progexit,
2630 bvl := cadr u;
2637 for each v in bvl do <<
2642 for each v in bvl do <<
2815 scalar w, bvl, local_proglabs, res;
H A Dexterns.h1164 extern LispObject let_fn_1(LispObject bvl, LispObject body,
H A Dcompiler.lsp1067 (de s!:comlambda (bvl body args env context) (prog (s nbvl fluids fl1 w
1073 nil) (prog (var1071) (setq var1071 bvl) lab1070 (cond ((null var1071) (return
1076 setq var1073 bvl) lab1072 (cond ((null var1073) (return nil))) (prog (v) (
1093 (s!:outopcode0 (quote FREERSTR) (quote (FREERSTR))))) (s!:outlose (length bvl
1561 (de s!:comprog (x env context) (prog (labs s bvl fluids n body local_decs w)
1570 n 1)) (setq bvl (cons v bvl))))))) (setq var1098 (cdr var1098)) (go lab1097)
1572 s)) s!:current_exitlab)) (s!:outstack n) (rplacd env (append bvl (cdr env)))
4482 (de c!:cprog (u env) (prog (w w1 bvl local_proglabs progret progexit fluids
4483 env1 body decs) (setq env1 (car env)) (setq bvl (cadr u)) (setq w (
4485 car w) localdecs)) (prog (var1364) (setq var1364 bvl) lab1363 (cond ((null
[all …]
H A Dcompiler-for-jlisp.lsp1065 (de s!:comlambda (bvl body args env context) (prog (s nbvl fluids fl1 w
1071 nil) (prog (var1071) (setq var1071 bvl) lab1070 (cond ((null var1071) (return
1074 setq var1073 bvl) lab1072 (cond ((null var1073) (return nil))) (prog (v) (
1091 (FREERSTR))))) (s!:outlose (length bvl)) (rplacd env s)))
1514 (de s!:comprog (x env context) (prog (labs s bvl fluids n body local_decs w)
1524 fluids))) (t (progn (setq n (plus n 1)) (setq bvl (cons v bvl))))))) (setq
1527 s!:outstack n) (rplacd env (append bvl (cdr env))) (cond (fluids (prog (fl1)
4417 (de c!:cprog (u env) (prog (w w1 bvl local_proglabs progret progexit fluids
4418 env1 body decs) (setq env1 (car env)) (setq bvl (cadr u)) (setq w (
4420 car w) localdecs)) (prog (var1370) (setq var1370 bvl) lab1369 (cond ((null
[all …]
/dports/cad/alliance/alliance/src/
H A DCHANGES32 + Bug: In expy, bvl, missing include of the "y.tab.h" in the parser file.
/dports/math/reduce/Reduce-svn5758-src/jslisp/lib/build_scripts/
H A Dccomp.red379 symbolic procedure c!:clambda(bvl, body, args, env);
380 % This is for ((lambda bvl body) args) and it will need to deal with
394 for each x in bvl do
399 for each v in bvl do <<
2585 scalar w, w1, bvl, local_proglabs, progret, progexit,
2588 bvl := cadr u;
2595 for each v in bvl do <<
2600 for each v in bvl do <<
2773 scalar w, bvl, local_proglabs, res;
H A Dcompiler.lsp1043 (de s!:comlambda (bvl body args env context) (prog (s nbvl fluids fl1 w
1048 var1071 bvl) lab1070 (cond ((null var1071) (return nil))) (prog (v) (setq v
1050 (cdr var1071)) (go lab1070)) (prog (var1073) (setq var1073 bvl) lab1072 (
1067 quote FREERSTR) (quote (FREERSTR))))) (s!:outlose (length bvl)) (rplacd env s
1476 (de s!:comprog (x env context) (prog (labs s bvl fluids n body local_decs w)
1486 fluids))) (t (progn (setq n (plus n 1)) (setq bvl (cons v bvl))))))) (setq
1489 s!:outstack n) (rplacd env (append bvl (cdr env))) (cond (fluids (prog (fl1)
4370 (de c!:cprog (u env) (prog (w w1 bvl local_proglabs progret progexit fluids
4371 env1 body decs) (setq env1 (car env)) (setq bvl (cadr u)) (setq w (
4373 car w) localdecs)) (prog (var1363) (setq var1363 bvl) lab1362 (cond ((null
[all …]
/dports/audio/din/din-52/src/
H A Dmenu.h752 ball_volume_listener bvl; member
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/
H A Dofsfcadproj.red906 asserted procedure ofsf_cadvalassp(bvl: KernelList, f: SF): Boolean;
909 (!*rlqegenct or sfto_monfp f) and null intersection(bvl, kernels f);
/dports/editors/neovim/neovim-0.6.1/runtime/syntax/
H A Dsicad.vim184 syn keyword sicadStatement buffer bvl bw bza bzap
/dports/editors/vim/vim-8.2.3745/runtime/syntax/
H A Dsicad.vim184 syn keyword sicadStatement buffer bvl bw bza bzap
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp4041 Node bvl; in checkSynth() local
4044 bvl = d_nodeManager->mkNode(kind::BOUND_VAR_LIST, vars); in checkSynth()
4047 attr_val_bvl.push_back(bvl.toExpr()); in checkSynth()

12345678910>>...16