Uses of Class
net.sf.javabdd.BDDVarSet

Uses of BDDVarSet in net.sf.javabdd

Subclasses of BDDVarSet in net.sf.javabdd

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 net.sf.javabdd declared as BDDVarSet

protected BDDVarSet

BDDDomain.var

Methods in net.sf.javabdd that return BDDVarSet

BDDVarSet	TestBDDFactory.emptySet()
BDDVarSet	BDDFactoryIntImpl.emptySet()
BDDVarSet	BDDFactory.emptySet() Get an empty BDDVarSet.
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.id()
BDDVarSet	BDDFactoryIntImpl.IntBDDVarSet.id()
abstract BDDVarSet	BDDVarSet.id()
BDDVarSet	BDDVarSet.DefaultImpl.id()
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersect(BDDVarSet that)
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.intersectWith(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	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.
BDDVarSet	TypedBDDFactory.TypedBDD.support()
BDDVarSet	BDDFactoryIntImpl.IntBDD.support()
abstract BDDVarSet	BDD.support() Returns the variable support of this BDD.
BDDVarSet	TypedBDDFactory.TypedBDD.toVarSet()
BDDVarSet	BDDFactoryIntImpl.IntBDD.toVarSet()
BDDVarSet	BDD.toVarSet() Converts this BDD to a new BDDVarSet.
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.union(BDDVarSet that)
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(int var)
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.unionWith(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(int var)
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)

Methods in net.sf.javabdd with parameters of type BDDVarSet

void	BDDFactory.addVarBlock(BDDVarSet var, boolean fixed) Adds a new variable block for reordering.
BDD	TypedBDDFactory.TypedBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
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	TypedBDDFactory.TypedBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyEx(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	TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyUni(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.
static void	TestBDDFactory.assertSame(BDDVarSet b1, BDDVarSet b2, String s)
static void	TestBDDFactory.assertSame(boolean b, BDDVarSet b1, BDDVarSet b2, String s)
boolean	TypedBDDFactory.TypedBDDVarSet.equals(BDDVarSet that)
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)
BDD	TypedBDDFactory.TypedBDD.exist(BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.exist(BDDVarSet var)
abstract BDD	BDD.exist(BDDVarSet var) Existential quantification of variables.
BDD	TypedBDDFactory.TypedBDD.forAll(BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.forAll(BDDVarSet var)
abstract BDD	BDD.forAll(BDDVarSet var) Universal quantification of variables.
void	FindBestOrder.init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.intersect(BDDVarSet that)
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.intersectWith(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)
BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator(BDDVarSet var)
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	TypedBDDFactory.TypedBDD.relprod(BDD that, BDDVarSet var)
BDD	BDD.relprod(BDD that, BDDVarSet var) Relational product.
double	TypedBDDFactory.TypedBDD.satCount(BDDVarSet set)
double	BDD.satCount(BDDVarSet varset) Calculates the number of satisfying variable assignments to the variables in the given varset.
BDD	TypedBDDFactory.TypedBDD.satOne(BDDVarSet var, boolean pol)
BDD	BDDFactoryIntImpl.IntBDD.satOne(BDDVarSet var, boolean pol)
abstract BDD	BDD.satOne(BDDVarSet var, boolean pol) Finds one satisfying variable assignment.
BDD	TypedBDDFactory.TypedBDD.simplify(BDDVarSet d)
BDD	BDDFactoryIntImpl.IntBDD.simplify(BDDVarSet d)
abstract BDD	BDD.simplify(BDDVarSet d) Coudert and Madre's restrict function.
BDDVarSet	TypedBDDFactory.TypedBDDVarSet.union(BDDVarSet that)
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.unionWith(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)
BDD	TypedBDDFactory.TypedBDD.unique(BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.unique(BDDVarSet var)
abstract BDD	BDD.unique(BDDVarSet var) Unique quantification of variables.
protected static int	BDDFactoryIntImpl.unwrap(BDDVarSet b)

Constructors in net.sf.javabdd with parameters of type BDDVarSet

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

TypedBDDFactory.TypedBDDVarSet(BDDVarSet bdd, Set dom)