Home
last modified time | relevance | path

Searched refs:eps_numeral (Results 1 – 10 of 10) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/math/simplex/
H A Dsimplex.h46 typedef typename Ext::eps_numeral eps_numeral; typedef
81 eps_numeral m_value;
82 eps_numeral m_lower;
83 eps_numeral m_upper;
131 void set_lower(var_t var, eps_numeral const& b);
132 void set_upper(var_t var, eps_numeral const& b);
137 bool above_lower(var_t var, eps_numeral const& b) const;
138 bool below_upper(var_t var, eps_numeral const& b) const;
145 void set_value(var_t var, eps_numeral const& b);
150 eps_numeral const& get_value(var_t v);
[all …]
H A Dsimplex_def.h190 bool simplex<Ext>::above_lower(var_t var, eps_numeral const& b) const { in above_lower()
196 bool simplex<Ext>::below_upper(var_t var, eps_numeral const& b) const { in below_upper()
202 void simplex<Ext>::set_lower(var_t var, eps_numeral const& b) { in set_lower()
222 void simplex<Ext>::set_upper(var_t var, eps_numeral const& b) { in set_upper()
250 void simplex<Ext>::set_value(var_t var, eps_numeral const& b) { in set_value()
258 typename simplex<Ext>::eps_numeral const&
374 …void simplex<Ext>::update_and_pivot(var_t x_i, var_t x_j, numeral const& a_ij, eps_numeral const& … in update_and_pivot()
426 void simplex<Ext>::update_value(var_t v, eps_numeral const& delta) { in update_value()
451 void simplex<Ext>::update_value_core(var_t v, eps_numeral const& delta) { in update_value_core()
452 eps_numeral& val = m_vars[v].m_value; in update_value_core()
[all …]
H A Dsparse_matrix.h261 typedef mpq_inf eps_numeral; typedef
269 typedef mpq_inf eps_numeral; typedef
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/simplex/
H A Dsimplex.h46 typedef typename Ext::eps_numeral eps_numeral; typedef
81 eps_numeral m_value;
82 eps_numeral m_lower;
83 eps_numeral m_upper;
131 void set_lower(var_t var, eps_numeral const& b);
132 void set_upper(var_t var, eps_numeral const& b);
137 bool above_lower(var_t var, eps_numeral const& b) const;
138 bool below_upper(var_t var, eps_numeral const& b) const;
145 void set_value(var_t var, eps_numeral const& b);
150 eps_numeral const& get_value(var_t v);
[all …]
H A Dsimplex_def.h190 bool simplex<Ext>::above_lower(var_t var, eps_numeral const& b) const { in above_lower()
196 bool simplex<Ext>::below_upper(var_t var, eps_numeral const& b) const { in below_upper()
202 void simplex<Ext>::set_lower(var_t var, eps_numeral const& b) { in set_lower()
222 void simplex<Ext>::set_upper(var_t var, eps_numeral const& b) { in set_upper()
250 void simplex<Ext>::set_value(var_t var, eps_numeral const& b) { in set_value()
258 typename simplex<Ext>::eps_numeral const&
374 …void simplex<Ext>::update_and_pivot(var_t x_i, var_t x_j, numeral const& a_ij, eps_numeral const& … in update_and_pivot()
426 void simplex<Ext>::update_value(var_t v, eps_numeral const& delta) { in update_value()
451 void simplex<Ext>::update_value_core(var_t v, eps_numeral const& delta) { in update_value_core()
452 eps_numeral& val = m_vars[v].m_value; in update_value_core()
[all …]
H A Dsparse_matrix.h261 typedef mpq_inf eps_numeral; typedef
269 typedef mpq_inf eps_numeral; typedef
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_dense_diff_logic_def.h1005 simplex::mpq_ext::eps_numeral const& val = S.get_value(w); in maximize()
H A Dtheory_diff_logic_def.h1278 simplex::mpq_ext::eps_numeral const& val = S.get_value(w); in maximize()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_dense_diff_logic_def.h1005 simplex::mpq_ext::eps_numeral const& val = S.get_value(w); in maximize()
H A Dtheory_diff_logic_def.h1278 simplex::mpq_ext::eps_numeral const& val = S.get_value(w); in maximize()