Searched refs:rmost (Results 1 – 1 of 1) sorted by relevance
520 struct et_occ *rmost, *left_part, *new_f_occ, *p; in et_set_father() local525 rmost = father->rightmost_occ; in et_set_father()526 et_splay (rmost); in et_set_father()528 left_part = rmost->prev; in et_set_father()540 set_prev (rmost, new_f_occ); in et_set_father()542 if (new_f_occ->min + rmost->depth < rmost->min) in et_set_father()544 rmost->min = new_f_occ->min + rmost->depth; in et_set_father()545 rmost->min_occ = new_f_occ->min_occ; in et_set_father()566 et_check_tree_sanity (rmost); in et_set_father()567 record_path_before (rmost); in et_set_father()[all …]