Package com.github.javabdd

Class FindBestOrder

java.lang.Object

com.github.javabdd.FindBestOrder

public class FindBestOrder
extends Object

Find best order.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	FindBestOrder.TryThread

Constructor Summary

Constructors

Constructor	Description
FindBestOrder(int nodeTableSize, int cacheSize, int maxIncrease, long bestTime, long delayTime)

Method Summary

Modifier and Type	Method	Description
void	cleanup()
String	getBestOrder()
long	getBestTime()
void	init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
long	tryOrder(boolean reverse, String varOrder)
void	writeBDDConfig(BDDFactory bdd, String fileName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FindBestOrder

public FindBestOrder(int nodeTableSize,
 int cacheSize,
 int maxIncrease,
 long bestTime,
 long delayTime)

Method Details

init

public void init(BDD b1,
 BDD b2,
 BDDVarSet dom,
 BDDFactory.BDDOp op)
          throws IOException

Throws:

IOException

cleanup

public void cleanup()

writeBDDConfig

public void writeBDDConfig(BDDFactory bdd,
 String fileName)
                    throws IOException

Throws:

IOException

tryOrder

public long tryOrder(boolean reverse,
 String varOrder)

getBestOrder

public String getBestOrder()

getBestTime

public long getBestTime()