/dports/math/R-cran-lpSolve/lpSolve/src/ |
H A D | lp_mipbb.c | 311 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 D | lp_mipbb.c | 315 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 D | continuousVariable_tpl.h | 175 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 D | continuousVariable.h | 129 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 D | IContinuousVariable.h | 89 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 D | master_prep_base.c | 2815 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 D | RecWalk.hs | 90 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 D | gbcore.py | 151 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 D | gbcore.py | 151 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 D | build_log_presenter.py | 137 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 D | findunlap.c | 745 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 D | spirv_cross_parsed_ir.cpp | 535 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 D | spirv_cross_parsed_ir.cpp | 535 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 D | TwoImpliedGenCuts.cpp | 529 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 D | libspirv.hpp | 160 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 D | libspirv.hpp | 160 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 D | libspirv.hpp | 163 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 D | libspirv.hpp | 163 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 D | libspirv.hpp | 163 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 D | libspirv.hpp | 177 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 D | libspirv.hpp | 177 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 D | theory_arith_aux.h | 465 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 D | theory_arith_aux.h | 465 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.pyx | 637 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 D | probing.cc | 166 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()
|