jedd
Class Jedd

java.lang.Object
  extended byjedd.Jedd

public class Jedd
extends java.lang.Object


Nested Class Summary
static interface Jedd.Shifter
           
 
Method Summary
 void allowReorder(boolean setting)
          Allows/prevents dynamic BDD variable reordering.
 void enableProfiling(java.io.PrintStream stream)
          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()
          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(jedd.order.Order order)
          Sets the physical domain ordering in the BDD.
 void setTimeLimit(long timeLimit)
          Set the time limit for profiling: the profile records the shape of only those operations which take at least timeLimit ms.
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

v

public static Jedd v()
Returns the singleton instance of Jedd.


enableProfiling

public void enableProfiling(java.io.PrintStream stream)
Starts up the Jedd profiler which records the time taken by each operation.


setTimeLimit

public void setTimeLimit(long timeLimit)
Set the time limit for profiling: the profile records the shape of only those operations which take at least timeLimit ms. Default is 10.


outputProfile

public void outputProfile()
Outputs the profiling data recorded by the profiler to an SQL file.


gbc

public void gbc()
Forces the underlying BDD backend to perform a garbage collection.


setOrder

public void setOrder(jedd.order.Order order)
Sets the physical domain ordering in the BDD.


allowReorder

public void allowReorder(boolean setting)
Allows/prevents dynamic BDD variable reordering.


setBackend

public void setBackend(java.lang.String type)
Sets the BDD backend that Jedd should use. Currently valid values are "buddy", "cudd", "sablejbdd", and "javabdd".


makeShifter

public Jedd.Shifter makeShifter(int[] fromBits,
                                int[] toBits)
Creates a Shifter that can be applied to shift bits within a BDD.