Uses of Package
kodkod.util.collections

Packages that use kodkod.util.collections
kodkod.util.collections Contains specialized collections, such as a set that provides methods for retrieving elements with a particular hashcode
 

Classes in kodkod.util.collections used by kodkod.util.collections
Indexer
          An index generator for a set of keys.
Stack
          Represents a last-in-first-out (LIFO) stack of objects.