net.sf.javabdd
Class JTLVJddFactory

java.lang.Object
  net.sf.javabdd.BDDFactory
      net.sf.javabdd.BDDFactoryIntImpl
          net.sf.javabdd.JTLVJddFactory

public class JTLVJddFactory
extends BDDFactoryIntImpl

A new Factory implementation based in the TypedBDDFactory implementation, dedicated to JTLV users. The main two issues that were adjusted in this factory is the BDD toString, and the factory cloning for multi-threading.

Author:

yaniv

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.javabdd.BDDFactoryIntImpl

BDDFactoryIntImpl.IntBDD, BDDFactoryIntImpl.IntBDDBitVector, BDDFactoryIntImpl.IntBDDVarSet, BDDFactoryIntImpl.IntBDDVarSetWithFinalizer, BDDFactoryIntImpl.IntBDDWithFinalizer, BDDFactoryIntImpl.IntZDDVarSet, BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

Nested classes/interfaces inherited from class net.sf.javabdd.BDDFactory

BDDFactory.BDDOp, BDDFactory.CacheStats, BDDFactory.GCStats, BDDFactory.ReorderMethod, BDDFactory.ReorderStats

Field Summary

static java.lang.String

REVISION

Fields inherited from class net.sf.javabdd.BDDFactory

and, biimp, diff, imp, invimp, less, nand, nor, or, REORDER_NONE, REORDER_RANDOM, REORDER_SIFT, REORDER_SIFTITE, REORDER_WIN2, REORDER_WIN2ITE, REORDER_WIN3, REORDER_WIN3ITE, xor

Method Summary

void	addVarBlock(int first, int last, boolean fixed)
void	autoReorder(BDDFactory.ReorderMethod method)
void	autoReorder(BDDFactory.ReorderMethod method, int max)
void	clearError()
void	clearVarBlocks()
JTLVJddFactory	cloneFactory()
void	disableReorder()
void	done()
void	enableReorder()
int	getCacheSize()
int	getNodeNum()
int	getNodeTableSize()
BDDFactory.ReorderMethod	getReorderMethod()
int	getReorderTimes()
java.lang.String	getVersion()
static BDDFactory	init(int nodenum, int cachesize)
boolean	isInitialized()
int	level2Var(int level)
BDDPairing	makePair()
void	printAll()
void	printOrder()
void	printStat()
void	registerGCCallback(java.lang.Object o, java.lang.reflect.Method m)
void	registerReorderCallback(java.lang.Object o, java.lang.reflect.Method m)
void	registerResizeCallback(java.lang.Object o, java.lang.reflect.Method m)
void	reorder(BDDFactory.ReorderMethod m)
int	reorderGain()
int	reorderVerbose(int v)
double	setCacheRatio(double x)
int	setCacheSize(int x)
void	setError(int code)
double	setIncreaseFactor(double x)
int	setMaxIncrease(int x)
int	setMaxNodeNum(int size)
double	setMinFreeNodes(double x)
int	setNodeTableSize(int x)
int	setVarNum(int num)
void	setVarOrder(int[] neworder)
void	swapVar(int v1, int v2)
void	unregisterGCCallback(java.lang.Object o, java.lang.reflect.Method m)
void	unregisterReorderCallback(java.lang.Object o, java.lang.reflect.Method m)
void	unregisterResizeCallback(java.lang.Object o, java.lang.reflect.Method m)
int	var2Level(int var)
void	varBlockAll()
int	varNum()

Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl

deferredFree, emptySet, handleDeferredFree, ithVar, nithVar, nodeCount, one, printTable, universe, zero

Methods inherited from class net.sf.javabdd.BDDFactory

addVarBlock, buildCube, buildCube, buildVector, buildVector, buildVector, buildVector, clearAllDomains, constantVector, constantVector, extDomain, extDomain, extDomain, extDomain, extDomain, extVarNum, getCacheStats, getDomain, getGCStats, getProperty, getReorderStats, getVarOrder, init, isZDD, load, load, load, makePair, makePair, makePair, makeSet, makeSet, makeVarOrdering, numberOfDomains, overlapDomain, reset, save, save

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

REVISION

public static final java.lang.String REVISION

See Also:

Constant Field Values

Method Detail

getVersion

public java.lang.String getVersion()

Specified by:

getVersion in class BDDFactory

addVarBlock

public void addVarBlock(int first,
                        int last,
                        boolean fixed)

Specified by:

addVarBlock in class BDDFactory

varBlockAll

public void varBlockAll()

Specified by:

varBlockAll in class BDDFactory

clearVarBlocks

public void clearVarBlocks()

