File f = File.createTempFile("fbo", "a"); filename0 = f.getAbsolutePath(); f.deleteOnExit(); f = File.createTempFile("fbo", "b"); filename1 = f.getAbsolutePath(); f.deleteOnExit(); f = File.createTempFile("fbo", "c"); filename2 = f.getAbsolutePath(); f.deleteOnExit(); f = File.createTempFile("fbo", "d"); filename3 = f.getAbsolutePath(); f.deleteOnExit(); writeBDDConfig(b1.getFactory(), filename0); b1.getFactory().save(filename1, b1); b2.getFactory().save(filename2, b2); dom.getFactory().save(filename3, dom);
    public FindBestOrder(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op,                         int nodeTableSize,                         int cacheSize, int maxIncrease, long bestTime, long delayTime)        throws IOException {        this.op = op;        this.bestCalcTime = bestTime;        this.bestTotalTime = Long.MAX_VALUE;        //this.nodeTableSize = b1.getFactory().getAllocNum();        this.nodeTableSize = nodeTableSize;        this.cacheSize = cacheSize;        this.maxIncrease = maxIncrease;        this.DELAY_TIME = delayTime;        File f = File.createTempFile("fbo", "a");        filename0 = f.getAbsolutePath();        f.deleteOnExit();        f = File.createTempFile("fbo", "b");        filename1 = f.getAbsolutePath();        f.deleteOnExit();        f = File.createTempFile("fbo", "c");        filename2 = f.getAbsolutePath();        f.deleteOnExit();        f = File.createTempFile("fbo", "d");        filename3 = f.getAbsolutePath();        f.deleteOnExit();        writeBDDConfig(b1.getFactory(), filename0);        b1.getFactory().save(filename1, b1);        b2.getFactory().save(filename2, b2);        dom.getFactory().save(filename3, dom);    }