/dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
H A D | conversion_helper.h | 29 static V get_upper_bound(const column_info<mpq> & ci) { in get_upper_bound() function 30 return V(ci.get_upper_bound(), ci.upper_bound_is_strict()? -1 : 0); in get_upper_bound() 36 static double get_upper_bound(const column_info<mpq> & ci) { 38 return ci.get_upper_bound().get_double(); 41 return ci.get_upper_bound().get_double() - eps; 42 eps = std::min((ci.get_upper_bound() - ci.get_lower_bound()).get_double() / 1000, eps); 43 return ci.get_upper_bound().get_double() - eps; 52 eps = std::min((ci.get_upper_bound() - ci.get_lower_bound()).get_double() / 1000, eps);
|
H A D | column_info.h | 111 T get_upper_bound() const { in get_upper_bound() function 147 return get_upper_bound() - get_lower_bound(); in get_adjusted_upper_bound() 235 return get_upper_bound() < get_lower_bound(); in is_infeasible() 237 return get_upper_bound() <= get_lower_bound(); // the equality is impossible in is_infeasible()
|
H A D | lp_solver_def.h | 177 ci->set_fixed_value(ci->get_upper_bound()); in pin_vars_on_row_with_sign() 198 lower_bound += ci->get_upper_bound() * a; in get_minimal_row_value() 220 lower_bound += ci->get_upper_bound() * a; in get_maximal_row_value() 552 return -v + ci->get_upper_bound(); // in get_column_value_with_core_solver()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
H A D | conversion_helper.h | 29 static V get_upper_bound(const column_info<mpq> & ci) { in get_upper_bound() function 30 return V(ci.get_upper_bound(), ci.upper_bound_is_strict()? -1 : 0); in get_upper_bound() 36 static double get_upper_bound(const column_info<mpq> & ci) { 38 return ci.get_upper_bound().get_double(); 41 return ci.get_upper_bound().get_double() - eps; 42 eps = std::min((ci.get_upper_bound() - ci.get_lower_bound()).get_double() / 1000, eps); 43 return ci.get_upper_bound().get_double() - eps; 52 eps = std::min((ci.get_upper_bound() - ci.get_lower_bound()).get_double() / 1000, eps);
|
H A D | column_info.h | 111 T get_upper_bound() const { in get_upper_bound() function 147 return get_upper_bound() - get_lower_bound(); in get_adjusted_upper_bound() 235 return get_upper_bound() < get_lower_bound(); in is_infeasible() 237 return get_upper_bound() <= get_lower_bound(); // the equality is impossible in is_infeasible()
|
H A D | lp_solver_def.h | 177 ci->set_fixed_value(ci->get_upper_bound()); in pin_vars_on_row_with_sign() 198 lower_bound += ci->get_upper_bound() * a; in get_minimal_row_value() 220 lower_bound += ci->get_upper_bound() * a; in get_maximal_row_value() 552 return -v + ci->get_upper_bound(); // in get_column_value_with_core_solver()
|
/dports/cad/librepcb/librepcb-0.1.6/libs/type_safe/test/ |
H A D | bounded_type.cpp | 64 REQUIRE(p.get_upper_bound() == 42); 80 REQUIRE(p.get_upper_bound() == 42); 96 REQUIRE(p.get_upper_bound() == 42); 113 REQUIRE(p.get_upper_bound() == 42); 154 REQUIRE(bounded.get_constraint().get_upper_bound() == 100); 171 REQUIRE(dynamic_open.get_constraint().get_upper_bound() == 42); 200 REQUIRE(static_open.get_constraint().get_upper_bound() == 42); 227 REQUIRE(mixed_open.get_constraint().get_upper_bound() == 42); 325 REQUIRE(dynamic.get_constraint().get_upper_bound() == 42); 335 REQUIRE(static_.get_constraint().get_upper_bound() == 42); [all …]
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/number_fields/quadratic_order/ |
H A D | quadratic_order1.cc | 1628 QQ = PL.get_upper_bound() + 1000000; in estimate_C() 1631 PL.resize(PL.get_upper_bound() + 1, QQ); in estimate_C() 1696 QQ = PL.get_upper_bound() + 1000000; in estimate_L() 1773 QQ = PL.get_upper_bound() + 1000000; in estimate_L1() 1795 QQ = PL.get_upper_bound() + 1000000; in estimate_L1() 2173 QQ = PL.get_upper_bound() + 1000000; in Cfunction() 2204 QQ = PL.get_upper_bound() + 1000000; in Cfunction() 2264 QQ = PL.get_upper_bound() + 1000000; in Cfunction() 2404 QQ = PL.get_upper_bound() + 1000000; in Cfunction_bigfloat() 2435 QQ = PL.get_upper_bound() + 1000000; in Cfunction_bigfloat() [all …]
|
/dports/devel/etl/synfig-1.2.2/synfig-core/src/synfig/ |
H A D | widthpoint.cpp | 195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint 214 upper_bound_==rhs.get_upper_bound() in operator ==()
|
H A D | widthpoint.h | 91 Real get_upper_bound()const;
|
/dports/graphics/synfig/synfig-1.2.2/synfig-core/src/synfig/ |
H A D | widthpoint.cpp | 195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint 214 upper_bound_==rhs.get_upper_bound() in operator ==()
|
H A D | widthpoint.h | 91 Real get_upper_bound()const;
|
/dports/graphics/synfigstudio/synfig-1.2.2/synfig-core/src/synfig/ |
H A D | widthpoint.cpp | 195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint 214 upper_bound_==rhs.get_upper_bound() in operator ==()
|
H A D | widthpoint.h | 91 Real get_upper_bound()const;
|
/dports/devel/py-bullet3/bullet3-3.21/examples/pybullet/gym/pybullet_envs/minitaur/envs_v2/sensors/ |
H A D | space_utils.py | 78 upper_bound = np.concatenate([s.get_upper_bound() for s in sensors]) 104 np.array(s.get_upper_bound()),
|
H A D | sensor.py | 158 def get_upper_bound(self): member in Sensor 430 def get_upper_bound(self) -> _ARRAY: member in BoxSpaceSensor
|
/dports/devel/py-BTrees/BTrees-4.9.2/src/BTrees/ |
H A D | _datatypes.py | 127 def get_upper_bound(self): member in DataType 341 def get_upper_bound(self): member in _AbstractIntDataType 353 def get_upper_bound(self): member in _AbstractUIntDataType
|
/dports/devel/srecord/srecord-1.64/srecord/ |
H A D | memory.cc | 250 srecord::memory::get_upper_bound(void) in get_upper_bound() function in srecord::memory 255 return chunk[nchunks - 1]->get_upper_bound(); in get_upper_bound() 263 w->notify_upper_bound(get_upper_bound()); in walk()
|
H A D | memory.h | 207 unsigned long get_upper_bound() const;
|
/dports/devel/srecord/srecord-1.64/srecord/memory/ |
H A D | chunk.h | 122 unsigned long get_upper_bound() const;
|
H A D | chunk.cc | 140 srecord::memory_chunk::get_upper_bound() in get_upper_bound() function in srecord::memory_chunk
|
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/ |
H A D | vnl_lbfgsb.h | 68 void get_upper_bound(vnl_vector<double>& u) const in get_upper_bound() function
|
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/ |
H A D | vnl_lbfgsb.h | 68 void get_upper_bound(vnl_vector<double>& u) const in get_upper_bound() function
|
/dports/misc/opennn/opennn-5.0.5/opennn/ |
H A D | bounding_layer.h | 73 type get_upper_bound(const Index&) const;
|
/dports/cad/librepcb/librepcb-0.1.6/libs/type_safe/include/type_safe/ |
H A D | bounded_type.hpp | 251 constexpr const typename upper_type::value_type& get_upper_bound() const noexcept in get_upper_bound() function in type_safe::constraints::bounded 495 : (val > interval.get_upper_bound() in clamp() 496 ? static_cast<typename std::decay<U>::type>(interval.get_upper_bound()) in clamp()
|