| /dports/lang/eisl/eisl-2.35/bench/ |
| H A D | boyer.lsp | 52 (defun truep (x lst) function
|
| /dports/math/octave-forge-optim/optim-1.6.1/inst/ |
| H A D | test_min_2.m | 46 truep = rem (1:P, P/4)'; variable
|
| H A D | test_min_3.m | 42 truep = rem (1:P, P/4)'; variable
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/benchmarks/ |
| H A D | boyer.lisp | 530 (defun truep (x lst) function
|
| /dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/misc/ |
| H A D | boyer.ml | 774 let truep x lst = function
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/misc/ |
| H A D | boyer.ml | 774 let truep x lst = function
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_local_search.cpp | 71 coeff_vector& truep = m_vars[v].m_watch[is_true]; in init_slack() local
89 coeff_vector& truep = m_vars[v].m_watch[is_true]; in init_scores() local
701 coeff_vector const& truep = m_vars[flipvar].m_watch[flip_is_true]; in flip_walksat() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_local_search.cpp | 71 coeff_vector& truep = m_vars[v].m_watch[is_true]; in init_slack() local
89 coeff_vector& truep = m_vars[v].m_watch[is_true]; in init_scores() local
704 coeff_vector const& truep = m_vars[flipvar].m_watch[flip_is_true]; in flip_walksat() local
|
| /dports/science/plumed/plumed2-2.7.2/src/multicolvar/ |
| H A D | VolumeTetrapore.cpp | 213 Vector truep = crossProduct( cross, bisector ); in setupRegions() local
|
| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | db.lisp | 369 (defun truep (pat) function
|
| /dports/net/tigervnc-server/tigervnc-1.12.0/unix/xserver/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xephyr/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xwayland-devel/xorg-xserver-xorg-server-21.0.99.1-177-g9e5a37961/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xorg-vfbserver/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xorg-server/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xorg-dmx/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xarcan/xarcan-0.6.0/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xorg-nestserver/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/x11-servers/xwayland/xorg-server-1.20.13/Xext/ |
| H A D | xselinux_hooks.c | 79 static void *truep = (void *) 1; variable
|
| /dports/cad/verilator/verilator-4.216/src/ |
| H A D | V3Const.cpp | 2870 AstNode* const truep = ifp->rhsp()->unlinkFrBack(); in visit() local
|