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