int getDuplicateTreeMaxDepth() {
return duplicateTreeMaxDepth;
}
private void copyToStats(DatabaseStats stats) {
BtreeStats bStats = (BtreeStats) stats;
bStats.setInternalNodeCount(getINNodeIdsSeen().size());
bStats.setBottomInternalNodeCount
(getBINNodeIdsSeen().size());
bStats.setDuplicateInternalNodeCount
(getDINNodeIdsSeen().size());
bStats.setDuplicateBottomInternalNodeCount
(getDBINNodeIdsSeen().size());
bStats.setLeafNodeCount(getLNCount());
bStats.setDeletedLeafNodeCount(getDeletedLNCount());
bStats.setDupCountLeafNodeCount
(getDupCountLNCount().size());
bStats.setMainTreeMaxDepth(getMainTreeMaxDepth());
bStats.setDuplicateTreeMaxDepth(getDuplicateTreeMaxDepth());
bStats.setINsByLevel(getINsByLevel());
bStats.setBINsByLevel(getBINsByLevel());
bStats.setDINsByLevel(getDINsByLevel());
bStats.setDBINsByLevel(getDBINsByLevel());
}