Home
last modified time | relevance | path

Searched refs:effort (Results 1 – 25 of 5590) sorted by relevance

12345678910>>...224

/dports/devel/git-extras/git-extras-6.3.0/man/
H A Dgit-effort.md1 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 Dext_theory.cpp75 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 Dext_theory.h117 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 DSUMOAbstractRouter.h58 : 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 DDijkstraRouter.h73 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 DCHRouter.h107 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 Dceg_arith_instantiator.h51 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 Dceg_bv_instantiator.h47 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 Dceg_dt_instantiator.h41 CegInstEffort effort) override;
46 CegInstEffort effort) override;
57 CegInstEffort effort) override;
62 CegInstEffort effort) override;
74 CegInstEffort effort) override;
H A Dceg_instantiator.h654 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 Datlas_v3_no_head.sdf85 <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 Datlas_v3_no_head_soft_feet.sdf85 <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 Dkpteffortcostmap.h44 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 Dsmooth_detect.c73 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 Dbls75.h22 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 Dmodel2.sdf78 <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 Dkuka_world.sdf82 <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 Dmodel2.sdf78 <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 Dkuka_world.sdf82 <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 Dmodel2.sdf78 <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 Dkuka_world.sdf82 <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 DLinkBuffer.h92 , 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 DLinkBuffer.h92 , 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 Dquantise.c61 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 Dlabels.toml76 ["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 …]

12345678910>>...224