appex3cache = null;
    void bdd_operator_noderesize() {        if (cacheratio > 0) {            cachesize = bddnodesize / cacheratio;            singlecache = null;            replacecache = null;            andcache = null;            orcache = null;            applycache = null;            quantcache = null;            appexcache = null;            itecache = null;            countcache = null;            misccache = null;        }    }