Searched defs:upper_is_pos (Results 1 – 2 of 2) sorted by relevance
193 bool upper_is_pos(interval const & a) const { return ::is_pos(m(), upper(a), upper_kind(a)); } in upper_is_pos() function