Home
last modified time | relevance | path

Searched refs:new_bound (Results 1 – 25 of 113) sorted by relevance

12345

/dports/math/R-cran-lpSolve/lpSolve/src/
H A Dlp_mipbb.c311 REAL new_bound, temp; in initbranches_BB() local
368 if(_isnan(new_bound)) in initbranches_BB()
369 new_bound = 0; in initbranches_BB()
372 if (new_bound < 0) in initbranches_BB()
373 new_bound += 1.0; in initbranches_BB()
383 new_bound -= 0.5; in initbranches_BB()
414 new_bound = unscaled_value(lp, new_bound, BB->varno); in initbranches_BB()
455 new_bound = 0;
478 new_bound = scaled_ceil(lp, K, unscaled_value(lp, new_bound, K), -1);
542 new_bound = scaled_floor(lp, K, unscaled_value(lp, new_bound, K), 1);
[all …]
/dports/math/lp_solve/lp_solve_5.5/
H A Dlp_mipbb.c315 REAL new_bound, temp; in initbranches_BB() local
371 if(isnan(new_bound)) in initbranches_BB()
372 new_bound = 0; in initbranches_BB()
374 new_bound += 1.0; in initbranches_BB()
384 new_bound -= 0.5; in initbranches_BB()
415 new_bound = unscaled_value(lp, new_bound, BB->varno); in initbranches_BB()
456 new_bound = 0;
479 new_bound = scaled_ceil(lp, K, unscaled_value(lp, new_bound, K), -1);
486 new_bound = BB->lowbo[K] - my_avoidtiny(new_bound-BB->lowbo[K], intmargin);
543 new_bound = scaled_floor(lp, K, unscaled_value(lp, new_bound, K), 1);
[all …]
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/variables/
H A DcontinuousVariable_tpl.h175 INLINE void ContinuousVariable< GUM_SCALAR >::setLowerBound(const GUM_SCALAR& new_bound) { in setLowerBound() argument
176 if (new_bound <= _upper_bound_) in setLowerBound()
177 _lower_bound_ = new_bound; in setLowerBound()
185 INLINE void ContinuousVariable< GUM_SCALAR >::setLowerBoundFromDouble(const double new_bound) { in setLowerBoundFromDouble() argument
186 setLowerBound((GUM_SCALAR)new_bound); in setLowerBoundFromDouble()
192 INLINE void ContinuousVariable< GUM_SCALAR >::setUpperBound(const GUM_SCALAR& new_bound) { in setUpperBound() argument
193 if (new_bound >= _lower_bound_) in setUpperBound()
194 _upper_bound_ = new_bound; in setUpperBound()
202 INLINE void ContinuousVariable< GUM_SCALAR >::setUpperBoundFromDouble(const double new_bound) { in setUpperBoundFromDouble() argument
203 setUpperBound((GUM_SCALAR)new_bound); in setUpperBoundFromDouble()
H A DcontinuousVariable.h129 void setLowerBound(const GUM_SCALAR& new_bound);
134 virtual void setLowerBoundFromDouble(const double new_bound);
139 void setUpperBound(const GUM_SCALAR& new_bound);
144 virtual void setUpperBoundFromDouble(const double new_bound);
H A DIContinuousVariable.h89 virtual void setLowerBoundFromDouble(const double new_bound) = 0;
94 virtual void setUpperBoundFromDouble(const double new_bound) = 0;
/dports/math/symphony/SYMPHONY-releases-5.6.17/SYMPHONY/src/Master/
H A Dmaster_prep_base.c2815 new_bound = prep_rnd_integral(new_bound, etol, RND_FLOOR); in prep_improve_variable()
2820 new_bound = prep_rnd_integral(new_bound, etol, RND_CEIL); in prep_improve_variable()
2853 new_bound = prep_rnd_integral(new_bound, etol, RND_CEIL); in prep_improve_variable()
2874 new_bound = prep_rnd_integral(new_bound, etol, RND_FLOOR); in prep_improve_variable()
2899 new_bound = prep_rnd_integral(new_bound, etol, RND_FLOOR); in prep_improve_variable()
2922 new_bound = prep_rnd_integral(new_bound, etol, RND_CEIL); in prep_improve_variable()
2948 new_bound, in prep_improve_variable()
3688 new_bound = prep_rnd_integral(new_bound, etol, in prep_check_redundancy()
3702 new_bound= prep_rnd_integral(new_bound, etol, in prep_check_redundancy()
3725 new_bound= prep_rnd_integral(new_bound, in prep_check_redundancy()
[all …]
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCon/
H A DRecWalk.hs90 setRecTcMaxBound new_bound (RC _old_bound rec_nts) = RC new_bound rec_nts function
/dports/math/brial/BRiAl-1.2.10/sage-brial/brial/
H A Dgbcore.py151 new_bound = 200
152 n_used_vars = used_vars_set(I, bound=new_bound).deg()
153 if n_used_vars < new_bound:
155 bound = new_bound
157 new_bound = 100
158 if not (bound and new_bound < bound):
159 n_used_vars = used_vars_set(I, bound=new_bound).deg()
160 bound = new_bound
/dports/math/py-brial/BRiAl-1.2.10/sage-brial/brial/
H A Dgbcore.py151 new_bound = 200
152 n_used_vars = used_vars_set(I, bound=new_bound).deg()
153 if n_used_vars < new_bound:
155 bound = new_bound
157 new_bound = 100
158 if not (bound and new_bound < bound):
159 n_used_vars = used_vars_set(I, bound=new_bound).deg()
160 bound = new_bound
/dports/editors/setzer/Setzer-0.4.1/setzer/workspace/build_log/
H A Dbuild_log_presenter.py137 new_bound = (upper_bound + lower_bound) // 2
138 if ctx.text_extents(text[new_bound:]).width > max_width - dots_width:
139 lower_bound = new_bound
141 upper_bound = new_bound
/dports/cad/graywolf/graywolf-0.1.6-4-gf47937b/src/twsc/
H A Dfindunlap.c745 new_bound = bound + width1 ;
750 new_bound = bound + width2 ;
755 new_bound = bound + width3 ;
760 new_bound = bound + width4 ;
762 if( ABS(new_bound + error - desire) <=
772 bound = new_bound ;
1185 new_bound = bound + width1 ;
1190 new_bound = bound + width2 ;
1195 new_bound = bound + width3 ;
1200 new_bound = bound + width4 ;
[all …]
/dports/games/kodi-addon-game.libretro.beetle-psx/game.libretro.beetle-psx-0.9.44.22-Matrix/depends/common/beetle-psx/parallel-psx/SPIRV-Cross/
H A Dspirv_cross_parsed_ir.cpp535 auto new_bound = curr_bound + incr_amount; in increase_bound_by() local
536 ids.resize(new_bound); in increase_bound_by()
537 meta.resize(new_bound); in increase_bound_by()
538 block_meta.resize(new_bound); in increase_bound_by()
/dports/games/libretro-beetle_psx/beetle-psx-libretro-3ec155d/parallel-psx/SPIRV-Cross/
H A Dspirv_cross_parsed_ir.cpp535 auto new_bound = curr_bound + incr_amount; in increase_bound_by() local
536 ids.resize(new_bound); in increase_bound_by()
537 meta.resize(new_bound); in increase_bound_by()
538 block_meta.resize(new_bound); in increase_bound_by()
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/bound_tightening/twoImpliedBT/
H A DTwoImpliedGenCuts.cpp529 bool new_bound = false; in generateCuts() local
538 new_bound = true; in generateCuts()
541 if (!new_bound) in generateCuts()
549 new_bound = true; in generateCuts()
552 if (!new_bound) continue; in generateCuts()
/dports/emulators/mess/mame-mame0226/3rdparty/bgfx/3rdparty/spirv-tools/include/spirv-tools/
H A Dlibspirv.hpp160 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
161 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/emulators/mame/mame-mame0226/3rdparty/bgfx/3rdparty/spirv-tools/include/spirv-tools/
H A Dlibspirv.hpp160 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
161 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/SPIRV-Tools/src/include/spirv-tools/
H A Dlibspirv.hpp163 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
164 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/SPIRV-Tools/include/spirv-tools/
H A Dlibspirv.hpp163 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
164 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/SPIRV-Tools/src/include/spirv-tools/
H A Dlibspirv.hpp163 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
164 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/devel/intel-graphics-compiler/SPIRV-Tools/include/spirv-tools/
H A Dlibspirv.hpp177 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
178 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/graphics/spirv-tools/SPIRV-Tools-2021.4/include/spirv-tools/
H A Dlibspirv.hpp177 void set_max_id_bound(uint32_t new_bound) { in set_max_id_bound() argument
178 spvOptimizerOptionsSetMaxIdBound(options_, new_bound); in set_max_id_bound()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_arith_aux.h465 SASSERT(new_bound); in set_bound()
466 SASSERT(!upper || new_bound->get_bound_kind() == B_UPPER); in set_bound()
468 theory_var v = new_bound->get_var(); in set_bound()
469 set_bound_core(v, new_bound, upper); in set_bound()
821 new_bound.push_lit(l, ante.lit_coeffs()[i]); in accumulate_justification()
824 new_bound.push_lit(l, numeral::zero()); in accumulate_justification()
834 new_bound.push_eq(p, ante.eq_coeffs()[i]); in accumulate_justification()
837 new_bound.push_eq(p, numeral::zero()); in accumulate_justification()
863 m_bounds_to_delete.push_back(new_bound); in mk_bound_from_row()
864 m_asserted_bounds.push_back(new_bound); in mk_bound_from_row()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_arith_aux.h465 SASSERT(new_bound); in set_bound()
466 SASSERT(!upper || new_bound->get_bound_kind() == B_UPPER); in set_bound()
468 theory_var v = new_bound->get_var(); in set_bound()
469 set_bound_core(v, new_bound, upper); in set_bound()
821 new_bound.push_lit(l, ante.lit_coeffs()[i]); in accumulate_justification()
824 new_bound.push_lit(l, numeral::zero()); in accumulate_justification()
834 new_bound.push_eq(p, ante.eq_coeffs()[i]); in accumulate_justification()
837 new_bound.push_eq(p, numeral::zero()); in accumulate_justification()
863 m_bounds_to_delete.push_back(new_bound); in mk_bound_from_row()
864 m_asserted_bounds.push_back(new_bound); in mk_bound_from_row()
[all …]
/dports/math/py-hdbscan/hdbscan-0.8.27/hdbscan/
H A D_hdbscan_boruvka.pyx637 cdef np.double_t new_bound
747 new_bound = min(new_upper_bound,
749 # new_bound = new_upper_bound
750 if new_bound < self.bounds_ptr[node1]:
751 self.bounds_ptr[node1] = new_bound
1227 cdef np.double_t new_bound
1281 new_bound = 0.0
1333 new_bound = min(new_upper_bound,
1335 if new_bound < self.bounds_ptr[node1]:
1336 self.bounds_ptr[node1] = new_bound
[all …]
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dprobing.cc166 const IntegerValue new_bound = std::min(new_integer_bounds_[i - 1].bound, in ProbeOneVariableInternal() local
168 if (new_bound > integer_trail_->LowerBound(var)) { in ProbeOneVariableInternal()
171 IntegerLiteral::GreaterOrEqual(var, new_bound), {}, {})) { in ProbeOneVariableInternal()

12345