Class Hierarchy
Interface Hierarchy
- java.lang.Iterable<T>
- org.key_project.util.collection.ImmutableHeap<T> (also extends java.io.Serializable)
- org.key_project.util.collection.ImmutableList<T> (also extends java.io.Serializable)
- org.key_project.util.collection.ImmutableMap<S,T> (also extends java.io.Serializable)
- org.key_project.util.collection.ImmutableSet<T> (also extends java.io.Serializable)
- java.io.Serializable
- org.key_project.util.collection.ImmutableHeap<T> (also extends java.lang.Iterable<T>)
- org.key_project.util.collection.ImmutableList<T> (also extends java.lang.Iterable<T>)
- org.key_project.util.collection.ImmutableMap<S,T> (also extends java.lang.Iterable<T>)
- org.key_project.util.collection.ImmutableMapEntry<S,T>
- org.key_project.util.collection.ImmutableSet<T> (also extends java.lang.Iterable<T>)
Copyright © 2003-2019 The KeY-Project.