| Class | Description |
|---|---|
| Heap |
Represents a heap in the SMT model.
|
| Location |
A Location is a pair (objectID, fieldID)
|
| LocationSet |
A LocationSet represents a location set in an SMT model.
|
| Model |
Represents an SMT model.
|
| ObjectVal |
Represents an object inside a heap.
|
| Sequence |
Represents a sequence in an SMT model.
|