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]