public abstract class ImmutableLeftistHeap<T extends java.lang.Comparable<T>> extends java.lang.Object implements ImmutableHeap<T>
Constructor and Description |
---|
ImmutableLeftistHeap() |
Modifier and Type | Method and Description |
---|---|
protected abstract int |
getRightHeight()
Length of the right spine, i.e.
|
ImmutableHeap<T> |
insert(java.util.Iterator<T> elements)
Add multiple elements to this heap object
|
java.util.Iterator<T> |
iterator() |
static <T extends java.lang.Comparable<T>> |
nilHeap() |
java.util.Iterator<T> |
sortedIterator() |
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static <T extends java.lang.Comparable<T>> ImmutableLeftistHeap<T> nilHeap()
protected abstract int getRightHeight()
public ImmutableHeap<T> insert(java.util.Iterator<T> elements)
insert
in interface ImmutableHeap<T extends java.lang.Comparable<T>>
elements
- the elements to be addedelements
public java.util.Iterator<T> iterator()
public java.util.Iterator<T> sortedIterator()
sortedIterator
in interface ImmutableHeap<T extends java.lang.Comparable<T>>
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.