|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.javabdd.BDDFactory
net.sf.javabdd.BDDFactoryIntImpl
public abstract class BDDFactoryIntImpl
A shared superclass for BDD factories that refer to BDDs as ints.
Nested Class Summary | |
---|---|
class |
BDDFactoryIntImpl.IntBDD
|
class |
BDDFactoryIntImpl.IntBDDBitVector
|
class |
BDDFactoryIntImpl.IntBDDVarSet
|
class |
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
|
class |
BDDFactoryIntImpl.IntBDDWithFinalizer
|
class |
BDDFactoryIntImpl.IntZDDVarSet
|
class |
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
|
Nested classes/interfaces inherited from class net.sf.javabdd.BDDFactory |
---|
BDDFactory.BDDOp, BDDFactory.CacheStats, BDDFactory.GCStats, BDDFactory.ReorderMethod, BDDFactory.ReorderStats |
Field Summary |
---|
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 |
Constructor Summary | |
---|---|
BDDFactoryIntImpl()
|
Method Summary | |
---|---|
void |
deferredFree(int v)
|
void |
done()
This function frees all memory used by the BDD package and resets the package to its uninitialized state. |
BDDVarSet |
emptySet()
Get an empty BDDVarSet. |
void |
handleDeferredFree()
|
BDD |
ithVar(int var)
Returns a BDD representing the I'th variable. |
BDD |
nithVar(int var)
Returns a BDD representing the negation of the I'th variable. |
int |
nodeCount(java.util.Collection r)
Counts the number of shared nodes in a collection of BDDs. |
BDD |
one()
Get the constant true BDD. |
void |
printTable(BDD b)
Prints the node table entries used by a BDD. |
BDD |
universe()
Get the constant universe BDD. |
BDD |
zero()
Get the constant false BDD. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BDDFactoryIntImpl()
Method Detail |
---|
public BDD ithVar(int var)
BDDFactory
Returns a BDD representing the I'th variable. (One node with the children true and false.) The requested variable must be in the (zero-indexed) range defined by setVarNum.
Compare to bdd_ithvar.
ithVar
in class BDDFactory
var
- the variable number
public BDD nithVar(int var)
BDDFactory
Returns a BDD representing the negation of the I'th variable. (One node with the children false and true.) The requested variable must be in the (zero-indexed) range defined by setVarNum.
Compare to bdd_nithvar.
nithVar
in class BDDFactory
var
- the variable number
public int nodeCount(java.util.Collection r)
BDDFactory
Counts the number of shared nodes in a collection of BDDs. Counts all distinct nodes that are used in the BDDs -- if a node is used in more than one BDD then it only counts once.
Compare to bdd_anodecount.
nodeCount
in class BDDFactory
public BDD one()
BDDFactory
Get the constant true BDD.
Compare to bdd_true.
one
in class BDDFactory
public BDD universe()
BDDFactory
Get the constant universe BDD. (The universe BDD differs from the one BDD in ZDD mode.)
Compare to bdd_true.
universe
in class BDDFactory
public BDDVarSet emptySet()
BDDFactory
Get an empty BDDVarSet.
Compare to bdd_true.
emptySet
in class BDDFactory
public void printTable(BDD b)
BDDFactory
Prints the node table entries used by a BDD.
Compare to bdd_printtable.
printTable
in class BDDFactory
public BDD zero()
BDDFactory
Get the constant false BDD.
Compare to bdd_false.
zero
in class BDDFactory
public void done()
BDDFactory
This function frees all memory used by the BDD package and resets the package to its uninitialized state. The BDD package is no longer usable after this call.
Compare to bdd_done.
done
in class BDDFactory
public void deferredFree(int v)
public void handleDeferredFree()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |