Lines Matching defs:node_pointer
90 typedef typename base_type::node_pointer node_pointer;
209 update_max(node_pointer p_nd);
212 fix(node_pointer p_nd);
215 fix_root(node_pointer p_y);
218 fix_sibling_rank_1_unmarked(node_pointer p_y);
221 fix_sibling_rank_1_marked(node_pointer p_y);
224 fix_sibling_general_unmarked(node_pointer p_y);
227 fix_sibling_general_marked(node_pointer p_y);
230 fix_child(node_pointer p_y);
233 make_root(node_pointer p_nd);
236 make_root_and_link(node_pointer p_nd);
245 add_to_aux(node_pointer p_nd);
254 make_child_of(node_pointer p_nd, node_pointer p_new_parent);
257 remove_node(node_pointer p_nd);
259 inline node_pointer
260 join(node_pointer p_lhs, node_pointer p_rhs) const;
271 node_pointer m_p_max;
273 node_pointer m_a_aux[max_rank];