RE: [boost] Interval Library and comparison operators

From: David Bergman (davidb_at_[hidden])
Date: 2002-09-06 10:48:16

In the 3-state relation it should mean "possibly not reflexive" as in "A
RelOp B yields something different from 'true'"

In fact, I was objecting to the 2-state definition, of

        [a1, a2] RelOp [b1, b2]   iff   forall a1 <= a <= a2, b1 <= b <=
b2: a RelOp b

Where "irreflexive" really means something...

/David

-----Original Message-----
From: boost-bounces_at_[hidden]
[mailto:boost-bounces_at_[hidden]] On Behalf Of Douglas Gregor
Sent: Friday, September 06, 2002 11:38 AM
To: boost_at_[hidden]
Subject: Re: [boost] Interval Library and comparison operators

On Friday 06 September 2002 11:27 am, David Bergman wrote:
> Please, do not do this to the poor '==', it did not deserve to be 
> irreflexive ;-)

By irreflexive, do you mean 'not reflexive' or 'possibly not reflexive'?
I'm 
not convinced that applying the word 'reflexive' to a 3-state relation
makes 
any sense.

        Doug
_______________________________________________
Unsubscribe & other changes:
http://lists.boost.org/mailman/listinfo.cgi/boost