code: private void resize(final int ns) {
      final int size = BDDPrime.primeGTE(ns);
      this.table = new BDDCacheEntry[size];
      for (int n = 0; n < size; n++)
        this.table[n] = new BDDCacheEntry();
    }
docs: Resizes the cache to a new number of entries.  The old cache entries are removed in this process.
  @param ns the new number of entries