Searched refs:m_upper_valid (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/simplex/ |
| H A D | simplex.h | 80 unsigned m_upper_valid:1; member
89 m_upper_valid(false) in var_info()
142 bool upper_valid(var_t var) const { return m_vars[var].m_upper_valid; } in upper_valid()
192 bool is_free(var_t v) const { return !m_vars[v].m_lower_valid && !m_vars[v].m_upper_valid; } in is_free()
|
| H A D | simplex_def.h | 145 m_vars[var].m_upper_valid = false; in del_row()
198 return !vi.m_upper_valid || em.lt(b, vi.m_upper); in below_upper()
208 SASSERT(!vi.m_upper_valid || em.le(b, vi.m_upper)); in set_lower()
225 vi.m_upper_valid = true; in set_upper()
246 m_vars[var].m_upper_valid = false; in unset_upper()
470 return vi.m_upper_valid && em.gt(vi.m_value, vi.m_upper); in above_upper()
482 return !vi.m_upper_valid || em.lt(vi.m_value, vi.m_upper); in below_upper()
494 return vi.m_upper_valid && em.eq(vi.m_value, vi.m_upper); in at_upper()
692 if (inc_x_j && vj.m_upper_valid) { in minimize()
757 if (!base_to_lower && vs.m_upper_valid) { in move_to_bound()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/simplex/ |
| H A D | simplex.h | 80 unsigned m_upper_valid:1; member
89 m_upper_valid(false) in var_info()
142 bool upper_valid(var_t var) const { return m_vars[var].m_upper_valid; } in upper_valid()
192 bool is_free(var_t v) const { return !m_vars[v].m_lower_valid && !m_vars[v].m_upper_valid; } in is_free()
|
| H A D | simplex_def.h | 145 m_vars[var].m_upper_valid = false; in del_row()
198 return !vi.m_upper_valid || em.lt(b, vi.m_upper); in below_upper()
208 SASSERT(!vi.m_upper_valid || em.le(b, vi.m_upper)); in set_lower()
225 vi.m_upper_valid = true; in set_upper()
246 m_vars[var].m_upper_valid = false; in unset_upper()
470 return vi.m_upper_valid && em.gt(vi.m_value, vi.m_upper); in above_upper()
482 return !vi.m_upper_valid || em.lt(vi.m_value, vi.m_upper); in below_upper()
494 return vi.m_upper_valid && em.eq(vi.m_value, vi.m_upper); in at_upper()
692 if (inc_x_j && vj.m_upper_valid) { in minimize()
757 if (!base_to_lower && vs.m_upper_valid) { in move_to_bound()
[all …]
|