
BST Search, Insert and Delete
The binary search tree property and its consequences, search and insertion paths, minimum and maximum, inorder successor and predecessor in both cases, deletion of a leaf, a node with one child and a node with two children (successor or predecessor replacement) traced on one tree, height bounds and the cost of every operation. All paths, successors and post-deletion trees come from a verification script.




