net.sf.javabdd
Class TryVarOrder.BDDOperation
java.lang.Object
net.sf.javabdd.TryVarOrder.BDDOperation
- Enclosing class:
- TryVarOrder
public static class TryVarOrder.BDDOperation
- extends java.lang.Object
Method Summary |
long |
doIt()
|
void |
free()
|
void |
load()
|
void |
setFilenames(java.lang.String f1,
java.lang.String f2,
java.lang.String f3)
|
void |
setOp(int op)
|
void |
setVarOrder(boolean reverse,
java.lang.String varOrderToTry)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TryVarOrder.BDDOperation
public TryVarOrder.BDDOperation()
TryVarOrder.BDDOperation
public TryVarOrder.BDDOperation(int op,
java.lang.String f1,
java.lang.String f2,
java.lang.String f3)
setOp
public void setOp(int op)
setFilenames
public void setFilenames(java.lang.String f1,
java.lang.String f2,
java.lang.String f3)
setVarOrder
public void setVarOrder(boolean reverse,
java.lang.String varOrderToTry)
load
public void load()
throws java.io.IOException
- Throws:
java.io.IOException
doIt
public long doIt()
free
public void free()