Interface | Description |
---|---|
ImmutableHeap<T extends java.lang.Comparable<T>> |
Interface for heaps of objects of class T.
|
ImmutableList<T> |
List interface to be implemented by non-destructive lists
|
ImmutableMap<S,T> |
This interface has to be implemented by a Class providing a
persistent Map.
|
ImmutableMapEntry<S,T> |
This interface declares a tupel of two values.
|
ImmutableSet<T> |
interface implemented by non-destructive Sets.
|
Class | Description |
---|---|
DefaultImmutableMap<S,T> |
This class implements ImmMap
|
DefaultImmutableSet<T> |
implementation of a persistent set using the SLListOf
|
ImmutableArray<S> | |
ImmutableLeftistHeap<T extends java.lang.Comparable<T>> |
This class implements the leftist heap, see "Functional Data
Structures" by Chris Okasaki
|
Immutables |
This class is a collection of methods that operate on immutable collections,
in particular
ImmutableSet s and ImmutableList s. |
ImmutableSLList<T> |
Simple implementation of a non-destructive (unmodifiable) list.
|
KeYCollections |
Utilities for Collections.
|
PropertiesUtil |
Exception | Description |
---|---|
NotUniqueException |
thrown if a duplicate is being added via addUnique()
|
Copyright © 2003-2019 The KeY-Project.