Overview  Package  Class   Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV  NEXT

---

Uses of Class
org.sf.javabdd.BDD

Uses of BDD in org.sf.javabdd

 

Subclasses of BDD in org.sf.javabdd
(package private) static class	BuDDyFactory.BuDDyBDD
(package private) static class	CUDDFactory.CUDDBDD
(package private)  class	JavaFactory.bdd           Wrapper for the BDD index number used internally in the representation.
class	TestBDDFactory.TestBDD
class	TypedBDDFactory.TypedBDD

 

Fields in org.sf.javabdd declared as BDD
(package private)  BDD	TypedBDDFactory.TypedBDD.bdd
protected  BDD[]	BDDBitVector.bitvec
(package private)  BDD	TestBDDFactory.TestBDD.b1
(package private)  BDD	TestBDDFactory.TestBDD.b2
protected  BDD	BDDDomain.var

 

Methods in org.sf.javabdd that return BDD
BDD	TypedBDDFactory.zero()
BDD	TypedBDDFactory.one()
BDD	TypedBDDFactory.ithVar(int var)
BDD	TypedBDDFactory.nithVar(int var)
BDD	TypedBDDFactory.load(java.lang.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)
(package private)  BDD	TypedBDDFactory.TypedBDD.getDomains()
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, BDD pol)
BDD	TypedBDDFactory.TypedBDD.replace(BDDPairing pair)
BDD	TypedBDDFactory.TypedBDD.replaceWith(BDDPairing pair)
BDD	TypedBDDFactory.TypedBDDDomain.ithVar(long val)
BDD	TypedBDDFactory.TypedBDDDomain.domain()
BDD	TypedBDDFactory.TypedBDDDomain.buildAdd(BDDDomain that, int bits, long value)
BDD	TypedBDDFactory.TypedBDDDomain.buildEquals(BDDDomain that)
BDD	TypedBDDFactory.TypedBDDDomain.set()
BDD	TypedBDDFactory.TypedBDDDomain.varRange(long lo, long hi)
(package private)  BDD	BDDBitVector.lte(BDDBitVector r)
BDD	BDDBitVector.getBit(int n)
BDD	TestBDDFactory.zero()
BDD	TestBDDFactory.one()
BDD	TestBDDFactory.ithVar(int var)
BDD	TestBDDFactory.nithVar(int var)
BDD	TestBDDFactory.load(java.lang.String filename)
BDD	TestBDDFactory.TestBDD.high()
BDD	TestBDDFactory.TestBDD.low()
BDD	TestBDDFactory.TestBDD.id()
BDD	TestBDDFactory.TestBDD.not()
BDD	TestBDDFactory.TestBDD.ite(BDD thenBDD, BDD elseBDD)
BDD	TestBDDFactory.TestBDD.relprod(BDD that, BDD var)
BDD	TestBDDFactory.TestBDD.compose(BDD g, int var)
BDD	TestBDDFactory.TestBDD.veccompose(BDDPairing pair)
BDD	TestBDDFactory.TestBDD.constrain(BDD that)
BDD	TestBDDFactory.TestBDD.exist(BDD var)
BDD	TestBDDFactory.TestBDD.forAll(BDD var)
BDD	TestBDDFactory.TestBDD.unique(BDD var)
BDD	TestBDDFactory.TestBDD.restrict(BDD var)
BDD	TestBDDFactory.TestBDD.restrictWith(BDD var)
BDD	TestBDDFactory.TestBDD.simplify(BDD d)
BDD	TestBDDFactory.TestBDD.support()
BDD	TestBDDFactory.TestBDD.apply(BDD that, BDDFactory.BDDOp opr)
BDD	TestBDDFactory.TestBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
BDD	TestBDDFactory.TestBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	TestBDDFactory.TestBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	TestBDDFactory.TestBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	TestBDDFactory.TestBDD.satOne()
BDD	TestBDDFactory.TestBDD.fullSatOne()
BDD	TestBDDFactory.TestBDD.satOne(BDD var, BDD pol)
BDD	TestBDDFactory.TestBDD.replace(BDDPairing pair)
BDD	TestBDDFactory.TestBDD.replaceWith(BDDPairing pair)
BDD	JavaFactory.zero()
BDD	JavaFactory.one()
BDD	JavaFactory.ithVar(int var)
BDD	JavaFactory.nithVar(int var)
BDD	JavaFactory.load(java.lang.String filename)
BDD	JavaFactory.bdd.high()
BDD	JavaFactory.bdd.low()
BDD	JavaFactory.bdd.id()
BDD	JavaFactory.bdd.not()
BDD	JavaFactory.bdd.ite(BDD thenBDD, BDD elseBDD)
BDD	JavaFactory.bdd.relprod(BDD that, BDD var)
BDD	JavaFactory.bdd.compose(BDD g, int var)
BDD	JavaFactory.bdd.veccompose(BDDPairing pair)
BDD	JavaFactory.bdd.constrain(BDD that)
BDD	JavaFactory.bdd.exist(BDD var)
BDD	JavaFactory.bdd.forAll(BDD var)
BDD	JavaFactory.bdd.unique(BDD var)
BDD	JavaFactory.bdd.restrict(BDD var)
BDD	JavaFactory.bdd.restrictWith(BDD that)
BDD	JavaFactory.bdd.simplify(BDD d)
BDD	JavaFactory.bdd.support()
BDD	JavaFactory.bdd.apply(BDD that, BDDFactory.BDDOp opr)
BDD	JavaFactory.bdd.applyWith(BDD that, BDDFactory.BDDOp opr)
BDD	JavaFactory.bdd.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	JavaFactory.bdd.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	JavaFactory.bdd.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	JavaFactory.bdd.satOne()
BDD	JavaFactory.bdd.fullSatOne()
BDD	JavaFactory.bdd.satOne(BDD var, BDD pol)
BDD	JavaFactory.bdd.replace(BDDPairing pair)
BDD	JavaFactory.bdd.replaceWith(BDDPairing pair)
BDD	CUDDFactory.zero()
BDD	CUDDFactory.one()
BDD	CUDDFactory.ithVar(int var)
BDD	CUDDFactory.nithVar(int var)
BDD	CUDDFactory.load(java.lang.String filename)
BDD	CUDDFactory.CUDDBDD.high()
BDD	CUDDFactory.CUDDBDD.low()
BDD	CUDDFactory.CUDDBDD.id()
BDD	CUDDFactory.CUDDBDD.not()
BDD	CUDDFactory.CUDDBDD.ite(BDD thenBDD, BDD elseBDD)
BDD	CUDDFactory.CUDDBDD.relprod(BDD that, BDD var)
BDD	CUDDFactory.CUDDBDD.compose(BDD that, int var)
BDD	CUDDFactory.CUDDBDD.constrain(BDD that)
BDD	CUDDFactory.CUDDBDD.exist(BDD var)
BDD	CUDDFactory.CUDDBDD.forAll(BDD var)
BDD	CUDDFactory.CUDDBDD.unique(BDD var)
BDD	CUDDFactory.CUDDBDD.restrict(BDD var)
BDD	CUDDFactory.CUDDBDD.restrictWith(BDD var)
BDD	CUDDFactory.CUDDBDD.simplify(BDD d)
BDD	CUDDFactory.CUDDBDD.support()
BDD	CUDDFactory.CUDDBDD.apply(BDD that, BDDFactory.BDDOp opr)
BDD	CUDDFactory.CUDDBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
BDD	CUDDFactory.CUDDBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	CUDDFactory.CUDDBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	CUDDFactory.CUDDBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	CUDDFactory.CUDDBDD.satOne()
BDD	CUDDFactory.CUDDBDD.fullSatOne()
BDD	CUDDFactory.CUDDBDD.satOne(BDD var, BDD pol)
BDD	CUDDFactory.CUDDBDD.veccompose(BDDPairing pair)
BDD	CUDDFactory.CUDDBDD.replace(BDDPairing pair)
BDD	CUDDFactory.CUDDBDD.replaceWith(BDDPairing pair)
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(int val)           Returns the BDD that defines the given value for this finite domain block.
BDD	BDDDomain.ithVar(long 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	BuDDyFactory.zero()
BDD	BuDDyFactory.one()
BDD	BuDDyFactory.buildCube(int value, java.util.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(java.lang.String filename)
BDD	BuDDyFactory.BuDDyBDD.high()
BDD	BuDDyFactory.BuDDyBDD.low()
BDD	BuDDyFactory.BuDDyBDD.id()
BDD	BuDDyFactory.BuDDyBDD.not()
BDD	BuDDyFactory.BuDDyBDD.ite(BDD thenBDD, BDD elseBDD)
BDD	BuDDyFactory.BuDDyBDD.relprod(BDD that, BDD var)
BDD	BuDDyFactory.BuDDyBDD.compose(BDD that, int var)
BDD	BuDDyFactory.BuDDyBDD.constrain(BDD that)
BDD	BuDDyFactory.BuDDyBDD.exist(BDD var)
BDD	BuDDyFactory.BuDDyBDD.forAll(BDD var)
BDD	BuDDyFactory.BuDDyBDD.unique(BDD var)
BDD	BuDDyFactory.BuDDyBDD.restrict(BDD var)
BDD	BuDDyFactory.BuDDyBDD.restrictWith(BDD var)
BDD	BuDDyFactory.BuDDyBDD.simplify(BDD d)
BDD	BuDDyFactory.BuDDyBDD.support()
BDD	BuDDyFactory.BuDDyBDD.apply(BDD that, BDDFactory.BDDOp opr)
BDD	BuDDyFactory.BuDDyBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
BDD	BuDDyFactory.BuDDyBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	BuDDyFactory.BuDDyBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	BuDDyFactory.BuDDyBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
BDD	BuDDyFactory.BuDDyBDD.satOne()
BDD	BuDDyFactory.BuDDyBDD.fullSatOne()
BDD	BuDDyFactory.BuDDyBDD.satOne(BDD var, BDD pol)
BDD	BuDDyFactory.BuDDyBDD.veccompose(BDDPairing pair)
BDD	BuDDyFactory.BuDDyBDD.replace(BDDPairing pair)
BDD	BuDDyFactory.BuDDyBDD.replaceWith(BDDPairing pair)
abstract  BDD	BDDFactory.zero()           Get the constant false BDD.
abstract  BDD	BDDFactory.one()           Get the constant true BDD.
BDD	BDDFactory.buildCube(int value, java.util.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.
abstract  BDD	BDDFactory.load(java.lang.String filename)           Loads a BDD from a file.
BDD	BDDFactory.makeSet(BDDDomain[] v)           Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
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, BDD pol)           Finds one satisfying variable assignment.
abstract  BDD	BDD.replace(BDDPairing pair)           Returns a BD