|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.javabdd.TryVarOrder
public class TryVarOrder
TryVarOrder
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 |
---|
public TryVarOrder(int nodeTableSize, int cacheSize, int maxIncrease, long bestTime, long delayTime)
Method Detail |
---|
public void init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op) throws java.io.IOException
b1
- first input to applyExb2
- second input to applyExdom
- third input to applyExop
- operation to be passed to applyEx
java.io.IOException
public void cleanup()
public void writeBDDConfig(BDDFactory bdd, java.lang.String fileName) throws java.io.IOException
bdd
- BDD factoryfileName
- filename
java.io.IOException
public long tryOrder(java.lang.String factory, boolean reverse, java.lang.String varOrder)
reverse
- whether to reverse the bitsvarOrder
- variable order to try
public java.lang.String getBestOrder()
public long getBestTime()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |