public int setCacheSize(int newcachesize) { int old = cachesize; cachesize = bdd_prime_lte(cachesize); singlecache = null; replacecache = null; andcache = null; orcache = null; applycache = null; quantcache = null; appexcache = null; appex3cache = null; itecache = null; countcache = null; misccache = null; return old; }
public int setCacheSize(int v) { return bdd_setcachesize(v); }
    public int setCacheSize(int newcachesize) {        int old = cachesize;        cachesize = bdd_prime_lte(cachesize);        singlecache = null;        replacecache = null;        andcache = null;        orcache = null;        applycache = null;        quantcache = null;        appexcache = null;        appex3cache = null;        itecache = null;        countcache = null;        misccache = null;        return old;    }