singlecache.reset(); replacecache.reset(); andcache.reset(); orcache.reset(); applycache.reset(); relprodcache.reset(); quantcache.reset(); appexcache.reset(); itecache.reset(); countcache.reset(); misccache.reset();
if (singlecache != null) singlecache.reset(); if (replacecache != null) replacecache.reset(); if (andcache != null) andcache.reset(); if (orcache != null) orcache.reset(); if (applycache != null) applycache.reset(); if (relprodcache != null) relprodcache.reset(); if (quantcache != null) quantcache.reset(); if (appexcache != null) appexcache.reset(); if (itecache != null) itecache.reset(); if (countcache != null) countcache.reset(); if (misccache != null) misccache.reset();
    void bdd_operator_reset() {        singlecache.reset();        replacecache.reset();        andcache.reset();        orcache.reset();        applycache.reset();        relprodcache.reset();        quantcache.reset();        appexcache.reset();        itecache.reset();        countcache.reset();        misccache.reset();    }