org.key_project.util.collection
Interfaces
ImmutableHeap
ImmutableList
ImmutableMap
ImmutableMapEntry
ImmutableSet
Classes
DefaultImmutableMap
DefaultImmutableSet
ImmutableArray
ImmutableLeftistHeap
Immutables
ImmutableSLList
KeYCollections
PropertiesUtil
Exceptions
NotUniqueException