Package com.github.javabdd
Class BDDFactoryIntImpl.IntZDDVarSet
- java.lang.Object
-
- com.github.javabdd.BDDVarSet
-
- com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
-
- com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet
-
- Direct Known Subclasses:
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
- Enclosing class:
- BDDFactoryIntImpl
public class BDDFactoryIntImpl.IntZDDVarSet extends BDDFactoryIntImpl.IntBDDVarSet
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.github.javabdd.BDDVarSet
BDDVarSet.DefaultImpl
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedIntZDDVarSet(int v)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected intdo_intersect(int v1, int v2)protected intdo_union(int v1, int v2)protected intdo_unionvar(int v, int var)-
Methods inherited from class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
equalsBDDVarSet, free, getFactory, hashCode, id, intersect, intersectWith, isEmpty, size, toArray, toBDD, toLevelArray, union, union, unionWith, unionWith
-
Methods inherited from class com.github.javabdd.BDDVarSet
equals, getDomains, toString
-
-
-
-
Method Detail
-
do_intersect
protected int do_intersect(int v1, int v2)- Overrides:
do_intersectin classBDDFactoryIntImpl.IntBDDVarSet
-
do_union
protected int do_union(int v1, int v2)- Overrides:
do_unionin classBDDFactoryIntImpl.IntBDDVarSet
-
do_unionvar
protected int do_unionvar(int v, int var)- Overrides:
do_unionvarin classBDDFactoryIntImpl.IntBDDVarSet
-
-