(self, node)
| 135 | |
| 136 | |
| 137 | def rotate_right(self, node): |
| 138 | aux = node.parent.label |
| 139 | node.parent.label = node.label |
| 140 | node.parent.left = Node(aux) |
| 141 | node.parent.left.height = node.parent.height + 1 |
| 142 | node.parent.right = node.right |
| 143 | |
| 144 | def double_rotate_left(self, node): |
| 145 | self.rotate_right(node.getRight().getRight()) |
no test coverage detected