bdd = new jdd.bdd.BDD(nodenum, cachesize); vars = new int[256]; jdd.util.Options.verbose = true;
initialize(nodenum, cachesize);
    private JDDFactory(int nodenum, int cachesize) {        bdd = new jdd.bdd.BDD(nodenum, cachesize);        vars = new int[256];        jdd.util.Options.verbose = true;    }