Lines Matching refs:push
1456 push(elem, index);
1532 // push the path
1537 push(elem, (child.isLeaf() ? index : index+1));
1643 // push the path
1647 push(e, index);
1789 * @param record Whether or not the push should be
1794 void push(Element e, int index, boolean isFracture) {
1796 path.push(ec);
1799 void push(Element e, int index) {
1800 push(e, index, false);
1848 push(parent, 0, true);
1858 push(fracturedChild, 0, true);
1862 push(ec.parent.getElement(0), 0, true);
1868 push(belem, 0);
1934 push(elem, index0);