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
-
Nested Class Summary
Nested classes/interfaces inherited from class com.github.javabdd.BDDVarSet
BDDVarSet.DefaultImpl -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected 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, unionWithMethods inherited from class com.github.javabdd.BDDVarSet
equals, getDomains, toString
-
Constructor Details
-
IntZDDVarSet
protected IntZDDVarSet(int v)
-
-
Method Details
-
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
-