jedd
Class Jedd

java.lang.Object
  jedd.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	setBackend(java.lang.String type, int numNodes) Sets the BDD backend that Jedd should use.
void	setOrder(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.
void	verboseGC() Causes the BDD library to print memory usage at each GC.

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(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".

setBackend

public void setBackend(java.lang.String type,
                       int numNodes)

Sets the BDD backend that Jedd should use. Currently valid values are "buddy", "cudd", "sablejbdd", and "javabdd". Also specifies the total number of BDD nodes. If the number specified is 0, the backend will grow the number of nodes as required without limit. If a number other than 0 is specified, that many nodes are allocated immediately, and the node table is not permitted to grow further.

makeShifter

public Jedd.Shifter makeShifter(int[] fromBits,
                                int[] toBits)

Creates a Shifter that can be applied to shift bits within a BDD.

verboseGC

public void verboseGC()

Causes the BDD library to print memory usage at each GC.