Operations
Readouts
Nodes
-
Height
-
Black height
-
Upper bound 2·log2(n+1)
-
Rotations
-
Recolorings
-
Last operation
-