"Thorsten Ottosen" <thorsten.ottosen@dezide.com> wrote in message news:45CEFA3F.8080807@dezide.com...
Thorsten Ottosen wrote:
Gennadiy Rozental wrote:
"Thorsten Ottosen" <thorsten.ottosen@dezide.com> wrote in message news:45C75E5A.7030309@dezide.com...
I see this as bunch of garbage chars. I don't know why. Could you include the file in the message itself?
Strange, I do not have any problems reading my post. Here it is:
Thanks. I guess it may be a thunderbird problem.
It looks good.
Does it mean you would be interrested in getting this into Boost.Test? My original plan was to create a bunch of runtime testers for variety of predicates invariants/concepts Reflexivity Irreflexivity Symmetry Antisymmetry Transitivity Transitivity of equivalence Partial ordering Strict weak ordering Total ordering .... I will need to do some aditional investigation to see what else need to be covered.
I'm don't think it is necessary to check for
// Check for transitivity of equivalence: // !cmp(a,b) & !cmp(b,c) -> !cmp(a,c)
doesn't that follow from antisymmetri and transitivity?
If we should believe the SGI docs, the property does not follow. However, you seem to have misread the property.
It should be
!cmp(a,b) && !cmp(b,a) && !cmp(b,c) && !cmp(c,b)
->
!cmp(a,c) && !cmp(c,a)
right?
Hmmm. Look like you are right. Gennadiy