trees :: RBTreeMap :: insert_fixup_case5
this is a LLb or RRb conflict we rotate the tree to balance it
# Case 5: node and parent are red, uncle is black
# this is a LLb or RRb conflict
# we rotate the tree to balance it
private fun insert_fixup_case5(node: N) do
node.parent.is_red = false
node.grandparent.is_red = true
if node == node.parent.left then
rotate_right(node.grandparent.as(not null))
else
rotate_left(node.grandparent.as(not null))
end
end
lib/trees/rbtree.nit:105,2--116,4