void checkBalance() { tree.checkBalance(tree.root()); }
void checkBalance(int node) { if (node == NIL) { assert depth(node) == 0; } else { assert depth(node) == 1 + Math.max(depth(left(node)), depth(right(node))); assert Math.abs(depth(left(node)) - depth(right(node))) <= 1; checkBalance(left(node)); checkBalance(right(node)); } }
void checkBalance() { tree.checkBalance(tree.root()); }
void checkBalance(int node) { if (node == NIL) { assert depth(node) == 0; } else { assert depth(node) == 1 + Math.max(depth(left(node)), depth(right(node))); assert Math.abs(depth(left(node)) - depth(right(node))) <= 1; checkBalance(left(node)); checkBalance(right(node)); } }