Restrict(T,S)
Mark the full and partial nodes from the bottom up.
- In the process the marked leaves become contiguous.
Locate the key node.
- Deepest node with the property that all its proper ancestors have exactly one partial child.
Restrict the key node.
- In the process of restricting the key node we will have to recursively direct partial nodes.
- Directing a node returns a sequence of nodes.
-