net.sf.javabdd
Class JTLVJddFactory

java.lang.Object
  extended by net.sf.javabdd.BDDFactory
      extended by net.sf.javabdd.BDDFactoryIntImpl
          extended by 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()