Uses of Class
kodkod.util.ints.IntBitSet

Packages that use IntBitSet
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of IntBitSet in kodkod.util.ints
 

Methods in kodkod.util.ints that return IntBitSet
 IntBitSet IntBitSet.clone()
          Returns a copy of this int bit set.