public BucketIndex append(final int index, RevTree left, RevTree right) { return new BucketIndex(this.indexPath, index, left, right); }
public static BucketIndex root(RevTree left, RevTree right) { return new BucketIndex(left, right); }
public BucketIndex append(final int index, RevTree left, RevTree right) { return new BucketIndex(this.indexPath, index, left, right); }
public static BucketIndex root(RevTree left, RevTree right) { return new BucketIndex(left, right); }