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
 BDDDomain TypedBDDFactory.whichDomain(int var)
           
protected  BDDDomain TypedBDDFactory.createDomain(int a, BigInteger b)
           
 BDDDomain[] TypedBDDFactory.extDomain(long[] domainSizes)
           
protected  BDDDomain TestBDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain JFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain JDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain CUDDFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain CALFactory.createDomain(int a, BigInteger b)
           
protected  BDDDomain BuDDyFactory.createDomain(int a, BigInteger b)
           
protected abstract  BDDDomain BDDFactory.createDomain(int a, BigInteger b)
          Implementors must implement this factory method to create BDDDomain objects of the correct type.
 BDDDomain BDDFactory.extDomain(long domainSize)
          Creates a new finite domain block of the given size.
 BDDDomain BDDFactory.extDomain(BigInteger domainSize)
           
 BDDDomain[] BDDFactory.extDomain(int[] dom)
          Extends the set of finite domain blocks with domains of the given sizes.
 BDDDomain[] BDDFactory.extDomain(long[] dom)
           
 BDDDomain[] BDDFactory.extDomain(BigInteger[] domainSizes)
           
 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 BDDFactory.getDomain(int i)
          Returns the ith finite domain block, as defined by calls to extDomain().
 

Methods in net.sf.javabdd with parameters of type BDDDomain
 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.
protected  void BDDBitVector.initialize(BDDDomain d)
           
 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.
 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 BDDPairing.set(BDDDomain[] p1, BDDDomain[] p2)
          Like set(), but with a whole list of pairs.
 BigInteger BDD.scanVar(BDDDomain d)
          Finds one satisfying assignment of the domain d in this BDD and returns that value.
 boolean BDD.BDDIterator.isDontCare(BDDDomain d)
          Returns true if the BDD variables in the given BDD domain are all dont-care's.
 void BDD.BDDIterator.skipDontCare(BDDDomain d)
          Assuming d is a dont-care, skip to the end of the iteration for d
 BDDPairing BDDFactory.makePair(BDDDomain oldvar, BDDDomain newvar)
          Make a new pairing that maps from one BDD domain to another.
 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.
 BDD BDDFactory.makeSet(BDDDomain[] v)
          Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
 BDDBitVector BDDFactory.buildVector(BDDDomain d)
          Build a bit vector using variables from the given BDD domain.
 



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