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 and Description
protected	IntZDDVarSet(int v)

Method Summary

Modifier and Type	Method and Description
protected int	do_intersect(int v1, int v2)
protected int	do_union(int v1, int v2)
protected int	do_unionvar(int v, int var)

Methods inherited from class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

equals, 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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntZDDVarSet

protected IntZDDVarSet(int v)

Method Detail

do_intersect

protected int do_intersect(int v1,
                           int v2)

Overrides:

do_intersect in class BDDFactoryIntImpl.IntBDDVarSet

do_union

protected int do_union(int v1,
                       int v2)

Overrides:

do_union in class BDDFactoryIntImpl.IntBDDVarSet

do_unionvar

protected int do_unionvar(int v,
                          int var)

Overrides:

do_unionvar in class BDDFactoryIntImpl.IntBDDVarSet