|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |