kodkod.util.collections
Interfaces
Indexer
Classes
ArrayStack
CacheSet
Containers
FixedMap
IdentityHashSet
LinkedStack
SingletonIdentitySet
Stack