Lines Matching refs:is_pos
344 ext_numeral new_upper = a * c; SASSERT(new_upper.is_pos()); in operator *=()
360 m_lower_open = a_o || d_o; SASSERT(a.is_neg() && d.is_pos()); in operator *=()
374 ext_numeral new_upper = a * c; SASSERT(new_upper.is_pos()); in operator *=()
375 m_lower_open = b_o || c_o; SASSERT(b.is_pos() && c.is_neg()); in operator *=()
418 ext_numeral new_upper = b * d; SASSERT(new_upper.is_pos()); in operator *=()
419 m_lower_open = a_o || d_o; SASSERT(a.is_neg() && d.is_pos()); in operator *=()
420 m_upper_open = b_o || d_o; SASSERT(b.is_pos() && d.is_pos()); in operator *=()
436 m_lower_open = b_o || c_o; SASSERT(b.is_pos() && c.is_neg()); in operator *=()
448 ext_numeral new_upper = b * d; SASSERT(new_upper.is_pos()); in operator *=()
464 m_upper_open = b_o || d_o; SASSERT(b.is_pos() && d.is_pos()); in operator *=()
491 tout << "m_upper.is_pos(): " << m_upper.is_pos() << "\n"; in contains_zero()
494 … ((m_lower.is_neg() || (m_lower.is_zero() && !m_lower_open)) && (m_upper.is_pos() || (m_upper.is_z… in contains_zero()
497 (m_upper.is_pos() || (m_upper.is_zero() && !m_upper_open)); in contains_zero()
572 if (other.m_lower.is_pos() || (other.m_lower.is_zero() && other.m_lower_open)) { in operator /=()
606 if (m_lower.is_pos()) { in expt()