net.sf.javabdd
Class BDDFactoryIntImpl.IntZDDVarSet

java.lang.Object
  net.sf.javabdd.BDDVarSet
      net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          net.sf.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 net.sf.javabdd.BDDVarSet

BDDVarSet.DefaultImpl

Constructor Summary

protected

BDDFactoryIntImpl.IntZDDVarSet(int v)

Method Summary

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 net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet

equals, free, getFactory, hashCode, id, intersect, intersectWith, isEmpty, size, toArray, toBDD, toLevelArray, union, union, unionWith, unionWith

Methods inherited from class net.sf.javabdd.BDDVarSet

equals, getDomains, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDFactoryIntImpl.IntZDDVarSet

protected BDDFactoryIntImpl.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