/dports/cad/ngspice_rework/ngspice-35/src/spicelib/devices/ind/ |
H A D | indload.c | 22 double veq; in INDload() local
|
/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | gauss.cc | 803 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 820 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 834 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 849 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 881 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 901 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(-3,3))); in quadrique_reduite() local 943 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(0,cst_two_pi))); in quadrique_reduite() local 956 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(-3,3))); in quadrique_reduite() local 985 gen veq=symbolic(at_equal,makesequence(vpar,symb_interval(-5,5))); in quadrique_reduite() local
|
/dports/security/highwayhash/highwayhash-bdd572de8cfa3a1fbef6ba32307c2629db7c4773/highwayhash/ |
H A D | vector_test_target.cc | 108 const V<T> veq(v3 == v3b); in TestMembersAndBinaryOperatorsExceptShifts() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | arith_msum.cpp | 205 Node v, const std::map<Node, Node>& msum, Node& veq, Kind k, bool doCoeff) in isolate() argument
|
/dports/science/thermofun/thermofun-0.3.8/ThermoFun/Substances/Solids/ |
H A D | SolidBMGottschalk.cpp | 45 auto veq = 3./2.*kt0*(1.+3./4.*(kp-4.)*(vt23-1.) in BM_Volume() local
|
/dports/emulators/ppsspp/ppsspp-1.12.3/ext/armips/Tests/RSP Opcodes/ |
H A D | RSP Opcodes.asm | 50 veq v1,v1,v1[7w] label
|
/dports/emulators/ppsspp-qt5/ppsspp-1.12.3/ext/armips/Tests/RSP Opcodes/ |
H A D | RSP Opcodes.asm | 50 veq v1,v1,v1[7w] label
|
/dports/emulators/libretro-ppsspp/ppsspp-1.12.3/ext/armips/Tests/RSP Opcodes/ |
H A D | RSP Opcodes.asm | 50 veq v1,v1,v1[7w] label
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | equality_infer.cpp | 322 Node veq; in eqNotifyMerge() local
|
H A D | quantifiers_attributes.cpp | 162 Node veq; in getFunDefBody() local
|
/dports/databases/mariadb105-client/mariadb-10.5.15/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/databases/mariadb104-server/mariadb-10.4.24/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/databases/mariadb104-client/mariadb-10.4.24/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/databases/mariadb103-server/mariadb-10.3.34/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/databases/mariadb103-client/mariadb-10.3.34/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/databases/mariadb105-server/mariadb-10.5.15/storage/connect/ |
H A D | array.cpp | 839 bool bin, bax, pin, pax, veq, all = (opm == 2); in BlockTest() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ |
H A D | ceg_arith_instantiator.cpp | 726 Node veq; in postProcessInstantiationForVariable() local
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | q_mbi.cpp | 377 expr_ref veq = mk_or(veqs); in add_domain_eqs() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
H A D | q_mbi.cpp | 364 expr_ref veq = mk_or(veqs); in add_domain_eqs() local
|
/dports/biology/cufflinks/cufflinks-2.2.1-89-gdc3b0cb/src/locfit/ |
H A D | arith.c | 27 double veq(double e1,double e2) { return((double)(e1==e2)); } in veq() function
|
/dports/emulators/mess/mame-mame0226/src/devices/cpu/rsp/ |
H A D | rspcp2.h | 140 virtual void veq() { } in veq() function
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/ |
H A D | bounded_integers.cpp | 224 Node veq; in process() local
|
/dports/emulators/mame/mame-mame0226/src/devices/cpu/rsp/ |
H A D | rspcp2.h | 140 virtual void veq() { } in veq() function
|
/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
H A D | seq_eq_solver.cpp | 348 expr* veq = ctx.expr2rep(eq); in reduce_binary_eq() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/ |
H A D | trigger.cpp | 348 Node veq; in getIsUsableTrigger() local
|