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
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
I just posted a reply to Fernando describing the need for tribools in static
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk