Interface PostingListManager.PostingListManagerPlugin

  • Enclosing class:
    PostingListManager

    public static interface PostingListManager.PostingListManagerPlugin
    Interface for plugins to further alter the posting lists managed by the PostingListManager