Uses of Class
com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

Uses of BDDFactoryIntImpl.IntBDDVarSet in com.github.javabdd

Subclasses of BDDFactoryIntImpl.IntBDDVarSet in com.github.javabdd

Modifier and Type	Class and Description
class	BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
class	BDDFactoryIntImpl.IntZDDVarSet
class	BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
class	UberMicroFactory.Micro5VarSet

Methods in com.github.javabdd that return BDDFactoryIntImpl.IntBDDVarSet

Modifier and Type	Method and Description
protected BDDFactoryIntImpl.IntBDDVarSet	BDDFactoryIntImpl.makeBDDVarSet(int v)
protected BDDFactoryIntImpl.IntBDDVarSet	UberMicroFactory.makeBDDVarSet(int v)