Re: [boost] Interval Library and comparison operators

From: Douglas Gregor (gregod_at_[hidden])
Date: 2002-09-06 11:43:43

On Friday 06 September 2002 12:19 pm, David Bergman wrote:
> You could also look at an earlier post by Joel, where he uses, as an
> example, "exists"-definitions, which do the contrary, i.e., expand
> instead of contract.

Wouldn't fit my domain.

> I do object in contracting '==' so that ' A == A ' becomes non-true.
> IMEHO, that is contracting too far (or, in other words, being too
> cautious)

You can do a _little_ better if you specialize the definitions of x RelOp y 
when &x == &y, then a == a, a <= a, a >= a, !(a < a), !(a > a) !(a != a).

> A naive question: what is the benefit of using tribools in this interval
> domain?
>
> /David

I just posted a reply to Fernando describing the need for tribools in static 
analysis.

        Doug