Class WAH8DocIdSet.Builder

  • Enclosing class:
    WAH8DocIdSet

    public static final class WAH8DocIdSet.Builder
    extends java.lang.Object
    A builder for WAH8DocIdSets.
    • Constructor Detail

      • Builder

        public Builder()
        Sole constructor
    • Method Detail

      • add

        public WAH8DocIdSet.Builder add​(int docID)
        Add a document to this builder. Documents must be added in order.
      • setIndexInterval

        public WAH8DocIdSet.Builder setIndexInterval​(int indexInterval)
        Set the index interval. Smaller index intervals improve performance of DocIdSetIterator.advance(int) but make the DocIdSet larger. An index interval i makes the index add an overhead which is at most 4/i, but likely much less.The default index interval is 8, meaning the index has an overhead of at most 50%. To disable indexing, you can pass Integer.MAX_VALUE as an index interval.