| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ |
| H A D | ceg_instantiator.h | 654 CegInstEffort effort) in reset()
666 CegInstEffort effort) in hasProcessEqualTerm()
697 CegInstEffort effort) in processEqualTerms()
706 CegInstEffort effort) in hasProcessEquality()
727 CegInstEffort effort) in processEquality()
736 CegInstEffort effort) in hasProcessAssertion()
777 CegInstEffort effort) in processAssertion()
792 CegInstEffort effort) in processAssertions()
804 CegInstEffort effort) in useModelValue()
812 CegInstEffort effort) in allowModelValue()
[all …]
|
| H A D | ceg_dt_instantiator.cpp | 30 CegInstEffort effort) in reset()
37 CegInstEffort effort) in hasProcessEqualTerm()
46 CegInstEffort effort) in processEqualTerms()
94 CegInstEffort effort) in hasProcessEquality()
104 CegInstEffort effort) in processEquality()
|
| H A D | ceg_arith_instantiator.cpp | 44 CegInstEffort effort) in reset()
65 CegInstEffort effort) in hasProcessEquality()
75 CegInstEffort effort) in processEquality()
121 CegInstEffort effort) in hasProcessAssertion()
130 CegInstEffort effort) in hasProcessAssertion()
147 CegInstEffort effort) in processAssertion()
324 CegInstEffort effort) in processAssertions()
686 CegInstantiator* ci, SolvedForm& sf, Node pv, CegInstEffort effort) in needsPostProcessInstantiationForVariable()
696 CegInstEffort effort, in postProcessInstantiationForVariable()
|
| H A D | ceg_epr_instantiator.cpp | 33 CegInstEffort effort) in reset()
41 CegInstEffort effort) in hasProcessEqualTerm()
51 CegInstEffort effort) in processEqualTerm()
79 CegInstEffort effort) in processEqualTerms()
|
| H A D | ceg_bv_instantiator.cpp | 70 CegInstEffort effort) in reset()
85 CegInstEffort effort) in processLiteral()
128 CegInstEffort effort) in hasProcessAssertion()
137 CegInstEffort effort) in hasProcessAssertion()
232 CegInstEffort effort) in processAssertion()
262 CegInstEffort effort) in useModelValue()
270 CegInstEffort effort) in processAssertions()
|
| /dports/cad/sumo/sumo-1.2.0/src/utils/router/ |
| H A D | SUMOAbstractRouter.h | 66 double effort; variable
159 …uble getTravelTime(const E* const e, const V* const v, const double t, const double effort) const { in getTravelTime()
163 …inline void updateViaEdgeCost(const E* viaEdge, const V* const v, double& time, double& effort, do… in updateViaEdgeCost()
173 …nst E* const prev, const E* const e, const V* const v, double& time, double& effort, double& lengt… in updateViaCost()
191 double effort = 0.; variable
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.lir/src/org/graalvm/compiler/lir/hashing/ |
| H A D | HashFunction.java | 67 public abstract int effort(); in effort() method in HashFunction
125 …private static void add(String toString, int effort, BiFunction<Integer, Integer, Integer> f, Func… in add()
150 …private static void addWithPrimes(String toString, int effort, Function<Integer, BiFunction<Intege… in addWithPrimes()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.lir/src/org/graalvm/compiler/lir/hashing/ |
| H A D | HashFunction.java | 67 public abstract int effort(); in effort() method in HashFunction
125 …private static void add(String toString, int effort, BiFunction<Integer, Integer, Integer> f, Func… in add()
150 …private static void addWithPrimes(String toString, int effort, Function<Integer, BiFunction<Intege… in addWithPrimes()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | ext_theory.cpp | 75 Node ExtTheory::getSubstitutedTerm(int effort, in getSubstitutedTerm()
101 void ExtTheory::getSubstitutedTerms(int effort, in getSubstitutedTerms()
194 bool ExtTheory::doInferencesInternal(int effort, in doInferencesInternal()
363 bool ExtTheory::doInferences(int effort, in doInferences()
375 bool ExtTheory::doInferences(int effort, std::vector<Node>& nred, bool batch) in doInferences()
381 bool ExtTheory::doReductions(int effort, in doReductions()
393 bool ExtTheory::doReductions(int effort, std::vector<Node>& nred, bool batch) in doReductions()
|
| /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()
109 int colours, int Q, double dither, int effort, in vips__quantise_image()
237 int colours, int Q, double dither, int effort, in vips__quantise_image()
|
| /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()
56 Duration effort() const { return m_effort; } in effort() function
57 void setEffort(KPlato::Duration effort) { m_effort = effort; } in setEffort()
111 void insert(QDate date, KPlato::Duration effort, const double cost) { in insert()
122 EffortCost &add(QDate date, KPlato::Duration effort, const double cost) { in add()
|
| H A D | kptappointment.cpp | 125 Duration AppointmentInterval::effort() const in effort() function in KPlato::AppointmentInterval
130 Duration AppointmentInterval::effort(const DateTime &start, const DateTime &end) const { in effort() function in KPlato::AppointmentInterval
139 Duration AppointmentInterval::effort(QDate time, bool upto) const { in effort() function in KPlato::AppointmentInterval
542 Duration AppointmentIntervalList::effort() const in effort() function in KPlato::AppointmentIntervalList
552 Duration AppointmentIntervalList::effort(const DateTime &start, const DateTime &end) const in effort() function in KPlato::AppointmentIntervalList
951 Duration Appointment::effort(const DateTime &start, const DateTime &end, EffortCostCalculationType … in effort() function in KPlato::Appointment
959 Duration Appointment::effort(const DateTime &start, KPlato::Duration duration, EffortCostCalculatio… in effort() function in KPlato::Appointment
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/ |
| H A D | model_builder.h | 47 …virtual int doExhaustiveInstantiation( FirstOrderModel * fm, Node f, int effort ) { return false; } in doExhaustiveInstantiation()
|
| /dports/cad/sumo/sumo-1.2.0/tools/contributed/traas/examples/java_wsclient/de/tudresden/ws/ |
| H A D | EdgeSetEffort.java | 37 protected double effort; field in EdgeSetEffort
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/ |
| H A D | inst_strategy_e_matching.cpp | 71 void InstStrategyUserPatterns::processResetInstantiationRound( Theory::Effort effort ){ in processResetInstantiationRound()
83 int InstStrategyUserPatterns::process( Node f, Theory::Effort effort, int e ){ in process()
170 void InstStrategyAutoGenTriggers::processResetInstantiationRound( Theory::Effort effort ){ in processResetInstantiationRound()
185 int InstStrategyAutoGenTriggers::process( Node f, Theory::Effort effort, int e ){ in process()
|
| /dports/security/py-vulndb/vulndb-0.0.19/vulndb/db/ |
| H A D | 21-html-object.json | 12 "effort": 120, number
|
| H A D | 16-e-mail-address-disclosure.json | 17 "effort": 50, number
|
| H A D | 29-interesting-response.json | 12 "effort": 60, number
|
| /dports/print/ghostscript7-base/ghostscript-7.07/src/ |
| H A D | gsfuncv.c | 37 gs_function_effort_t effort) in fn_Va_is_monotonic()
|
| /dports/print/ghostscript7-x11/ghostscript-7.07/src/ |
| H A D | gsfuncv.c | 37 gs_function_effort_t effort) in fn_Va_is_monotonic()
|
| /dports/math/p5-Math-Prime-Util-GMP/Math-Prime-Util-GMP-0.52/ |
| H A D | bls75.c | 82 static int tfe(mpz_t f, mpz_t n, int effort) in tfe()
257 int effort, char** prtext, in handle_factor()
275 int effort, char** prtext, in handle_factor2()
648 int _GMP_primality_bls_nm1(mpz_t n, int effort, char** prooftextptr) in _GMP_primality_bls_nm1()
801 int _GMP_primality_bls_np1(mpz_t n, int effort, char** prooftextptr) in _GMP_primality_bls_np1()
931 int bls75_hybrid(mpz_t n, int effort, char** prooftextptr) in bls75_hybrid()
1351 int _GMP_primality_bls_np1_split(mpz_t n, int effort, mpz_t q, IV* lp, IV* lq) in _GMP_primality_bls_np1_split()
1400 int _GMP_primality_bls_nm1_split(mpz_t n, int effort, mpz_t p, UV *reta) in _GMP_primality_bls_nm1_split()
|
| /dports/databases/redis-devel/redis-0e5b813/src/ |
| H A D | lazyfree.c | 108 size_t effort = 0; in lazyfreeGetFreeEffort() local
132 size_t effort = moduleGetFreeEffort(key, obj, dbid); in lazyfreeGetFreeEffort() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | theory_arith.cpp | 98 bool TheoryArith::getCurrentSubstitution( int effort, std::vector< Node >& vars, std::vector< Node … in getCurrentSubstitution()
102 bool TheoryArith::isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp ) { in isExtfReduced()
|
| /dports/print/texlive-base/texlive-20150521-source/utils/asymptote/ |
| H A D | fftw++.cc | 16 unsigned int fftw::effort=FFTW_MEASURE; member in fftwpp::fftw
|
| /dports/devel/ros-urdfdom_headers/urdfdom_headers-1.0.4/urdf_model_state/include/urdf_model_state/ |
| H A D | model_state.h | 116 std::vector<double> effort; variable
|