net.sf.javabdd
Class BDDFactoryIntImpl

java.lang.Object
  extended by net.sf.javabdd.BDDFactory
      extended by net.sf.javabdd.BDDFactoryIntImpl
Direct Known Subclasses:
BuDDyFactory, JDDFactory, JFactory, MicroFactory, UberMicroFactory

public abstract class BDDFactoryIntImpl
extends BDDFactory

A shared superclass for BDD factories that refer to BDDs as ints.

Version:
$Id: BDDFactoryIntImpl.html,v 1.1.2.1 2009/02/16 18:41:06 sya Exp $
Author:
jwhaley

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 net.sf.javabdd.BDDFactory
addVarBlock, addVarBlock, autoReorder, autoReorder, buildCube, buildCube, buildVector, buildVector, buildVector, buildVector, clearAllDomains, clearError, clearVarBlocks, constantVector, constantVector, disableReorder, enableReorder, extDomain, extDomain, extDomain, extDomain, extDomain, extVarNum, getCacheSize, getCacheStats, getDomain, getGCStats, getNodeNum, getNodeTableSize, getProperty, getReorderMethod, getReorderStats, getReorderTimes, getVarOrder, getVersion, init, init, isInitialized, isZDD, level2Var, load, load, load, makePair, makePair, makePair, makePair, makeSet, makeSet, makeVarOrdering, numberOfDomains, overlapDomain, printAll, printOrder, printStat, registerGCCallback, registerReorderCallback, registerResizeCallback, reorder, reorderGain, reorderVerbose, reset, save, save, setCacheRatio, setCacheSize, setError, setIncreaseFactor, setMaxIncrease, setMaxNodeNum, setMinFreeNodes, setNodeTableSize, setVarNum, setVarOrder, swapVar, unregisterGCCallback, unregisterReorderCallback, unregisterResizeCallback, var2Level, varBlockAll, varNum
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BDDFactoryIntImpl

public BDDFactoryIntImpl()
Method Detail

ithVar

public BDD ithVar(int var)
Description copied from class: 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.

Specified by:
ithVar in class BDDFactory
Parameters:
var - the variable number
Returns:
the I'th variable on success, otherwise the constant false BDD

nithVar

public BDD nithVar(int var)
Description copied from class: 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.

Specified by:
nithVar in class BDDFactory
Parameters:
var - the variable number
Returns:
the negated I'th variable on success, otherwise the constant false BDD

nodeCount

public int nodeCount(java.util.Collection r)
Description copied from class: 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.

Specified by:
nodeCount in class BDDFactory

one

public BDD one()
Description copied from class: BDDFactory

Get the constant true BDD.

Compare to bdd_true.

Specified by:
one in class BDDFactory

universe

public BDD universe()
Description copied from class: BDDFactory

Get the constant universe BDD. (The universe BDD differs from the one BDD in ZDD mode.)

Compare to bdd_true.

Overrides:
universe in class BDDFactory

emptySet

public BDDVarSet emptySet()
Description copied from class: BDDFactory

Get an empty BDDVarSet.

Compare to bdd_true.

Overrides:
emptySet in class BDDFactory

printTable

public void printTable(BDD b)
Description copied from class: BDDFactory

Prints the node table entries used by a BDD.

Compare to bdd_printtable.

Specified by:
printTable in class BDDFactory

zero

public BDD zero()
Description copied from class: BDDFactory

Get the constant false BDD.

Compare to bdd_false.

Specified by:
zero in class BDDFactory

done

public void done()
Description copied from class: 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.

Specified by:
done in class BDDFactory

deferredFree

public void deferredFree(int v)

handleDeferredFree

public void handleDeferredFree()