Uses of Class
net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet

Uses of BDDFactoryIntImpl.IntBDDVarSet in net.sf.javabdd

Subclasses of BDDFactoryIntImpl.IntBDDVarSet in net.sf.javabdd

class	BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
class	BDDFactoryIntImpl.IntZDDVarSet
class	BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
class	UberMicroFactory.Micro5VarSet

Methods in net.sf.javabdd that return BDDFactoryIntImpl.IntBDDVarSet

protected BDDFactoryIntImpl.IntBDDVarSet	UberMicroFactory.makeBDDVarSet(int v)
protected BDDFactoryIntImpl.IntBDDVarSet	BDDFactoryIntImpl.makeBDDVarSet(int v)