net.sf.javabdd
Class TryVarOrder

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

public class TryVarOrder
extends java.lang.Object

TryVarOrder

Version:

$Id: TryVarOrder.html,v 1.1.2.1 2009/02/16 18:41:06 sya Exp $

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.
java.lang.String	getBestOrder()
long	getBestTime()
void	init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op) Initialize for a new trial.
long	tryOrder(java.lang.String factory, boolean reverse, java.lang.String varOrder) Try out a variable order.
void	writeBDDConfig(BDDFactory bdd, java.lang.String fileName) Write the BDD configuration to a file.

Methods inherited from class java.lang.Object

equals, 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 java.io.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:

java.io.IOException

cleanup

public void cleanup()

Clean up the temporary files.

writeBDDConfig

public void writeBDDConfig(BDDFactory bdd,
                           java.lang.String fileName)
                    throws java.io.IOException

Write the BDD configuration to a file.

Parameters:

bdd - BDD factory

fileName - filename

Throws:

java.io.IOException

tryOrder

public long tryOrder(java.lang.String factory,
                     boolean reverse,
                     java.lang.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 java.lang.String getBestOrder()

getBestTime

public long getBestTime()