Assertion: tree rotation | /r/HasProperty | local transformations
Facets:
Source sentences:
text: They require only constant time because they are local transformations: they only operate on 5 nodes, and need not examine the rest of the tree.