Searched refs:new_child_head1 (Results 1 – 3 of 3) sorted by relevance
1704 choose * new_child_head1 = m_ct_manager.mk_choose(new_child_head2); in insert() local1712 set_next(curr, new_child_head1); in insert()1714 curr = new_child_head1; in insert()1716 if (curr == new_child_head1) in insert()
1725 choose * new_child_head1 = m_ct_manager.mk_choose(new_child_head2); in insert() local1733 set_next(curr, new_child_head1); in insert()1735 curr = new_child_head1; in insert()1737 if (curr == new_child_head1) in insert()
1720 choose * new_child_head1 = m_ct_manager.mk_choose(new_child_head2); in insert() local1728 set_next(curr, new_child_head1); in insert()1730 curr = new_child_head1; in insert()1732 if (curr == new_child_head1) in insert()