net.sf.javabdd
Class UberMicroFactory.Micro5VarSet

java.lang.Object
  net.sf.javabdd.BDDVarSet
      net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
          net.sf.javabdd.UberMicroFactory.Micro5VarSet

Enclosing class:

UberMicroFactory

public class UberMicroFactory.Micro5VarSet
extends BDDFactoryIntImpl.IntBDDVarSet

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.javabdd.BDDVarSet

BDDVarSet.DefaultImpl

Method Summary

Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet

do_intersect, do_union, do_unionvar, 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