com.github.javabdd

Class UberMicroFactory.Micro5VarSet

java.lang.Object

com.github.javabdd.BDDVarSet

com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

com.github.javabdd.UberMicroFactory.Micro5VarSet

Enclosing class:

UberMicroFactory

public class UberMicroFactory.Micro5VarSet
extends BDDFactoryIntImpl.IntBDDVarSet

Nested Class Summary

Nested classes/interfaces inherited from class com.github.javabdd.BDDVarSet

BDDVarSet.DefaultImpl

Method Summary

Methods inherited from class com.github.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 com.github.javabdd.BDDVarSet

equals, getDomains, toString

Methods inherited from class java.lang.Object

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