Package | Description |
---|---|
org.key_project.util.collection |
Modifier and Type | Class and Description |
---|---|
class |
ImmutableLeftistHeap<T extends java.lang.Comparable<T>>
This class implements the leftist heap, see "Functional Data
Structures" by Chris Okasaki
|
Modifier and Type | Method and Description |
---|---|
ImmutableHeap<T> |
ImmutableHeap.deleteMin()
Remove the minimum element from this heap
|
ImmutableHeap<T> |
ImmutableHeap.insert(ImmutableHeap<T> h)
Add multiple elements to this heap object
|
ImmutableHeap<T> |
ImmutableHeap.insert(java.util.Iterator<T> elements)
Add multiple elements to this heap object
|
ImmutableHeap<T> |
ImmutableLeftistHeap.insert(java.util.Iterator<T> elements)
Add multiple elements to this heap object
|
ImmutableHeap<T> |
ImmutableHeap.insert(T element)
Add an element to this heap object
|
ImmutableHeap<T> |
ImmutableHeap.removeAll(T element)
Remove all elements of this heap which are
equal
to element . |
Modifier and Type | Method and Description |
---|---|
ImmutableHeap<T> |
ImmutableHeap.insert(ImmutableHeap<T> h)
Add multiple elements to this heap object
|
Copyright © 2003-2019 The KeY-Project.