net.sf.javabdd
Class TryVarOrder

java.lang.Object
  extended by 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()