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.
|