/dports/devel/git-extras/git-extras-6.3.0/man/ |
H A D | git-effort.md | 1 git-effort(1) -- Show effort statistics on file(s) 10 Shows effort statistics about files in the repository. 31 from options to `git effort`. 40 Displays "effort" statistics: 42 $ git effort --above 5 48 git-effort 13 2 63 git-effort 6 2 70 $ git effort bin man -- --after="one year ago" 79 $ git effort -- master..feature 83 bin/git-effort............................... 3 2 [all …]
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | ext_theory.cpp | 75 Node ExtTheory::getSubstitutedTerm(int effort, in getSubstitutedTerm() argument 82 Assert(d_gst_cache[effort].find(term) != d_gst_cache[effort].end()); in getSubstitutedTerm() 86 return d_gst_cache[effort][term].d_sterm; in getSubstitutedTerm() 101 void ExtTheory::getSubstitutedTerms(int effort, in getSubstitutedTerms() argument 111 Assert(d_gst_cache[effort].find(n) != d_gst_cache[effort].end()); in getSubstitutedTerms() 184 d_gst_cache[effort][n].d_sterm = ns; in getSubstitutedTerms() 185 d_gst_cache[effort][n].d_exp.clear(); in getSubstitutedTerms() 186 d_gst_cache[effort][n].d_exp.insert( in getSubstitutedTerms() 194 bool ExtTheory::doInferencesInternal(int effort, in doInferencesInternal() argument 363 bool ExtTheory::doInferences(int effort, in doInferences() argument [all …]
|
H A D | ext_theory.h | 117 void getSubstitutedTerms(int effort, 126 Node getSubstitutedTerm(int effort, 153 bool doInferences(int effort, 161 bool doInferences(int effort, std::vector<Node>& nred, bool batch = true); 168 bool doReductions(int effort, 172 bool doReductions(int effort, std::vector<Node>& nred, bool batch = true); 191 bool doInferencesInternal(int effort,
|
/dports/cad/sumo/sumo-1.2.0/src/utils/router/ |
H A D | SUMOAbstractRouter.h | 58 : edge(e), effort(std::numeric_limits<double>::max()), in EdgeInfo() 66 double effort; variable 82 effort = std::numeric_limits<double>::max(); in reset() 137 double effort = recomputeCosts(tmp, vehicle, msTime); 138 if (effort < minEffort) { 139 minEffort = effort; 167 effort += viaEffortDelta; in updateViaEdgeCost() 183 effort += effortDelta; in updateViaCost() 191 double effort = 0.; variable 203 updateViaCost(prev, e, v, time, effort, *lengthp); [all …]
|
H A D | DijkstraRouter.h | 73 if (nod1->effort == nod2->effort) { in operator() 76 return nod1->effort > nod2->effort; in operator() 146 fromInfo->effort = 0.; 162 …std::cout << "DEBUG: hit '" << minEdge->getID() << "' Eff: " << minimumInfo->effort << ", Leave: "… 164 std::cout << it->effort << "," << it->edge->getID() << " "; 197 double effort = minimumInfo->effort + effortDelta; variable 199 this->updateViaEdgeCost(follower.second, vehicle, time, effort, length); 200 assert(effort >= minimumInfo->effort); 202 const double oldEffort = followerInfo->effort; 203 if (!followerInfo->visited && effort < oldEffort) { [all …]
|
H A D | CHRouter.h | 107 if (nod1->effort == nod2->effort) { in operator() 110 return nod1->effort > nod2->effort; in operator() 128 startInfo->effort = 0.; in init() 155 const double ttSeen = minimumInfo->effort + otherInfo->effort; in step() 176 const double effort = minimumInfo->effort + uplink.cost; in step() local 182 const double oldEffort = upwardInfo->effort; in step() 183 if (!upwardInfo->visited && effort < oldEffort) { in step() 184 upwardInfo->effort = effort; in step() 201 return !myFrontier.empty() && myFrontier.front()->effort < minTTSeen; in step()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ |
H A D | ceg_arith_instantiator.h | 51 CegInstEffort effort) override; 56 CegInstEffort effort) override; 67 CegInstEffort effort) override; 72 CegInstEffort effort) override; 78 CegInstEffort effort) override; 92 CegInstEffort effort) override; 109 CegInstEffort effort) override; 117 CegInstEffort effort) override; 127 CegInstEffort effort,
|
H A D | ceg_bv_instantiator.h | 47 CegInstEffort effort) override; 52 CegInstEffort effort) override; 67 CegInstEffort effort) override; 78 CegInstEffort effort) override; 90 CegInstEffort effort) override; 99 CegInstEffort effort) override; 155 CegInstEffort effort);
|
H A D | ceg_dt_instantiator.h | 41 CegInstEffort effort) override; 46 CegInstEffort effort) override; 57 CegInstEffort effort) override; 62 CegInstEffort effort) override; 74 CegInstEffort effort) override;
|
H A D | ceg_instantiator.h | 654 CegInstEffort effort) in reset() argument 684 CegInstEffort effort); 697 CegInstEffort effort) in processEqualTerms() argument 706 CegInstEffort effort) in hasProcessEquality() argument 727 CegInstEffort effort) in processEquality() argument 777 CegInstEffort effort) in processAssertion() argument 792 CegInstEffort effort) in processAssertions() argument 804 CegInstEffort effort) in useModelValue() argument 806 return effort > CEG_INST_EFFORT_STANDARD; in useModelValue() 812 CegInstEffort effort) in allowModelValue() argument [all …]
|
/dports/misc/dartsim/dart-6.11.1/data/sdf/atlas/ |
H A D | atlas_v3_no_head.sdf | 85 <effort>124.016</effort> 139 <effort>206.843</effort> 235 <effort>200</effort> 289 <effort>212</effort> 343 <effort>170</effort> 397 <effort>114</effort> 451 <effort>114</effort> 505 <effort>114</effort> 559 <effort>60</effort> 613 <effort>212</effort> [all …]
|
H A D | atlas_v3_no_head_soft_feet.sdf | 85 <effort>124.016</effort> 139 <effort>206.843</effort> 235 <effort>200</effort> 289 <effort>212</effort> 343 <effort>170</effort> 397 <effort>114</effort> 451 <effort>114</effort> 505 <effort>114</effort> 559 <effort>60</effort> 613 <effort>212</effort> [all …]
|
/dports/editors/calligraplan/calligraplan-3.3.0/src/libs/kernel/ |
H A D | kpteffortcostmap.h | 44 EffortCost(KPlato::Duration effort, const double cost) in EffortCost() argument 45 : m_effort(effort), in EffortCost() 56 Duration effort() const { return m_effort; } in effort() function 57 void setEffort(KPlato::Duration effort) { m_effort = effort; } in setEffort() argument 111 void insert(QDate date, KPlato::Duration effort, const double cost) { in insert() argument 116 m_days.insert(date, EffortCost(effort, cost)); in insert() 122 EffortCost &add(QDate date, KPlato::Duration effort, const double cost) { in add() argument 123 return add(date, EffortCost(effort, cost)); in add() 173 return m_days[date].effort(); in effortOnDate() 221 eff += it.value().effort(); in totalEffort() [all …]
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/misc/ |
H A D | smooth_detect.c | 73 c->effort = c0->effort; in cand_set() 98 tt = c->effort; c->effort = d->effort; d->effort = tt; in cand_swap() 111 printf("effort=%.0f\n", c->effort); in cand_print() 124 double eff = c->effort; in cand_is_probably_not_smooth() 168 c->effort = 0.0; in cand_set_original_values() 183 c->effort = 0.0; in cand_set_presieved_values() 363 while (S < effort) { in get_B1_from_effort() 451 C->effort += B1; in smooth_detect_one_step() 487 if (i == 0) { effort *= 2; } in smooth_detect_one_step() 492 while (!cand_is_factored(c) && c->effort < effort) { in smooth_detect_one_step() [all …]
|
/dports/math/p5-Math-Prime-Util-GMP/Math-Prime-Util-GMP-0.52/ |
H A D | bls75.h | 22 extern int _GMP_primality_bls_nm1_split(mpz_t n, int effort, mpz_t q, UV* a); 24 extern int _GMP_primality_bls_np1_split(mpz_t n, int effort, mpz_t q, IV* lp, IV* lq); 28 extern int _GMP_primality_bls_nm1(mpz_t n, int effort, char ** prooftextptr); 31 extern int _GMP_primality_bls_np1(mpz_t n, int effort, char** prooftextptr); 34 extern int bls75_hybrid(mpz_t n, int effort, char** prooftextptr);
|
/dports/devel/bullet/bullet3-3.21/data/kuka_iiwa/ |
H A D | model2.sdf | 78 <effort>300</effort> 131 <effort>300</effort> 184 <effort>300</effort> 237 <effort>300</effort> 290 <effort>300</effort> 343 <effort>300</effort> 396 <effort>300</effort> 486 <effort>300</effort> 539 <effort>300</effort> 592 <effort>300</effort> [all …]
|
H A D | kuka_world.sdf | 82 <effort>300</effort> 135 <effort>300</effort> 188 <effort>300</effort> 241 <effort>300</effort> 294 <effort>300</effort> 347 <effort>300</effort> 400 <effort>300</effort>
|
/dports/devel/py-bullet3/bullet3-3.21/data/kuka_iiwa/ |
H A D | model2.sdf | 78 <effort>300</effort> 131 <effort>300</effort> 184 <effort>300</effort> 237 <effort>300</effort> 290 <effort>300</effort> 343 <effort>300</effort> 396 <effort>300</effort> 486 <effort>300</effort> 539 <effort>300</effort> 592 <effort>300</effort> [all …]
|
H A D | kuka_world.sdf | 82 <effort>300</effort> 135 <effort>300</effort> 188 <effort>300</effort> 241 <effort>300</effort> 294 <effort>300</effort> 347 <effort>300</effort> 400 <effort>300</effort>
|
/dports/devel/py-bullet3/bullet3-3.21/examples/pybullet/gym/pybullet_data/kuka_iiwa/ |
H A D | model2.sdf | 78 <effort>300</effort> 131 <effort>300</effort> 184 <effort>300</effort> 237 <effort>300</effort> 290 <effort>300</effort> 343 <effort>300</effort> 396 <effort>300</effort> 486 <effort>300</effort> 539 <effort>300</effort> 592 <effort>300</effort> [all …]
|
H A D | kuka_world.sdf | 82 <effort>300</effort> 135 <effort>300</effort> 188 <effort>300</effort> 241 <effort>300</effort> 294 <effort>300</effort> 347 <effort>300</effort> 400 <effort>300</effort>
|
/dports/x11-toolkits/qt5-declarative-test/kde-qtdeclarative-5.15.2p41/src/3rdparty/masm/assembler/ |
H A D | LinkBuffer.h | 92 , m_effort(effort) 96 UNUSED_PARAM(effort) 331 UNUSED_PARAM(effort) in linkCode() 333 m_executableMemory = m_assembler->m_assembler.executableCopy(*m_globalData, ownerUID, effort); in linkCode() 367 … : LinkBufferBase<MacroAssembler, DefaultExecutableOffsetCalculator>(globalData, masm, effort) 369 this->linkCode(ownerUID, effort); 389 …inkBufferBase<MacroAssembler, BranchCompactingExecutableOffsetCalculator>(globalData, masm, effort) 391 linkCode(ownerUID, effort); 437 …d BranchCompactingLinkBuffer<MacroAssembler>::linkCode(void* ownerUID, JITCompilationEffort effort) in linkCode() argument 440 UNUSED_PARAM(effort) in linkCode() [all …]
|
/dports/x11-toolkits/qt5-declarative/kde-qtdeclarative-5.15.2p41/src/3rdparty/masm/assembler/ |
H A D | LinkBuffer.h | 92 , m_effort(effort) 96 UNUSED_PARAM(effort) 331 UNUSED_PARAM(effort) in linkCode() 333 m_executableMemory = m_assembler->m_assembler.executableCopy(*m_globalData, ownerUID, effort); in linkCode() 367 … : LinkBufferBase<MacroAssembler, DefaultExecutableOffsetCalculator>(globalData, masm, effort) 369 this->linkCode(ownerUID, effort); 389 …inkBufferBase<MacroAssembler, BranchCompactingExecutableOffsetCalculator>(globalData, masm, effort) 391 linkCode(ownerUID, effort); 437 …d BranchCompactingLinkBuffer<MacroAssembler>::linkCode(void* ownerUID, JITCompilationEffort effort) in linkCode() argument 440 UNUSED_PARAM(effort) in linkCode() [all …]
|
/dports/graphics/vips/vips-8.12.0/libvips/foreign/ |
H A D | quantise.c | 61 int effort; member 87 int colours, int Q, double dither, int effort ) in vips__quantise_new() argument 99 quantise->effort = effort; in vips__quantise_new() 109 int colours, int Q, double dither, int effort, in vips__quantise_image() argument 121 colours, Q, dither, effort ); in vips__quantise_image() 168 liq_set_speed( quantise->attr, 11 - effort ); in vips__quantise_image() 237 int colours, int Q, double dither, int effort, in vips__quantise_image() argument
|
/dports/cad/verilator/verilator-4.216/.github/ |
H A D | labels.toml | 76 ["effort: days"] 78 name = "effort: days" 79 description = "Expect this issue to require roughly days of invested effort to resolve" 81 ["effort: hours"] 83 name = "effort: hours" 84 description = "Expect this issue to require roughly hours of invested effort to resolve" 86 ["effort: minutes"] 88 name = "effort: minutes" 91 ["effort: weeks"] 93 name = "effort: weeks" [all …]
|