net.sf.javabdd
Class TryVarOrder

java.lang.Object
  net.sf.javabdd.TryVarOrder

public class TryVarOrder
extends Object

TryVarOrder

Version:

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

Author:

jwhaley

Nested Class Summary

static class	TryVarOrder.BDDOperation
class	TryVarOrder.TryThread

Constructor Summary

TryVarOrder(int nodeTableSize, int cacheSize, int maxIncrease, long bestTime, long delayTime)
Construct a new TryVarOrder.

Method Summary

void	cleanup() Clean up the temporary files.
String	getBestOrder()
long	getBestTime()
void	init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op) Initialize for a new trial.
long	tryOrder(String factory, boolean reverse, String varOrder) Try out a variable order.
void	writeBDDConfig(BDDFactory bdd, String fileName) Write the BDD configuration to a file.

Methods inherited from class java.lang.Object

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

Constructor Detail

TryVarOrder

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

Construct a new TryVarOrder.

Method Detail

init

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

Initialize for a new trial. Takes the given input BDDs and saves them out to temporary files.

Parameters:

b1 - first input to applyEx

b2 - second input to applyEx

dom - third input to applyEx

op - operation to be passed to applyEx

Throws:

IOException

cleanup

public void cleanup()

Clean up the temporary files.

writeBDDConfig

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

Write the BDD configuration to a file.

Parameters:

bdd - BDD factory

fileName - filename

Throws:

IOException

tryOrder

public long tryOrder(String factory,
                     boolean reverse,
                     String varOrder)

Try out a variable order.

Parameters:

reverse - whether to reverse the bits

varOrder - variable order to try

Returns:

time spent, or Long.MAX_VALUE if it didn't terminate

getBestOrder

public String getBestOrder()

getBestTime

public long getBestTime()