org.key_project.util.collection
Interfaces
ImmutableHeap
ImmutableList
ImmutableMap
ImmutableMapEntry
ImmutableSet
Classes
DefaultImmutableMap
DefaultImmutableMap.MapEntry
DefaultImmutableMap.MapEntryIterator
DefaultImmutableMap.MapIterator
DefaultImmutableMap.MapKeyIterator
DefaultImmutableMap.MapValueIterator
DefaultImmutableMap.NILMap
DefaultImmutableSet
DefaultImmutableSet.NILSet
ImmutableArray
ImmutableArray.ArrayIterator
ImmutableLeftistHeap
ImmutableLeftistHeap.Empty
ImmutableLeftistHeap.Node
ImmutableLeftistHeap.SortedIterator
ImmutableLeftistHeap.UnsortedIterator
Immutables
ImmutableSLList
ImmutableSLList.Cons
ImmutableSLList.NIL
ImmutableSLList.SLListIterator
Exceptions
NotUniqueException