Uses of Class
net.sf.javabdd.BDDDomain

Uses of BDDDomain in net.sf.javabdd
 

Fields in net.sf.javabdd declared as BDDDomain
protected  BDDDomain[] BDDFactory.domain
          FINITE DOMAINS
 

Methods in net.sf.javabdd that return BDDDomain
protected  BDDDomain TypedBDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain TestBDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain CUDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain CALFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain BDDFactory.createDomain(int a, BigInteger b)
          Implementors must implement this factory method to create BDDDomain objects of the correct type.
 BDDDomain BDDFactory.extDomain(BigInteger domainSize)
           
 BDDDomain[] BDDFactory.extDomain(BigInteger[] domainSizes)
           
 BDDDomain[] BDDFactory.extDomain(int[] dom)
          Extends the set of finite domain blocks with domains of the given sizes.
 BDDDomain BDDFactory.extDomain(long domainSize)
          Creates a new finite domain block of the given size.
 BDDDomain[] TypedBDDFactory.extDomain(long[] domainSizes)
           
 BDDDomain[] BDDFactory.extDomain(long[] dom)
           
 BDDDomain BDDFactory.getDomain(int i)
          Returns the ith finite domain block, as defined by calls to extDomain().
 BDDDomain[] BDDVarSet.getDomains()
          Scans this BDD and copies the stored variables into an array of BDDDomains.
 BDDDomain BDDFactory.overlapDomain(BDDDomain d1, BDDDomain d2)
          This function takes two finite domain blocks and merges them into a new one, such that the new one is encoded using both sets of BDD variables.
 BDDDomain TypedBDDFactory.whichDomain(int var)
           
 

Methods in net.sf.javabdd with parameters of type BDDDomain
 BDD BDDDomain.buildAdd(BDDDomain that, int bits, long value)
           
 BDD BDDDomain.buildAdd(BDDDomain that, 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.
 BDDBitVector BDDFactory.buildVector(BDDDomain d)
          Build a bit vector using variables from the given BDD domain.
protected  void BDDBitVector.initialize(BDDDomain d)
           
 boolean BDD.BDDIterator.isDontCare(BDDDomain d)
          Returns true if the BDD variables in the given BDD domain are all dont-care's.
 BDDPairing BDDFactory.makePair(BDDDomain oldvar, BDDDomain newvar)
          Make a new pairing that maps from one BDD domain to another.
 BDDVarSet BDDFactory.makeSet(BDDDomain[] v)
          Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
 BigInteger BDD.BDDIterator.nextValue(BDDDomain dom)
           
 BDDDomain BDDFactory.overlapDomain(BDDDomain d1, BDDDomain d2)
          This function takes two finite domain blocks and merges them into a new one, such that the new one is encoded using both sets of BDD variables.
 void JFactory.reverseDomain(BDDDomain d)
           
protected  void JFactory.reverseDomain0(BDDDomain d)
           
 BigInteger BDD.scanVar(BDDDomain d)
          Finds one satisfying assignment of the domain d in this BDD and returns that value.
 void BDDPairing.set(BDDDomain[] p1, BDDDomain[] p2)
          Like set(), but with a whole list of pairs.
 void BDDPairing.set(BDDDomain[] p1, BDDDomain[] p2)
          Like set(), but with a whole list of pairs.
 void BDDPairing.set(BDDDomain p1, BDDDomain p2)
          Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2.
 void TypedBDDFactory.TypedBDD.setDomains(BDDDomain d)
          Changes this BDD's domain to be the given domain.
 void TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2)
          Changes this BDD's domains to be the given domains.
 void TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3)
          Changes this BDD's domains to be the given domains.
 void TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3, BDDDomain d4)
          Changes this BDD's domains to be the given domains.
 void TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3, BDDDomain d4, BDDDomain d5)
          Changes this BDD's domains to be the given domains.
 void BDD.BDDIterator.skipDontCare(BDDDomain d)
          Assuming d is a dont-care, skip to the end of the iteration for d
 



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