synchronized public int getMinLeafDepth(Transaction tx) throws IOException { return getRoot(tx).getMinLeafDepth(tx, 0); }
public int getMinLeafDepth(Transaction tx, int depth) throws IOException { depth++; if( isBranch() ) { int min = Integer.MAX_VALUE; for(int i=0 ; i < children.length; i++) { min = Math.min(min, getChild(tx, i).getMinLeafDepth(tx, depth)); } return min; } else { // print(depth*2, "- "+page.getPageId()); return depth; } }
synchronized public int getMinLeafDepth(Transaction tx) throws IOException { return getRoot(tx).getMinLeafDepth(tx, 0); }
synchronized public int getMinLeafDepth(Transaction tx) throws IOException { return getRoot(tx).getMinLeafDepth(tx, 0); }
synchronized public int getMinLeafDepth(Transaction tx) throws IOException { return getRoot(tx).getMinLeafDepth(tx, 0); }
public int getMinLeafDepth(Transaction tx, int depth) throws IOException { depth++; if( isBranch() ) { int min = Integer.MAX_VALUE; for(int i=0 ; i < children.length; i++) { min = Math.min(min, getChild(tx, i).getMinLeafDepth(tx, depth)); } return min; } else { // print(depth*2, "- "+page.getPageId()); return depth; } }
public int getMinLeafDepth(Transaction tx, int depth) throws IOException { depth++; if( isBranch() ) { int min = Integer.MAX_VALUE; for(int i=0 ; i < children.length; i++) { min = Math.min(min, getChild(tx, i).getMinLeafDepth(tx, depth)); } return min; } else { // print(depth*2, "- "+page.getPageId()); return depth; } }
public int getMinLeafDepth(Transaction tx, int depth) throws IOException { depth++; if( isBranch() ) { int min = Integer.MAX_VALUE; for(int i=0 ; i < children.length; i++) { min = Math.min(min, getChild(tx, i).getMinLeafDepth(tx, depth)); } return min; } else { // print(depth*2, "- "+page.getPageId()); return depth; } }