Package | Description |
---|---|
de.uka.ilkd.key.smt.model |
Modifier and Type | Method and Description |
---|---|
java.util.List<Heap> |
Model.getHeaps() |
Modifier and Type | Method and Description |
---|---|
void |
Model.addHeap(Heap e)
Adds a heap to the model.
|
ObjectVal |
Model.getObject(java.lang.String name,
Heap heap)
returns the object of the given name found in the heap
|
java.util.Set<ObjectVal> |
Model.getReachableObjects(java.lang.String name,
Heap heap)
returns all objects reachable from the specified one in the fiven heap
|
java.util.Set<ObjectVal> |
Model.pointsTo(java.lang.String name,
Heap heap)
set of objects the specified object points to
|
Copyright © 2003-2019 The KeY-Project.