org.sf.javabdd
Class JeddJavaFactory

java.lang.Object
  org.sf.javabdd.BDDFactory
      org.sf.javabdd.JavaFactory
          org.sf.javabdd.JeddJavaFactory

public class JeddJavaFactory
extends org.sf.javabdd.JavaFactory

Implements additional BDD operations missing from JavaBDD's JavaFactory.

Nested Class Summary

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

org.sf.javabdd.BDDFactory.BDDOp, org.sf.javabdd.BDDFactory.ReorderMethod

Field Summary

Fields inherited from class org.sf.javabdd.JavaFactory

SWAPCOUNT

Fields inherited from class org.sf.javabdd.BDDFactory

and, biimp, diff, domain, fdvarnum, firstbddvar, 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

JeddJavaFactory()

Method Summary

int	firstCube(org.sf.javabdd.BDD r, int n, int[] cube)
int	firstCube(int r, int n, int[] cube)
static org.sf.javabdd.BDDFactory	init(int nodenum, int cachesize)
int	nextCube(org.sf.javabdd.BDD r, int n, int[] cube)
int	nextCube(int r, int n, int[] cube)
int	nextPath(int r, int n, int[] cube)

Methods inherited from class org.sf.javabdd.JavaFactory

addVarBlock, addVarBlock, autoReorder, autoReorder, clearVarBlocks, createBitVector, createDomain, disableReorder, done, enableReorder, getAllocNum, getNodeNum, getReorderMethod, getReorderTimes, initialize, isInitialized, ithVar, level2Var, load, main, makePair, nithVar, nodeCount, one, printAll, printOrder, printStat, printTable, reorder, reorderGain, reorderVerbose, save, setCacheRatio, setMaxIncrease, setMaxNodeNum, setMinFreeNodes, setVarNum, setVarOrder, swapVar, var2Level, varBlockAll, varNum, zero

Methods inherited from class org.sf.javabdd.BDDFactory

buildCube, buildCube, buildVector, buildVector, buildVector, buildVector, clearAllDomains, constantVector, constantVector, extDomain, extDomain, extVarNum, finalize, getDomain, init, makePair, makePair, makePair, makeSet, makeSet, makeVarOrdering, numberOfDomains, overlapDomain

Methods inherited from class java.lang.Object

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

Constructor Detail

JeddJavaFactory

public JeddJavaFactory()

Method Detail

init

public static org.sf.javabdd.BDDFactory init(int nodenum,
                                             int cachesize)

nextPath

public int nextPath(int r,
                    int n,
                    int[] cube)

nextCube

public int nextCube(org.sf.javabdd.BDD r,
                    int n,
                    int[] cube)

nextCube

public int nextCube(int r,
                    int n,
                    int[] cube)

firstCube

public int firstCube(org.sf.javabdd.BDD r,
                     int n,
                     int[] cube)

firstCube

public int firstCube(int r,
                     int n,
                     int[] cube)