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