Home
last modified time | relevance | path

Searched refs:get_upper_bound (Results 1 – 25 of 180) sorted by relevance

12345678

/dports/math/z3/z3-z3-4.8.13/src/math/lp/
H A Dconversion_helper.h29 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 Dcolumn_info.h111 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 Dlp_solver_def.h177 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 Dconversion_helper.h29 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 Dcolumn_info.h111 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 Dlp_solver_def.h177 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 Dbounded_type.cpp64 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 Dquadratic_order1.cc1628 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 Dwidthpoint.cpp195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint
214 upper_bound_==rhs.get_upper_bound() in operator ==()
H A Dwidthpoint.h91 Real get_upper_bound()const;
/dports/graphics/synfig/synfig-1.2.2/synfig-core/src/synfig/
H A Dwidthpoint.cpp195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint
214 upper_bound_==rhs.get_upper_bound() in operator ==()
H A Dwidthpoint.h91 Real get_upper_bound()const;
/dports/graphics/synfigstudio/synfig-1.2.2/synfig-core/src/synfig/
H A Dwidthpoint.cpp195 WidthPoint::get_upper_bound()const in get_upper_bound() function in WidthPoint
214 upper_bound_==rhs.get_upper_bound() in operator ==()
H A Dwidthpoint.h91 Real get_upper_bound()const;
/dports/devel/py-bullet3/bullet3-3.21/examples/pybullet/gym/pybullet_envs/minitaur/envs_v2/sensors/
H A Dspace_utils.py78 upper_bound = np.concatenate([s.get_upper_bound() for s in sensors])
104 np.array(s.get_upper_bound()),
H A Dsensor.py158 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.py127 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 Dmemory.cc250 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 Dmemory.h207 unsigned long get_upper_bound() const;
/dports/devel/srecord/srecord-1.64/srecord/memory/
H A Dchunk.h122 unsigned long get_upper_bound() const;
H A Dchunk.cc140 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 Dvnl_lbfgsb.h68 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 Dvnl_lbfgsb.h68 void get_upper_bound(vnl_vector<double>& u) const in get_upper_bound() function
/dports/misc/opennn/opennn-5.0.5/opennn/
H A Dbounding_layer.h73 type get_upper_bound(const Index&) const;
/dports/cad/librepcb/librepcb-0.1.6/libs/type_safe/include/type_safe/
H A Dbounded_type.hpp251 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()

12345678