Re: [boost] Interest for a perl6-like-junctions-class?

From: Liu Jin (cpp_at_[hidden])
Date: 2005-08-03 23:03:16

>>>>> "David" == David Abrahams <dave_at_[hidden]> writes:
    > Anyway, saying that symmetry requires
    >      none_of(a) == any_of(b)
    >   to be equivalent to
    >      any_of(a) == none_of(b)
    > is about as valid as saying
    >      3*x == 1+y
    >   must be equivalent to
    >      1+x == 3*y
    > It makes no sense to me.

But it does break symmetry when
      none_of(a) == any_of(b) [no x in a equals to any y in b]
is different from
      any_of(b) == none_of(a) [some x in b equals to nothing in a]