Happy Happy Joy Joy (was: On to Hydro)

[Mark S. Miller]

At 03:43 PM 8/22/00 , Tyler Close wrote:
>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
>container.
>
>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.

I just talked to Dean about this.  The Xanadu containers themselves never 
faced the issue of irreflexive orderings, so the issue didn't come up then.  
But Dean & I both agreed that, were the Xanadu containers to be done over 
again, the partial-order-based containers should reject irreflexive 
elements, and therefore NaNs.  Therefore, given your goals, it seems you 
should too.



         Cheers,
         --MarkM