|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjedd.Jedd
Nested Class Summary | |
static interface |
Jedd.Shifter
|
Method Summary | |
void |
enableProfiling()
Starts up the Jedd profiler which records the time taken by each operation. |
void |
gbc()
Forces the underlying BDD backend to perform a garbage collection. |
Jedd.Shifter |
makeShifter(int[] fromBits,
int[] toBits)
Creates a Shifter that can be applied to shift bits within a BDD. |
void |
outputProfile(java.io.PrintStream stream)
Outputs the profiling data recorded by the profiler to an SQL file. |
void |
setBackend(java.lang.String type)
Sets the BDD backend that Jedd should use. |
void |
setOrder(java.lang.Object[] order,
boolean msbAtTop)
Sets the physical domain ordering in the BDD. |
static Jedd |
v()
Returns the singleton instance of Jedd. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static Jedd v()
public void enableProfiling()
public void outputProfile(java.io.PrintStream stream) throws java.io.IOException
java.io.IOException
public void gbc()
public void setOrder(java.lang.Object[] order, boolean msbAtTop)
public void setBackend(java.lang.String type)
public Jedd.Shifter makeShifter(int[] fromBits, int[] toBits)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |