/dports/graphics/libgphoto2/libgphoto2-2.5.26/ |
H A D | AUTHORS | 150 simpson2=bvl <simpson2@users.sourceforge.net>
|
H A D | ChangeLog | 5030 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 D | vsl1.c | 1917 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 D | bounded_integers.cpp | 637 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 D | eval1.c | 451 #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 D | unsyn.scm | 374 (define (collect-lambda name bvl body)
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | datatype.h | 670 void setSygus( Type st, Expr bvl, bool allow_const, bool allow_all );
|
H A D | datatype.cpp | 166 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 D | quantifiers_rewriter.cpp | 1614 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 D | conjecture_generator.cpp | 906 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 D | appendix_vsl_for_developers.texi | 1475 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 D | eval1.cpp | 476 LispObject &bvl = save.val(2); in apply_lambda() local 530 for (p = bvl; consp(p); p=cdr(p)) in apply_lambda()
|
H A D | ccomp.red | 440 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 D | jcomp.red | 383 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 D | externs.h | 1164 extern LispObject let_fn_1(LispObject bvl, LispObject body,
|
H A D | compiler.lsp | 1067 (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 D | compiler-for-jlisp.lsp | 1065 (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 D | CHANGES | 32 + 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 D | ccomp.red | 379 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 D | compiler.lsp | 1043 (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 D | menu.h | 752 ball_volume_listener bvl; member
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
H A D | ofsfcadproj.red | 906 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 D | sicad.vim | 184 syn keyword sicadStatement buffer bvl bw bza bzap
|
/dports/editors/vim/vim-8.2.3745/runtime/syntax/ |
H A D | sicad.vim | 184 syn keyword sicadStatement buffer bvl bw bza bzap
|
/dports/math/cvc4/CVC4-1.7/src/smt/ |
H A D | smt_engine.cpp | 4041 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()
|