Home
last modified time | relevance | path

Searched refs:upper_is_neg (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/interval/
H A Dinterval.h192 bool upper_is_neg(interval const & a) const { return ::is_neg(m(), upper(a), upper_kind(a)); } in upper_is_neg() function
199 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()
H A Dinterval_def.h1241 else if (upper_is_neg(a)) { in power_jst()
1307 else if (upper_is_neg(a)) { in power()
/dports/math/z3/z3-z3-4.8.13/src/math/interval/
H A Dinterval.h192 bool upper_is_neg(interval const & a) const { return ::is_neg(m(), upper(a), upper_kind(a)); } in upper_is_neg() function
199 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()
H A Dinterval_def.h1241 else if (upper_is_neg(a)) { in power_jst()
1307 else if (upper_is_neg(a)) { in power()