net.sf.javabdd
Class TryVarOrder.BDDOperation

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

Enclosing class:

TryVarOrder

public static class TryVarOrder.BDDOperation
extends Object

Constructor Summary

TryVarOrder.BDDOperation()

TryVarOrder.BDDOperation(int op, String f1, String f2, String f3)

Method Summary

long	doIt()
void	free()
void	load()
void	setFilenames(String f1, String f2, String f3)
void	setOp(int op)
void	setVarOrder(boolean reverse, String varOrderToTry)

Methods inherited from class java.lang.Object

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

Constructor Detail

TryVarOrder.BDDOperation

public TryVarOrder.BDDOperation()

TryVarOrder.BDDOperation

public TryVarOrder.BDDOperation(int op,
                                String f1,
                                String f2,
                                String f3)

Method Detail

setOp

public void setOp(int op)

setFilenames

public void setFilenames(String f1,
                         String f2,
                         String f3)

setVarOrder

public void setVarOrder(boolean reverse,
                        String varOrderToTry)

load

public void load()
          throws IOException

Throws:

IOException

doIt

public long doIt()

free

public void free()