BDDFactory a = BuDDyFactory.init(nodenum, cachesize); BDDFactory b = JDDFactory.init(nodenum, cachesize);
String bdd1 = System.getProperty("bdd1", "j"); String bdd2 = System.getProperty("bdd2", "micro"); BDDFactory a = BDDFactory.init(bdd1, nodenum, cachesize); BDDFactory b = BDDFactory.init(bdd2, nodenum, cachesize);
    public static BDDFactory init(int nodenum, int cachesize) {        BDDFactory a = BuDDyFactory.init(nodenum, cachesize);        BDDFactory b = JDDFactory.init(nodenum, cachesize);        return new TestBDDFactory(a, b);    }