Assertion: tree | /r/HasProperty | rotated on the edge
Facets:
value: between p
type: LOCATION
Source sentences:
text: The tree is rotated on the edge between x and p. Zig steps exist to deal with the parity issue and will be done only as the last step in a splay operation and only when x has odd depth at the beginning of the operation.
text: The tree is rotated on the edge joining p with its parent g, then rotated on the edge joining x with p. Note that zig-zig steps are the only thing that differentiate splay trees from the rotate to root method introduced by Allen and Munro prior to the introduction of splay trees.
text: The tree is rotated on the edge between p and x, and then rotated on the resulting edge between x and g.