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	Description
class	BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
class	BDDFactoryIntImpl.IntZDDVarSet
class	BDDFactoryIntImpl.IntZDDVarSetWithFinalizer

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

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