Re: [boost] [type_erasure] default implementation of concept signatures

Subject: Re: [boost] [type_erasure] default implementation of concept signatures
From: Matt Calabrese (rivorus_at_[hidden])
Date: 2011-05-28 14:59:57

On Sat, May 28, 2011 at 2:55 PM, Steven Watanabe <watanabesj_at_[hidden]>wrote:

> I see
> the ability to use the other operators as a convenience
> more than anything else.
>

+1

> I don't have the concepts proposal handy, but
> doesn't LessThanComparable have an axiom that
> requires that (a < b) is equivalent to (b > a)?
>

Yes.

axiom Consistency(T a, T b) {
    (a > b) == (b < a);
    (a <= b) == !(b < a);
    (a >= b) == !(a < b);
  }

-- 
-Matt Calabrese