Uses of Class
com.github.javabdd.BDDVarSet

Uses of BDDVarSet in com.github.javabdd

Subclasses of BDDVarSet in com.github.javabdd

Modifier and Type	Class	Description
class	BDDFactoryIntImpl.IntBDDVarSet
class	BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
class	BDDFactoryIntImpl.IntZDDVarSet
class	BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
static class	BDDVarSet.DefaultImpl	Default implementation of BDDVarSet based on BDDs.

Fields in com.github.javabdd declared as BDDVarSet

Modifier and Type	Field	Description
protected BDDVarSet	BDDDomain.var

Methods in com.github.javabdd that return BDDVarSet

Modifier and Type	Method	Description
BDDVarSet	BDDFactory.emptySet()	Get an empty BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.emptySet()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.id()
BDDVarSet	BDDVarSet.DefaultImpl.id()
abstract BDDVarSet	BDDVarSet.id()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersect(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.intersect(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.intersect(BDDVarSet b)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersectWith(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.intersectWith(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.intersectWith(BDDVarSet b)	Modifies this BDDVarSet to include all of the vars in the given set.
BDDVarSet	BDDFactory.makeSet(int[] varset)	Builds a BDD variable set from an integer array.
BDDVarSet	BDDFactory.makeSet(BDDDomain[] v)	Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
BDDVarSet	BDDDomain.set()	Returns the variable set that contains the variables used to define this finite domain block.
abstract BDDVarSet	BDD.support()	Returns the variable support of this BDD.
BDDVarSet	BDDFactoryIntImpl.IntBDD.support()
BDDVarSet	BDD.toVarSet()	Converts this BDD to a new BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDD.toVarSet()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(int var)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.union(int var)
BDDVarSet	BDDVarSet.DefaultImpl.union(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.union(int var)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
abstract BDDVarSet	BDDVarSet.union(BDDVarSet b)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(int var)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(int var)
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.unionWith(int var)	Modifies this BDDVarSet to include the given variable.
abstract BDDVarSet	BDDVarSet.unionWith(BDDVarSet b)	Modifies this BDDVarSet to include all of the vars in the given set.

Methods in com.github.javabdd with parameters of type BDDVarSet

Modifier and Type	Method	Description
void	BDDFactory.addVarBlock(BDDVarSet var, boolean fixed)	Adds a new variable block for reordering.
abstract BDD	BDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
abstract BDD	BDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
abstract BDD	BDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
boolean	BDDFactoryIntImpl.IntBDDVarSet.equalsBDDVarSet(BDDVarSet that)
boolean	BDDVarSet.DefaultImpl.equalsBDDVarSet(BDDVarSet s)
abstract boolean	BDDVarSet.equalsBDDVarSet(BDDVarSet that)	Returns true if the sets are equal.
abstract BDD	BDD.exist(BDDVarSet var)	Existential quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.exist(BDDVarSet var)
abstract BDD	BDD.forAll(BDDVarSet var)	Universal quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.forAll(BDDVarSet var)
void	FindBestOrder.init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersect(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.intersect(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.intersect(BDDVarSet b)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersectWith(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.intersectWith(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.intersectWith(BDDVarSet b)	Modifies this BDDVarSet to include all of the vars in the given set.
BDD.BDDIterator	BDD.iterator(BDDVarSet var)	Returns an iteration of the satisfying assignments of this BDD.
double	BDD.logSatCount(BDDVarSet varset)	Calculates the logarithm of the number of satisfying variable assignments to the variables in the given varset.
BDD	BDD.relprod(BDD that, BDDVarSet var)	Relational product.
double	BDD.satCount(BDDVarSet varset)	Calculates the number of satisfying variable assignments to the variables in the given varset.
abstract BDD	BDD.satOne(BDDVarSet var, boolean pol)	Finds one satisfying variable assignment.
BDD	BDDFactoryIntImpl.IntBDD.satOne(BDDVarSet var, boolean pol)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.union(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.union(BDDVarSet b)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(BDDVarSet b)
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(BDDVarSet s)
abstract BDDVarSet	BDDVarSet.unionWith(BDDVarSet b)	Modifies this BDDVarSet to include all of the vars in the given set.
abstract BDD	BDD.unique(BDDVarSet var)	Unique quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.unique(BDDVarSet var)
protected static int	BDDFactoryIntImpl.unwrap(BDDVarSet b)

Constructors in com.github.javabdd with parameters of type BDDVarSet

Constructor	Description
BDDIterator(BDD bdd, BDDVarSet var)	Construct a new BDDIterator on the given BDD.