| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | qe_arith_plugin.cpp | 52 static bool is_divides(arith_util& a, expr* e, rational& k, expr_ref& t) { in is_divides()
71 void update(rational const& k, expr* t) { in update()
91 div_constraint(numeral const& k, numeral const& a, expr* t): in div_constraint()
662 rational k; in mk_atom() local
888 numeral k; in isolate_x() local
945 rational k; in solve_singular() local
1083 numeral k; in reduce_equation() local
1117 numeral k; in is_linear() local
1218 expr* const* lt() { return m_lt_terms.data(); } in lt() function in qe::bounds_proc
1354 rational k; in get_le_bound() local
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | qe_arith_plugin.cpp | 52 static bool is_divides(arith_util& a, expr* e, rational& k, expr_ref& t) { in is_divides()
71 void update(rational const& k, expr* t) { in update()
91 div_constraint(numeral const& k, numeral const& a, expr* t): in div_constraint()
662 rational k; in mk_atom() local
888 numeral k; in isolate_x() local
945 rational k; in solve_singular() local
1083 numeral k; in reduce_equation() local
1117 numeral k; in is_linear() local
1218 expr* const* lt() { return m_lt_terms.c_ptr(); } in lt() function in qe::bounds_proc
1354 rational k; in get_le_bound() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | theory_strings.cpp | 230 Node lt = mkLength( te ); in getLengthExp() local
434 Kind k = n.getKind(); in doReduction() local
841 Kind k = n.getKind(); in preRegisterTerm() local
972 for( unsigned t=0; t<2; t++ ) { in check() local
1118 Kind k = t.getKind(); in eqNotifyNewClass() local
1410 Kind k = n.getKind(); in checkInit() local
2685 for( unsigned k=0; k<2; k++ ){ in trackNfExpDependency() local
3061 int k = r==0 ? i : j; in processSimpleNEq() local
4414 Node lt[2]; in checkNormalFormsDeq() local
4466 Node lt = ei ? ei->d_length_term : Node::null(); in checkLengthsEqc() local
[all …]
|
| /dports/cad/sumo/sumo-1.2.0/src/netimport/ |
| H A D | NIImporter_OpenDrive.cpp | 682 std::vector<OpenDriveLaneSection>::iterator k = e->laneSections.begin(); in loadNetwork() local
803 std::vector<Connection> t; in buildConnectionsToOuter() local
1055 const std::string& nodeID, NIImporter_OpenDrive::LinkType lt) { in setNodeSecure()
1129 for (PositionVector::iterator k = geom.begin(); k != geom.end(); ++k) { in computeShapes() local
1141 int k = 0; in computeShapes() local
1175 int k = 0; in computeShapes() local
1310 double t = 0; in geomFromSpiral() local
1589 for (int k = 0; k < (int)ret.lanesByDir[OPENDRIVE_TAG_RIGHT].size(); ++k) { in buildLaneSection() local
1597 for (int k = 0; k < (int)ret.lanesByDir[OPENDRIVE_TAG_LEFT].size(); ++k) { in buildLaneSection() local
2082 NIImporter_OpenDrive::addLink(LinkType lt, const std::string& elementType, in addLink()
[all …]
|
| /dports/security/openssl-unsafe/openssl-c9ba19c/crypto/bn/ |
| H A D | bn_lib.c | 469 BIGNUM *t; in BN_dup() local
682 int gt, lt; in BN_cmp() local
728 int i, j, k; in BN_set_bit() local
866 BN_ULONG t; in BN_consttime_swap() local
|
| /dports/deskutils/genius/genius-1.0.27/src/ |
| H A D | eval.c | 1270 int k; in gel_expandmatrix() local
1455 gboolean lt = gel_isnodetrue (l, NULL); in eqlnodes() local
1810 gboolean lt = gel_isnodetrue (ll, NULL); in op_two_nodes() local
2068 int i,j,k; in expensive_matrix_multiply() local
2638 gboolean lt = gel_isnodetrue (l, NULL); in boolean_add() local
2649 gboolean lt = gel_isnodetrue (l, NULL); in boolean_sub() local
2660 gboolean lt = gel_isnodetrue (l, NULL); in boolean_mul() local
2671 gboolean lt = gel_isnodetrue (l, NULL); in boolean_neg() local
4576 GelETree *t; in iter_push_matrix() local
6501 GelETree *t; in iter_get_velement() local
[all …]
|
| /dports/graphics/p5-Imager/Imager-1.012/ |
| H A D | polygon.c | 69 int t; in p_eval_aty() local
78 int t; in p_eval_atx() local
180 int k; in lines_in_interval() local
202 int k; in mark_updown_slices() local
265 i_color t; in scanline_flush() local
395 int lt = coarse(lmaxx-1) >= cpix; in render_slice_scanline() local
448 int i ,k; /* Index variables */ in i_poly_poly_aa_low() local
|
| /dports/audio/sphinx3/sphinx3-0.8/src/libs3decoder/libsearch/ |
| H A D | lextree.c | 371 int32 i, j, k, p; in lextree_build() local
705 int32 k; in lextree_subtree_free() local
733 int32 k; in lextree_shrub_subtree_cw_leaves() local
786 int32 k, i; in lextree_shrub_cw_leaves() local
838 int32 i, k; in lextree_free() local
1056 lextree_realloc_active_list(lextree_t * lt, int32 num_active) in lextree_realloc_active_list()
1232 lextree_node_t **t; in lextree_active_swap() local
1247 int32 i, k; in lextree_hmm_eval() local
1308 int32 i, k; in lextree_hmm_histbin() local
|
| /dports/ftp/ncftp3/ncftp-3.2.6/ncftp/ |
| H A D | ls.c | 57 struct tm lt; in InitLsMonths() local
193 int i, j, k, l; in LsC() local
260 struct tm t; in LsDate() local
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/FSUDace/ |
| H A D | fsu_sub.C | 479 int k; in dge_det() local
481 double t; in dge_det() local
878 int k; in dmat_uniform_01() local
1409 int k; in dvec_uniform_01() local
1729 const char *t; in file_name_ext_swap() local
2016 struct tm *lt; in get_seed() local
3386 const char *t; in s_index_last_c() local
3448 const char* t; in s_len_trim() local
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/classfile/ |
| H A D | systemDictionary.cpp | 311 Klass* k = NULL; in resolve_array_class_or_null() local
312 BasicType t = ss.type(); in resolve_array_class_or_null() local
479 LogTarget(Debug, protectiondomain) lt; in validate_protection_domain() local
739 InstanceKlass* k = NULL; in resolve_instance_class_or_null() local
989 Klass* k = NULL; in find_instance_or_array_klass() local
998 BasicType t = ss.type(); in find_instance_or_array_klass() local
1130 InstanceKlass* k = NULL; in resolve_from_stream() local
1550 InstanceKlass* k = NULL; in load_instance_class() local
2027 InstanceKlass* k = *klassp; in resolve_wk_klass() local
2295 BasicType t = ss.type(); in find_constrained_instance_or_array_klass() local
[all …]
|
| /dports/science/apbs/apbs-pdb2pqr-apbs-1.5-102-g500c1473/apbs/externals/fetk/mc/src/aprx/ |
| H A D | estim.c | 110 TT *t, int qp, int face, Bvec *u, Bvec *ud, in Aprx_buildFunc()
113 int i, j, k; in Aprx_buildFunc() local
184 TT t, t_N; in Aprx_estNonlinResid() local
845 int i, j, k, dim, numV, vxid, m, n, iComp, smid, iters, done; in Aprx_estRecovGrad() local
1034 TT t; in Aprx_estRecovGradSS() local
1094 int i, j, l, r, lt, rt, t, right; in Aprx_markRefineFixed() local
1441 TT t; in Aprx_estFaceBump() local
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/hotspot/share/classfile/ |
| H A D | systemDictionary.cpp | 350 Klass* k = NULL; in resolve_array_class_or_null() local
351 BasicType t = ss.type(); in resolve_array_class_or_null() local
518 LogTarget(Debug, protectiondomain) lt; in validate_protection_domain() local
778 InstanceKlass* k = NULL; in resolve_instance_class_or_null() local
1030 Klass* k = NULL; in find_instance_or_array_klass() local
1039 BasicType t = ss.type(); in find_instance_or_array_klass() local
1172 InstanceKlass* k = NULL; in resolve_from_stream() local
1611 InstanceKlass* k = NULL; in load_instance_class() local
2081 InstanceKlass* k = *klassp; in resolve_wk_klass() local
2349 BasicType t = ss.type(); in find_constrained_instance_or_array_klass() local
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | omega.c | 465 int e, v, v1, v2, v3, t; in omega_pretty_print_problem() local
471 none, le, lt in omega_pretty_print_problem() enumerator
901 int k; in setup_packing() local
1044 int k; in omega_substitute() local
1080 int k; in omega_substitute() local
1183 int k; in omega_substitute() local
1201 int k, i; in omega_do_mod() local
3250 int t = int_mod (eqn->coef[j], g); in omega_solve_eq() local
3992 int t; in omega_solve_geq() local
4302 int k; in omega_solve_geq() local
[all …]
|
| /dports/security/libressl-static/libressl-3.3.5/crypto/bn/ |
| H A D | bn_lib.c | 398 BIGNUM *t; in BN_dup() local
629 int gt, lt; in BN_cmp() local
676 int i, j, k; in BN_set_bit() local
822 BN_ULONG t; in BN_consttime_swap() local
874 BN_ULONG t; in BN_swap_ct() local
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/os/solaris/ |
| H A D | os_perf_solaris.cpp | 215 uint64_t lt = 0; in perf_context_switch_rate() local
232 clock_t t, d; in perf_context_switch_rate() local
340 double t = .0; in cpu_load() local
410 double t = .0; in cpu_loads_process() local
777 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/os/solaris/ |
| H A D | os_perf_solaris.cpp | 215 uint64_t lt = 0; in perf_context_switch_rate() local
232 clock_t t, d; in perf_context_switch_rate() local
338 double t = .0; in cpu_load() local
408 double t = .0; in cpu_loads_process() local
775 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/emulators/citra-qt5/citra-ac98458e0/externals/libressl/crypto/bn/ |
| H A D | bn_lib.c | 398 BIGNUM *t; in BN_dup() local
629 int gt, lt; in BN_cmp() local
676 int i, j, k; in BN_set_bit() local
822 BN_ULONG t; in BN_consttime_swap() local
874 BN_ULONG t; in BN_swap_ct() local
|
| /dports/emulators/citra/citra-ac98458e0/externals/libressl/crypto/bn/ |
| H A D | bn_lib.c | 398 BIGNUM *t; in BN_dup() local
629 int gt, lt; in BN_cmp() local
676 int i, j, k; in BN_set_bit() local
822 BN_ULONG t; in BN_consttime_swap() local
874 BN_ULONG t; in BN_swap_ct() local
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/hotspot/os/solaris/ |
| H A D | os_perf_solaris.cpp | 215 uint64_t lt = 0; in perf_context_switch_rate() local
232 clock_t t, d; in perf_context_switch_rate() local
340 double t = .0; in cpu_load() local
410 double t = .0; in cpu_loads_process() local
777 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/hotspot/os/solaris/ |
| H A D | os_perf_solaris.cpp | 214 uint64_t lt = 0; in perf_context_switch_rate() local
231 clock_t t, d; in perf_context_switch_rate() local
339 double t = .0; in cpu_load() local
409 double t = .0; in cpu_loads_process() local
781 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/hotspot/os/solaris/ |
| H A D | os_perf_solaris.cpp | 215 uint64_t lt = 0; in perf_context_switch_rate() local
232 clock_t t, d; in perf_context_switch_rate() local
335 double t = .0; in cpu_load() local
405 double t = .0; in cpu_loads_process() local
767 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/src/os/solaris/vm/ |
| H A D | os_perf_solaris.cpp | 231 uint64_t lt = 0; in perf_context_switch_rate() local
248 clock_t t, d; in perf_context_switch_rate() local
356 double t = .0; in cpu_load() local
426 double t = .0; in cpu_loads_process() local
798 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/src/os/solaris/vm/ |
| H A D | os_perf_solaris.cpp | 231 uint64_t lt = 0; in perf_context_switch_rate() local
248 clock_t t, d; in perf_context_switch_rate() local
356 double t = .0; in cpu_load() local
426 double t = .0; in cpu_loads_process() local
798 for (kstat_t* k = ctl->kc_chain; k != NULL; k = k->ks_next) { in network_utilization() local
|
| /dports/math/pari/pari-2.13.3/src/basemath/ |
| H A D | polarit1.c | 295 GEN t = gel(f,i); in QpXQX_to_ZXY() local
323 long i, j, k; in ZX_Zp_root() local
414 long i, j, k, lR; in ZXY_ZpQ_root() local
499 long PREC, i, k, v; in polrootspadic() local
578 GEN P, lead, lt; in factorpadic() local
589 GEN t = gel(P,i); in factorpadic() local
|