Uses of Class
SableJBDD.bdd.JBDD

Packages that use JBDD
SableJBDD.bdd   
SableJBDD.fdd   
 

Uses of JBDD in SableJBDD.bdd
 

Methods in SableJBDD.bdd that return JBDD
 JBDD JBddManager.ONE()
           
 JBDD JBddManager.ZERO()
           
 JBDD JBddManager.posBddOf(JBddVariable var)
          Gets a BDD function representing the positive form of a variable.
 JBDD JBddManager.negBddOf(JBddVariable var)
          Gets a BDD function representing the negative form of a variable
 JBDD JBDD.copy()
          Returns a copy of current BDD with the same manager and same root node.
 JBDD JBDD.and(JBDD other)
          AND operation.
 JBDD JBDD.or(JBDD other)
          OR operation.
 JBDD JBDD.not()
          NOT operation.
 JBDD JBDD.xor(JBDD other)
          XOR operation.
 JBDD JBDD.nand(JBDD other)
          NAND operations, it is more efficient than AND followed by NOT.
 JBDD JBDD.nor(JBDD other)
          NOR operation, it is more efficient than OR followed by NOT.
 JBDD JBDD.imply(JBDD other)
          IMPLY operation.
 JBDD JBDD.biimply(JBDD other)
          BIIMPLY operation.
 JBDD JBDD.diff(JBDD other)
          DIFF operation.
 JBDD JBDD.less(JBDD other)
          LESS operation.
 JBDD JBDD.invimp(JBDD other)
          Inverse imply operation.
 JBDD JBDD.replace(java.util.Map varmap)
          Replaces a set of variables in this bdd to another set of variables.
 JBDD JBDD.exist(JBDD vars)
          Apply existential quantification on this bdd function.
 JBDD JBDD.forall(JBDD vars)
          Apply universal quantification on this bdd function.
 JBDD JBDD.unique(JBDD vars)
          Apply unique quantification on this bdd function.
 

Methods in SableJBDD.bdd with parameters of type JBDD
 JBDD JBDD.and(JBDD other)
          AND operation.
 void JBDD.andWith(JBDD other)
          In-node AND operation in place.
 JBDD JBDD.or(JBDD other)
          OR operation.
 void JBDD.orWith(JBDD other)
          In-node OR operation.
 JBDD JBDD.xor(JBDD other)
          XOR operation.
 void JBDD.xorWith(JBDD other)
          In-node XOR operation.
 JBDD JBDD.nand(JBDD other)
          NAND operations, it is more efficient than AND followed by NOT.
 void JBDD.nandWith(JBDD other)
          In-node NAND operation.
 JBDD JBDD.nor(JBDD other)
          NOR operation, it is more efficient than OR followed by NOT.
 void JBDD.norWith(JBDD other)
          In-node NOR operation.
 JBDD JBDD.imply(JBDD other)
          IMPLY operation.
 JBDD JBDD.biimply(JBDD other)
          BIIMPLY operation.
 JBDD JBDD.diff(JBDD other)
          DIFF operation.
 JBDD JBDD.less(JBDD other)
          LESS operation.
 JBDD JBDD.invimp(JBDD other)
          Inverse imply operation.
 JBDD JBDD.exist(JBDD vars)
          Apply existential quantification on this bdd function.
 JBDD JBDD.forall(JBDD vars)
          Apply universal quantification on this bdd function.
 JBDD JBDD.unique(JBDD vars)
          Apply unique quantification on this bdd function.
 

Uses of JBDD in SableJBDD.fdd
 

Methods in SableJBDD.fdd that return JBDD
 JBDD FiniteDomain.ith(int i)
          Gets a BDD function representing the ith element of this domain.
 JBDD FiniteDomain.domainRepresentation()
           
 JBDD FiniteDomain.replace(JBDD x, FiniteDomain other)
          Replaces domain variables in a BDD by variables in another domain.
 JBDD FiniteDomain.exist(JBDD f)
          Applies existential quantification on variables of this domain.
 

Methods in SableJBDD.fdd with parameters of type JBDD
 JBDD FiniteDomain.replace(JBDD x, FiniteDomain other)
          Replaces domain variables in a BDD by variables in another domain.
 JBDD FiniteDomain.exist(JBDD f)
          Applies existential quantification on variables of this domain.