BddCache_reset(countcache);
    void bdd_operator_varresize() {        if (quantvarset != null)            free(quantvarset);        quantvarset = new int[bddvarnum];        //memset(quantvarset, 0, sizeof(int)*bddvarnum);        quantvarsetID = 0;    }