Class CompareResultWithPageOverflow

    • Constructor Detail

      • CompareResultWithPageOverflow

        public CompareResultWithPageOverflow()
        Defaults to swap to disk, when more than 10 pages are stored.
      • CompareResultWithPageOverflow

        public CompareResultWithPageOverflow​(int maxPages)
        Swaps to disk, when more than the given pages are in memory.
        Parameters:
        maxPages - the maximum amount of pages to keep in memory