de.uka.ilkd.key.smt.model

Class Heap

java.lang.Object

de.uka.ilkd.key.smt.model.Heap

public class Heap
extends java.lang.Object

Represents a heap in the SMT model.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	name The name of the heap.
(package private) java.util.List<ObjectVal>	objects The contained objects.

Constructor Summary

Constructors

Constructor and Description
Heap(java.lang.String name) Creates a new heap with the given name.

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

java.lang.String name

The name of the heap.

objects

java.util.List<ObjectVal> objects

The contained objects.

Constructor Detail

Heap

public Heap(java.lang.String name)

Creates a new heap with the given name.

Parameters:

name -

Method Detail

add

public boolean add(ObjectVal object)

Adds an object to the heap.

Parameters:

object -

Returns:

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getObjects

public java.util.List<ObjectVal> getObjects()

Returns:

the objects

getName

public java.lang.String getName()

Returns:

the name

equals

public boolean equals(java.lang.Object that)

Heaps with equal names are equal.

Overrides:

equals in class java.lang.Object