Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package kodkod.util.collections
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
java.util.AbstractCollection<E> (implements java.util.Collection<E>)
java.util.AbstractSet<E> (implements java.util.Set<E>)
kodkod.util.collections.
CacheSet
<E>
kodkod.util.collections.
IdentityHashSet
<T>
kodkod.util.collections.
SingletonIdentitySet
<V>
java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
kodkod.util.collections.
FixedMap
<K,V> (implements kodkod.util.collections.
Indexer
<K>)
kodkod.util.collections.
Containers
kodkod.util.collections.
Stack
<T> (implements java.lang.Iterable<T>)
kodkod.util.collections.
ArrayStack
<T>
kodkod.util.collections.
LinkedStack
<T>
Interface Hierarchy
kodkod.util.collections.
Indexer
<K>
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes