Reimplement comparison

we had a cycle of > calling < calling > etc
This commit is contained in:
Marc Glisse 2019-01-06 09:55:20 +01:00
parent fb8887ee1d
commit d4a5003a2c
1 changed files with 3 additions and 1 deletions

View File

@ -406,7 +406,9 @@ inline
Uncertain<bool> Uncertain<bool>
operator<(const Interval_nt<Protected> &a, double b) operator<(const Interval_nt<Protected> &a, double b)
{ {
return b > a; if (a.sup() < b) return true;
if (a.inf() >= b) return false;
return Uncertain<bool>::indeterminate();
} }
template <bool Protected> template <bool Protected>