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 ( ) ; }
Resizes the cache to a new number of entries . The old cache entries are removed in this process .