protected void initialize(int nodenum, int cachesize) { throw new BDDException();
protected void initialize(int initnodesize, int cs) { bdd = new jdd.bdd.BDD(initnodesize, cs); vars = new int[256];
    protected void initialize(int nodenum, int cachesize) {        throw new BDDException();    }