net.sf.javabdd
Class FindBestOrder
java.lang.Object
net.sf.javabdd.FindBestOrder
public class FindBestOrder
- extends java.lang.Object
FindBestOrder
- Version:
- $Id: FindBestOrder.html,v 1.1.2.1 2009/02/16 18:41:07 sya Exp $
- Author:
- jwhaley
Constructor Summary |
FindBestOrder(int nodeTableSize,
int cacheSize,
int maxIncrease,
long bestTime,
long delayTime)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FindBestOrder
public FindBestOrder(int nodeTableSize,
int cacheSize,
int maxIncrease,
long bestTime,
long delayTime)
init
public void init(BDD b1,
BDD b2,
BDDVarSet dom,
BDDFactory.BDDOp op)
throws java.io.IOException
- Throws:
java.io.IOException
cleanup
public void cleanup()
writeBDDConfig
public void writeBDDConfig(BDDFactory bdd,
java.lang.String fileName)
throws java.io.IOException
- Throws:
java.io.IOException
tryOrder
public long tryOrder(boolean reverse,
java.lang.String varOrder)
getBestOrder
public java.lang.String getBestOrder()
getBestTime
public long getBestTime()