[std-interval] Interval comparison operators

[Guillaume Melquiond]

Le mercredi 26 avril 2006 à 18:17 +0000, first.i.last at comcast.net a
écrit :

> >         if (certainly(X < Y)) ...
> 
> Does this mean 
> 
>     if ( certainly_lt(X,Y) )
> 
> Or does operator<(interval,interval) return a specialized object that
> certainly(/*special object*/) reduces to a boolean or an exception?

I really meant "certainly(X < Y)". And yes, this presumably requires the
use of some kind of an expression template as the return type of
operator<. So "certainly" will do the actual comparison and return a
boolean (and it will _never_ throw an exception).

Best regards,

Guillaume