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