Lines Matching full:satisfies
179 * This function recursively verifies that the given binary subtree satisfies