Specified by:

clearVarBlocks in class BDDFactory

printOrder

public void printOrder()

Specified by:

printOrder in class BDDFactory

getNodeTableSize

public int getNodeTableSize()

Specified by:

getNodeTableSize in class BDDFactory

setNodeTableSize

public int setNodeTableSize(int x)

Specified by:

setNodeTableSize in class BDDFactory

setCacheSize

public int setCacheSize(int x)

Specified by:

setCacheSize in class BDDFactory

isInitialized

public boolean isInitialized()

Specified by:

isInitialized in class BDDFactory

done

public void done()

Overrides:

done in class BDDFactoryIntImpl

setError

public void setError(int code)

Specified by:

setError in class BDDFactory

clearError

public void clearError()

Specified by:

clearError in class BDDFactory

setMaxNodeNum

public int setMaxNodeNum(int size)

Specified by:

setMaxNodeNum in class BDDFactory

setMinFreeNodes

public double setMinFreeNodes(double x)

Specified by:

setMinFreeNodes in class BDDFactory

setMaxIncrease

public int setMaxIncrease(int x)

Specified by:

setMaxIncrease in class BDDFactory

setIncreaseFactor

public double setIncreaseFactor(double x)

Specified by:

setIncreaseFactor in class BDDFactory

getNodeNum

public int getNodeNum()

Specified by:

getNodeNum in class BDDFactory

getCacheSize

public int getCacheSize()

Specified by:

getCacheSize in class BDDFactory

reorderGain

public int reorderGain()

Specified by:

reorderGain in class BDDFactory

printStat

public void printStat()

Specified by:

printStat in class BDDFactory

setCacheRatio

public double setCacheRatio(double x)

Specified by:

setCacheRatio in class BDDFactory

varNum

public int varNum()

Specified by:

varNum in class BDDFactory

setVarNum

public int setVarNum(int num)

Specified by:

setVarNum in class BDDFactory

printAll

public void printAll()

Specified by:

printAll in class BDDFactory

setVarOrder

public void setVarOrder(int[] neworder)

Specified by:

setVarOrder in class BDDFactory

level2Var

public int level2Var(int level)

Specified by:

level2Var in class BDDFactory

var2Level

public int var2Level(int var)

Specified by:

var2Level in class BDDFactory

getReorderMethod

public BDDFactory.ReorderMethod getReorderMethod()

Specified by:

getReorderMethod in class BDDFactory

getReorderTimes

public int getReorderTimes()

Specified by:

getReorderTimes in class BDDFactory

disableReorder

public void disableReorder()

Specified by:

disableReorder in class BDDFactory

enableReorder

public void enableReorder()

Specified by:

enableReorder in class BDDFactory

reorderVerbose

public int reorderVerbose(int v)

Specified by:

reorderVerbose in class BDDFactory

reorder

public void reorder(BDDFactory.ReorderMethod m)

Specified by:

reorder in class BDDFactory

autoReorder

public void autoReorder(BDDFactory.ReorderMethod method)

Specified by:

autoReorder in class BDDFactory

autoReorder

public void autoReorder(BDDFactory.ReorderMethod method,
                        int max)

Specified by:

autoReorder in class BDDFactory

swapVar

public void swapVar(int v1,
                    int v2)

Specified by:

swapVar in class BDDFactory

init

public static BDDFactory init(int nodenum,
                              int cachesize)

makePair

public BDDPairing makePair()

Specified by:

makePair in class BDDFactory

registerGCCallback

public void registerGCCallback(java.lang.Object o,
                               java.lang.reflect.Method m)

Overrides:

registerGCCallback in class BDDFactory

unregisterGCCallback

public void unregisterGCCallback(java.lang.Object o,
                                 java.lang.reflect.Method m)

Overrides:

unregisterGCCallback in class BDDFactory

registerReorderCallback

public void registerReorderCallback(java.lang.Object o,
                                    java.lang.reflect.Method m)

Overrides:

registerReorderCallback in class BDDFactory

unregisterReorderCallback

public void unregisterReorderCallback(java.lang.Object o,
                                      java.lang.reflect.Method m)

Overrides:

unregisterReorderCallback in class BDDFactory

registerResizeCallback

public void registerResizeCallback(java.lang.Object o,
                                   java.lang.reflect.Method m)

Overrides:

registerResizeCallback in class BDDFactory

unregisterResizeCallback

public void unregisterResizeCallback(java.lang.Object o,
                                     java.lang.reflect.Method m)

Overrides:

unregisterResizeCallback in class BDDFactory

cloneFactory

public JTLVJddFactory cloneFactory()