public class Heap
extends java.lang.Object
Constructor and Description |
---|
Heap(java.lang.String name)
Creates a new heap with the given name.
|
Modifier and Type | Method and Description |
---|---|
boolean |
add(ObjectVal object)
Adds an object to the heap.
|
boolean |
equals(java.lang.Object that)
Heaps with equal names are equal.
|
java.lang.String |
getName() |
java.util.List<ObjectVal> |
getObjects() |
java.lang.String |
toString() |
public Heap(java.lang.String name)
name
- public boolean add(ObjectVal object)
object
- public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<ObjectVal> getObjects()
public java.lang.String getName()
public boolean equals(java.lang.Object that)
equals
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.