net.sf.javabdd
Class FindBestOrder

java.lang.Object
  net.sf.javabdd.FindBestOrder

public class FindBestOrder
extends Object

FindBestOrder

Version:

$Id: FindBestOrder.java 452 2006-07-16 21:50:02Z joewhaley $

Author:

jwhaley

Nested Class Summary

class

FindBestOrder.TryThread

Constructor Summary

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

Method Summary

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 Detail

FindBestOrder

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

Method Detail

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()