Happy Happy Joy Joy (was: On to Hydro)
Tue, 22 Aug 2000 18:43:30 -0400
> Ok, in order to have a definition of container behavior
> independent of
> numbers, would you agree with my proposal that
> full-ordering containers
> (like Hydro's RedBlackTrees) reject the addition of an
> element that isn't
> <=> to itself, even if it is the initial element?
The sticking point for me will be what you define as the correct
behaviour for a Xanadu container. I think the RedBlackTree should in
all ways behave like an incomplete implementation of a partial order
This means that if a Xanadu container rejects irreflexive elements,
then I'll make the RedBlackTree reject an initial irreflexive element.
If the Xanadu container will accept irreflexive elements, then I think
the RedBlackTree should accept an initial irreflexive element.
If partial order containers also reject irreflexive elements, then we
don't really have a "irreflexive partial ordering", we have a plain
old "partial ordering". Thus, NaNs are not allowed to play with
ordered containers. Time to pick a side of the fence.
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com