insert_join_fn_imps.hpp | 299 node_pointer p_new_child = rec_join(p_pot_child, p_r, p_l->get_e_ind(), local 302 p_l->replace_child(p_new_child, pref_begin(p_new_child), 303 pref_end(p_new_child), this); 331 node_pointer p_new_child = rec_join(p_l->get_join_child(*it, this), local 333 p_l->replace_child(p_new_child, pref_begin(p_new_child), 334 pref_end(p_new_child), this); 347 node_pointer p_new_child = rec_join(p_l->get_join_child(p_r, this), local 349 p_l->replace_child(p_new_child, pref_begin(p_new_child) 358 node_pointer p_new_child = rec_join(p_r->get_join_child(p_l, this), p_l, local [all...] |