search

braibant / articheck

14 stars 2 forks source link

RBT example #10

Closed braibant closed 10 years ago

braibant commented 10 years ago

Implement the test that checks whether a RBT satisfies the red-black property, and check this property.

gasche commented 10 years ago

Closed by cd1f712814 .

gasche commented 10 years ago

Why is it the case that RBT are specialized to use only int keys? I think we could/should have a polymorphic implementation, and only test them on integers (this would allow to cite the interesting result that polymorphic comparison-based functions can be tested only on integers).

braibant commented 10 years ago

I think it would be good to have polymorphic RBT indeed.

gasche commented 10 years ago

Closed again by fee4c4de5f0429788c8f1e6c42d0d6e6cd9b45b5.