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
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.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 |
REVISION
public static final java.lang.String REVISION
- See Also:
- Constant Field Values
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()