Searched refs:upper_is_neg (Results 1 – 4 of 4) sorted by relevance
192 bool upper_is_neg(interval const & a) const { return ::is_neg(m(), upper(a), upper_kind(a)); } in upper_is_neg() function199 bool is_N(interval const & n) const { return upper_is_neg(n) || upper_is_zero(n); } in is_N()201 …bool is_N1(interval const & n) const { return upper_is_neg(n) || (upper_is_zero(n) && upper_is_ope… in is_N1()
1241 else if (upper_is_neg(a)) { in power_jst()1307 else if (upper_is_neg(a)) { in power()