Searched refs:MR_max_height_of_tree (Results 1 – 4 of 4) sorted by relevance
526 extern int MR_max_height_of_tree(Tree *); /* MR11 */806 extern int MR_max_height_of_tree(); /* MR11 */
2226 int MR_max_height_of_tree(Tree *t) function2228 int MR_max_height_of_tree(t)2241 h=MR_max_height_of_tree(u->down)+1;2568 int h=MR_max_height_of_tree(t);
2661 … /* MR13 */ height=MR_max_height_of_tree(pred->tcontext);
1928 /* MR13 */ height=MR_max_height_of_tree(pred->tcontext);