Lines Matching refs:node_pointer
96 typedef typename base_type::node_pointer node_pointer;
215 update_max(node_pointer p_nd);
218 fix(node_pointer p_nd);
221 fix_root(node_pointer p_y);
224 fix_sibling_rank_1_unmarked(node_pointer p_y);
227 fix_sibling_rank_1_marked(node_pointer p_y);
230 fix_sibling_general_unmarked(node_pointer p_y);
233 fix_sibling_general_marked(node_pointer p_y);
236 fix_child(node_pointer p_y);
239 make_root(node_pointer p_nd);
242 make_root_and_link(node_pointer p_nd);
251 add_to_aux(node_pointer p_nd);
260 make_child_of(node_pointer p_nd, node_pointer p_new_parent);
263 remove_node(node_pointer p_nd);
265 inline node_pointer
266 join(node_pointer p_lhs, node_pointer p_rhs) const;
277 node_pointer m_p_max;
279 node_pointer m_a_aux[max_rank];