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 and Description
class	BDDFactoryIntImpl.IntBDDVarSet
class	BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
class	BDDFactoryIntImpl.IntZDDVarSet
class	BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
static class	BDDVarSet.DefaultImpl Default implementation of BDDVarSet based on BDDs.
class	TypedBDDFactory.TypedBDDVarSet
class	UberMicroFactory.Micro5VarSet

Fields in com.github.javabdd declared as BDDVarSet

Modifier and Type	Field and Description
protected BDDVarSet	BDDDomain.var

Methods in com.github.javabdd that return BDDVarSet

Modifier and Type	Method and Description
BDDVarSet	BDDFactory.emptySet() Get an empty BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.emptySet()
BDDVarSet	TestBDDFactory.emptySet()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.id()
abstract BDDVarSet	BDDVarSet.id()
BDDVarSet	BDDVarSet.DefaultImpl.id()
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.id()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersect(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.intersect(BDDVarSet b) Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDVarSet.DefaultImpl.intersect(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersect(BDDVarSet that)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersectWith(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.intersectWith(BDDVarSet b) Modifies this BDDVarSet to include all of the vars in the given set.
BDDVarSet	BDDVarSet.DefaultImpl.intersectWith(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersectWith(BDDVarSet that)
BDDVarSet	BDDFactory.makeSet(BDDDomain[] v) Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
BDDVarSet	BDDFactory.makeSet(int[] varset) Builds a BDD variable set from an integer 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	TypedBDDFactory.TypedBDD.support()
BDDVarSet	BDD.toVarSet() Converts this BDD to a new BDDVarSet.
BDDVarSet	BDDFactoryIntImpl.IntBDD.toVarSet()
BDDVarSet	TypedBDDFactory.TypedBDD.toVarSet()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.union(BDDVarSet b) Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDVarSet.DefaultImpl.union(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.union(BDDVarSet that)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(int var)
abstract BDDVarSet	BDDVarSet.union(int var) Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
BDDVarSet	BDDVarSet.DefaultImpl.union(int var)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.union(int var)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.unionWith(BDDVarSet b) Modifies this BDDVarSet to include all of the vars in the given set.
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.unionWith(BDDVarSet that)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(int var)
abstract BDDVarSet	BDDVarSet.unionWith(int var) Modifies this BDDVarSet to include the given variable.
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(int var)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.unionWith(int var)

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

Modifier and Type	Method and 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)
BDD	TypedBDDFactory.TypedBDD.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)
BDD	TypedBDDFactory.TypedBDD.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)
BDD	TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
static void	TestBDDFactory.assertSame(BDDVarSet b1, BDDVarSet b2, String s)
static void	TestBDDFactory.assertSame(boolean b, BDDVarSet b1, BDDVarSet b2, String s)
boolean	BDDFactoryIntImpl.IntBDDVarSet.equals(BDDVarSet that)
abstract boolean	BDDVarSet.equals(BDDVarSet that) Returns true if the sets are equal.
boolean	BDDVarSet.DefaultImpl.equals(BDDVarSet s)
boolean	TypedBDDFactory.TypedBDDVarSet.equals(BDDVarSet that)
abstract BDD	BDD.exist(BDDVarSet var) Existential quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.exist(BDDVarSet var)
BDD	TypedBDDFactory.TypedBDD.exist(BDDVarSet var)
abstract BDD	BDD.forAll(BDDVarSet var) Universal quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.forAll(BDDVarSet var)
BDD	TypedBDDFactory.TypedBDD.forAll(BDDVarSet var)
void	FindBestOrder.init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersect(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.intersect(BDDVarSet b) Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDVarSet.DefaultImpl.intersect(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersect(BDDVarSet that)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.intersectWith(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.intersectWith(BDDVarSet b) Modifies this BDDVarSet to include all of the vars in the given set.
BDDVarSet	BDDVarSet.DefaultImpl.intersectWith(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersectWith(BDDVarSet that)
BDD.BDDIterator	BDD.iterator(BDDVarSet var) Returns an iteration of the satisfying assignments of this BDD.
BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator(BDDVarSet var)
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.
BDD	TypedBDDFactory.TypedBDD.relprod(BDD that, BDDVarSet var)
double	BDD.satCount(BDDVarSet varset) Calculates the number of satisfying variable assignments to the variables in the given varset.
double	TypedBDDFactory.TypedBDD.satCount(BDDVarSet set)
abstract BDD	BDD.satOne(BDDVarSet var, boolean pol) Finds one satisfying variable assignment.
BDD	BDDFactoryIntImpl.IntBDD.satOne(BDDVarSet var, boolean pol)
BDD	TypedBDDFactory.TypedBDD.satOne(BDDVarSet var, boolean pol)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.union(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.union(BDDVarSet b) Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	BDDVarSet.DefaultImpl.union(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.union(BDDVarSet that)
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.unionWith(BDDVarSet b)
abstract BDDVarSet	BDDVarSet.unionWith(BDDVarSet b) Modifies this BDDVarSet to include all of the vars in the given set.
BDDVarSet	BDDVarSet.DefaultImpl.unionWith(BDDVarSet s)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.unionWith(BDDVarSet that)
abstract BDD	BDD.unique(BDDVarSet var) Unique quantification of variables.
BDD	BDDFactoryIntImpl.IntBDD.unique(BDDVarSet var)
BDD	TypedBDDFactory.TypedBDD.unique(BDDVarSet var)
protected static int	BDDFactoryIntImpl.unwrap(BDDVarSet b)

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

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