Uses of Class
net.sf.javabdd.BDD

Uses of BDD in net.sf.javabdd
 

Subclasses of BDD in net.sf.javabdd
 class TypedBDDFactory.TypedBDD
          A BDD with types (domains) attached to it.
 

Fields in net.sf.javabdd declared as BDD
protected  BDD[] BDDBitVector.bitvec
           
protected  BDD BDDDomain.var
           
protected  BDD[] BDD.BDDIterator.nodes
           
 

Methods in net.sf.javabdd that return BDD
 BDD TypedBDDFactory.zero()
           
 BDD TypedBDDFactory.one()
           
 BDD TypedBDDFactory.ithVar(int var)
           
 BDD TypedBDDFactory.nithVar(int var)
           
 BDD TypedBDDFactory.load(String filename)
           
 BDD TypedBDDFactory.TypedBDD.high()
           
 BDD TypedBDDFactory.TypedBDD.low()
           
 BDD TypedBDDFactory.TypedBDD.id()
           
 BDD TypedBDDFactory.TypedBDD.not()
           
 BDD TypedBDDFactory.TypedBDD.ite(BDD thenBDD, BDD elseBDD)
           
 BDD TypedBDDFactory.TypedBDD.relprod(BDD that, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.compose(BDD g, int var)
           
 BDD TypedBDDFactory.TypedBDD.veccompose(BDDPairing pair)
           
 BDD TypedBDDFactory.TypedBDD.constrain(BDD that)
           
 BDD TypedBDDFactory.TypedBDD.exist(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.forAll(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.unique(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.restrict(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.restrictWith(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.simplify(BDD d)
           
 BDD TypedBDDFactory.TypedBDD.support()
           
 BDD TypedBDDFactory.TypedBDD.apply(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.satOne()
           
 BDD TypedBDDFactory.TypedBDD.fullSatOne()
           
 BDD TypedBDDFactory.TypedBDD.satOne(BDD var, boolean pol)
           
 BDD TypedBDDFactory.TypedBDD.replace(BDDPairing pair)
           
 BDD TypedBDDFactory.TypedBDD.replaceWith(BDDPairing pair)
           
 BDD TestBDDFactory.zero()
           
 BDD TestBDDFactory.one()
           
 BDD TestBDDFactory.ithVar(int var)
           
 BDD TestBDDFactory.nithVar(int var)
           
 BDD TestBDDFactory.load(String filename)
           
 BDD JFactory.zero()
           
 BDD JFactory.one()
           
 BDD JFactory.ithVar(int var)
           
 BDD JFactory.nithVar(int var)
           
 BDD JFactory.load(BufferedReader in)
           
 BDD JFactory.copyNode(BDD that)
          Use this function to translate BDD's from a JavaFactory into its clone.
 BDD JDDFactory.zero()
           
 BDD JDDFactory.one()
           
 BDD JDDFactory.ithVar(int var)
           
 BDD JDDFactory.nithVar(int var)
           
 BDD CUDDFactory.zero()
           
 BDD CUDDFactory.one()
           
 BDD CUDDFactory.ithVar(int var)
           
 BDD CUDDFactory.nithVar(int var)
           
 BDD CALFactory.zero()
           
 BDD CALFactory.one()
           
 BDD CALFactory.ithVar(int var)
           
 BDD CALFactory.nithVar(int var)
           
 BDD BuDDyFactory.zero()
           
 BDD BuDDyFactory.one()
           
 BDD BuDDyFactory.buildCube(int value, List var)
           
 BDD BuDDyFactory.buildCube(int value, int[] var)
           
 BDD BuDDyFactory.makeSet(int[] v)
           
 BDD BuDDyFactory.ithVar(int var)
           
 BDD BuDDyFactory.nithVar(int var)
           
 BDD BuDDyFactory.load(String filename)
           
 BDD BDDBitVector.getBit(int n)
           
 BDD BDDDomain.domain()
          Returns what corresponds to a disjunction of all possible values of this domain.
 BDD BDDDomain.buildAdd(BDDDomain that, long value)
           
 BDD BDDDomain.buildAdd(BDDDomain that, int bits, long value)
           
 BDD BDDDomain.buildEquals(BDDDomain that)
          Builds a BDD which is true for all the possible assignments to the variable blocks that makes the blocks equal.
 BDD BDDDomain.set()
          Returns the variable set that contains the variables used to define this finite domain block.
 BDD BDDDomain.ithVar(long val)
          Returns the BDD that defines the given value for this finite domain block.
 BDD BDDDomain.ithVar(BigInteger val)
           
 BDD BDDDomain.varRange(long lo, long hi)
          Returns the BDD that defines the given range of values, inclusive, for this finite domain block.
 BDD BDDDomain.varRange(BigInteger lo, BigInteger hi)
           
abstract  BDD BDD.high()
          Gets the true branch of this BDD.
abstract  BDD BDD.low()
          Gets the false branch of this BDD.
abstract  BDD BDD.id()
          Identity function.
abstract  BDD BDD.not()
          Negates this BDD by exchanging all references to the zero-terminal with references to the one-terminal and vice-versa.
 BDD BDD.and(BDD that)
          Returns the logical 'and' of two BDDs.
 BDD BDD.andWith(BDD that)
          Makes this BDD be the logical 'and' of two BDDs.
 BDD BDD.or(BDD that)
          Returns the logical 'or' of two BDDs.
 BDD BDD.orWith(BDD that)
          Makes this BDD be the logical 'or' of two BDDs.
 BDD BDD.xor(BDD that)
          Returns the logical 'xor' of two BDDs.
 BDD BDD.xorWith(BDD that)
          Makes this BDD be the logical 'xor' of two BDDs.
 BDD BDD.imp(BDD that)
          Returns the logical 'implication' of two BDDs.
 BDD BDD.impWith(BDD that)
          Makes this BDD be the logical 'implication' of two BDDs.
 BDD BDD.biimp(BDD that)
          Returns the logical 'bi-implication' of two BDDs.
 BDD BDD.biimpWith(BDD that)
          Makes this BDD be the logical 'bi-implication' of two BDDs.
abstract  BDD BDD.ite(BDD thenBDD, BDD elseBDD)
          if-then-else operator.
abstract  BDD BDD.relprod(BDD that, BDD var)
          Relational product.
abstract  BDD BDD.compose(BDD g, int var)
          Functional composition.
abstract  BDD BDD.veccompose(BDDPairing pair)
          Simultaneous functional composition.
abstract  BDD BDD.constrain(BDD that)
          Generalized cofactor.
abstract  BDD BDD.exist(BDD var)
          Existential quantification of variables.
abstract  BDD BDD.forAll(BDD var)
          Universal quantification of variables.
abstract  BDD BDD.unique(BDD var)
          Unique quantification of variables.
abstract  BDD BDD.restrict(BDD var)
          Restrict a set of variables to constant values.
abstract  BDD BDD.restrictWith(BDD var)
          Mutates this BDD to restrict a set of variables to constant values.
abstract  BDD BDD.simplify(BDD d)
          Coudert and Madre's restrict function.
abstract  BDD BDD.support()
          Returns the variable support of this BDD.
abstract  BDD BDD.apply(BDD that, BDDFactory.BDDOp opr)
          Returns the result of applying the binary operator opr to the two BDDs.
abstract  BDD BDD.applyWith(BDD that, BDDFactory.BDDOp opr)
          Makes this BDD be the result of the binary operator opr of two BDDs.
abstract  BDD BDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.
abstract  BDD BDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.
abstract  BDD BDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.
abstract  BDD BDD.satOne()
          Finds one satisfying variable assignment.
abstract  BDD BDD.fullSatOne()
          Finds one satisfying variable assignment.
abstract  BDD BDD.satOne(BDD var, boolean pol)
          Finds one satisfying variable assignment.
abstract  BDD BDD.replace(BDDPairing pair)
          Returns a BDD where all variables are replaced with the variables defined by pair.
abstract  BDD BDD.replaceWith(BDDPairing pair)
          Replaces all variables in this BDD with the variables defined by pair.
protected  BDD BDD.BDDIterator.buildAndIncrement()
           
abstract  BDD BDDFactory.zero()
          Get the constant false BDD.
abstract  BDD BDDFactory.one()
          Get the constant true BDD.
 BDD BDDFactory.buildCube(int value, List variables)
          Build a cube from an array of variables.
 BDD BDDFactory.buildCube(int value, int[] variables)
          Build a cube from an array of variables.
 BDD BDDFactory.makeSet(int[] varset)
          Builds a BDD variable set from an integer array.
abstract  BDD BDDFactory.ithVar(int var)
          Returns a BDD representing the I'th variable.
abstract  BDD BDDFactory.nithVar(int var)
          Returns a BDD representing the negation of the I'th variable.
 BDD BDDFactory.load(String filename)
          Loads a BDD from a file.
 BDD BDDFactory.load(BufferedReader ifile)
          Loads a BDD from the given input.
protected  BDD BDDFactory.loadhash_get(BDDFactory.LoadHash[] lh_table, int lh_nodenum, int key)
          Gets a BDD from the load hash table.
 BDD BDDFactory.makeSet(BDDDomain[] v)
          Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
 

Methods in net.sf.javabdd with parameters of type BDD
 void TypedBDDFactory.printTable(BDD b)
           
 void TypedBDDFactory.save(String filename, BDD var)
           
 void TypedBDDFactory.addVarBlock(BDD var, boolean fixed)
           
 BDD TypedBDDFactory.TypedBDD.ite(BDD thenBDD, BDD elseBDD)
           
 BDD TypedBDDFactory.TypedBDD.relprod(BDD that, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.compose(BDD g, int var)
           
 BDD TypedBDDFactory.TypedBDD.constrain(BDD that)
           
 BDD TypedBDDFactory.TypedBDD.exist(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.forAll(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.unique(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.restrict(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.restrictWith(BDD var)
           
 BDD TypedBDDFactory.TypedBDD.simplify(BDD d)
           
 BDD TypedBDDFactory.TypedBDD.apply(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.satOne(BDD var, boolean pol)
           
 double TypedBDDFactory.TypedBDD.satCount(BDD set)
           
 boolean TypedBDDFactory.TypedBDD.equals(BDD that)
           
 BDD.BDDIterator TypedBDDFactory.TypedBDD.iterator(BDD var)
           
 void TryVarOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op)
          Initialize for a new trial.
static void TestBDDFactory.assertSame(BDD b1, BDD b2, String s)
           
static void TestBDDFactory.assertSame(boolean b, BDD b1, BDD b2, String s)
           
 void TestBDDFactory.printTable(BDD b)
           
 void TestBDDFactory.save(String filename, BDD var)
           
 void TestBDDFactory.addVarBlock(BDD var, boolean fixed)
           
 void JFactory.printTable(BDD b)
           
 void JFactory.save(BufferedWriter out, BDD b)
           
 void JFactory.addVarBlock(BDD var, boolean fixed)
           
 BDD JFactory.copyNode(BDD that)
          Use this function to translate BDD's from a JavaFactory into its clone.
 void JDDFactory.printTable(BDD b)
           
 void JDDFactory.addVarBlock(BDD var, boolean fixed)
           
 void FindBestOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op)
           
 void CUDDFactory.printTable(BDD b)
           
 void CUDDFactory.addVarBlock(BDD var, boolean fixed)
           
 void CALFactory.printTable(BDD b)
           
 void CALFactory.addVarBlock(BDD var, boolean fixed)
           
 void BuDDyFactory.printTable(BDD b)
           
 void BuDDyFactory.save(String filename, BDD b)
           
 void BuDDyFactory.addVarBlock(BDD var, boolean fixed)
           
 BDDBitVector BDDBitVector.shl(int pos, BDD c)
           
 BigInteger[] BDDDomain.getVarIndices(BDD bdd)
          Convert a BDD that to a list of indices of this domain.
 BigInteger[] BDDDomain.getVarIndices(BDD bdd, int max)
          Convert a BDD that to a list of indices of this domain.
abstract  void BDDPairing.set(int oldvar, BDD newvar)
          Adds the pair (oldvar, newvar) to this table of pairs.
 void BDDPairing.set(int[] oldvar, BDD[] newvar)
          Like set(), but with a whole list of pairs.
 BDD BDD.and(BDD that)
          Returns the logical 'and' of two BDDs.
 BDD BDD.andWith(BDD that)
          Makes this BDD be the logical 'and' of two BDDs.
 BDD BDD.or(BDD that)
          Returns the logical 'or' of two BDDs.
 BDD BDD.orWith(BDD that)
          Makes this BDD be the logical 'or' of two BDDs.
 BDD BDD.xor(BDD that)
          Returns the logical 'xor' of two BDDs.
 BDD BDD.xorWith(BDD that)
          Makes this BDD be the logical 'xor' of two BDDs.
 BDD BDD.imp(BDD that)
          Returns the logical 'implication' of two BDDs.
 BDD BDD.impWith(BDD that)
          Makes this BDD be the logical 'implication' of two BDDs.
 BDD BDD.biimp(BDD that)
          Returns the logical 'bi-implication' of two BDDs.
 BDD BDD.biimpWith(BDD that)
          Makes this BDD be the logical 'bi-implication' of two BDDs.
abstract  BDD BDD.ite(BDD thenBDD, BDD elseBDD)
          if-then-else operator.
abstract  BDD BDD.relprod(BDD that, BDD var)
          Relational product.
abstract  BDD BDD.compose(BDD g, int var)
          Functional composition.
abstract  BDD BDD.constrain(BDD that)
          Generalized cofactor.
abstract  BDD BDD.exist(BDD var)
          Existential quantification of variables.
abstract  BDD BDD.forAll(BDD var)
          Universal quantification of variables.
abstract  BDD BDD.unique(BDD var)
          Unique quantification of variables.
abstract  BDD BDD.restrict(BDD var)
          Restrict a set of variables to constant values.
abstract  BDD BDD.restrictWith(BDD var)
          Mutates this BDD to restrict a set of variables to constant values.
abstract  BDD BDD.simplify(BDD d)
          Coudert and Madre's restrict function.
abstract  BDD BDD.apply(BDD that, BDDFactory.BDDOp opr)
          Returns the result of applying the binary operator opr to the two BDDs.
abstract  BDD BDD.applyWith(BDD that, BDDFactory.BDDOp opr)
          Makes this BDD be the result of the binary operator opr of two BDDs.
abstract  BDD BDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.
abstract  BDD BDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.
abstract  BDD BDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.
abstract  BDD BDD.satOne(BDD var, boolean pol)
          Finds one satisfying variable assignment.
 BDD.BDDIterator BDD.iterator(BDD var)
          Returns an iteration of the satisfying assignments of this BDD.
 Iterator BDD.iterator2(BDD var)
          This is another version of iterator() that supports the remove() operation.
 double BDD.satCount(BDD varset)
          Calculates the number of satisfying variable assignments to the variables in the given varset.
 double BDD.logSatCount(BDD varset)
          Calculates the logarithm of the number of satisfying variable assignments to the variables in the given varset.
abstract  boolean BDD.equals(BDD that)
          Returns true if this BDD equals that BDD, false otherwise.
protected  void BDD.BDDIterator.fillInSatisfyingAssignment(BDD node, int i)
           
abstract  void BDDFactory.printTable(BDD b)
          Prints the node table entries used by a BDD.
 void BDDFactory.save(String filename, BDD var)
          Saves a BDD to a file.
 void BDDFactory.save(BufferedWriter out, BDD r)
          Saves a BDD to an output writer.
protected  int BDDFactory.save_rec(BufferedWriter out, Map visited, BDD root)
          Helper function for save().
 BDDPairing BDDFactory.makePair(int oldvar, BDD newvar)
          Make a new pairing that maps from one variable to another BDD.
abstract  void BDDFactory.addVarBlock(BDD var, boolean fixed)
          Adds a new variable block for reordering.
 

Constructors in net.sf.javabdd with parameters of type BDD
TypedBDDFactory.TypedBDD(BDD bdd, Set dom)
           
BDD.BDDIterator(BDD dis, BDD var)
          Construct a new BDDIterator on the given BDD.
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.