Uses of Class
net.sf.javabdd.BDDDomain

Packages that use BDDDomain
edu.wis.jtlv.env The main package of JTLV, most creational action are usually done through static procedures in object Env. 
edu.wis.jtlv.env.module All User interface to FDS and SMV modules. 
net.sf.javabdd   
 

Uses of BDDDomain in edu.wis.jtlv.env
 

Methods in edu.wis.jtlv.env with parameters of type BDDDomain
 boolean Env.JTLVBDDToString.domain_has_module_value(SMVModule m, BDDDomain dom, java.lang.String value)
           
 java.lang.String Env.JTLVBDDToString.elementName(BDDDomain dom, java.math.BigInteger j)
           
 java.lang.String Env.JTLVBDDToString.elementNames(BDDDomain dom, java.math.BigInteger lo, java.math.BigInteger hi)
           
 java.math.BigInteger Env.JTLVBDDToString.get_module_value_loc(SMVModule m, BDDDomain dom, java.lang.String value)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, BDDDomain dom, int range_start, int range_size)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, BDDDomain dom, java.lang.String[] values)
           
 

Uses of BDDDomain in edu.wis.jtlv.env.module
 

Methods in edu.wis.jtlv.env.module that return BDDDomain
 BDDDomain ModuleBDDField.getDomain()
           Getter for the domain of this field.
 BDDDomain ModuleBDDField.getOtherDomain()
           Getter for the domain of the other corresponding field.
 

Constructors in edu.wis.jtlv.env.module with parameters of type BDDDomain
ModuleBDDField(BDDDomain unprime, BDDDomain prime, java.lang.String a_path, java.lang.String name)
           The main public constructor for JTLVBDDField.
 

Uses of BDDDomain in net.sf.javabdd
 

Methods in net.sf.javabdd that return BDDDomain
 BDDDomain BDDFactory.extDomain(java.math.BigInteger domainSize)
           
 BDDDomain[] BDDFactory.extDomain(java.math.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.
 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.
 java.math.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)
           
 java.math.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