| Class | Description |
|---|---|
| AddressView<A> |
AddressView implements an address view, i.e. |
| BufferEventConstraint |
The
BufferEventConstraint class describes constraints on buffer
access events. |
| BufferStateTracker<A extends java.lang.Number> |
BufferStateTracker implements a simplified buffer used to imitate data replacement logic. |
| MemoryAccessConstraints |
The
MemoryAccessConstraints class holds constraints related to memory
accesses. |
| MemoryAccessConstraints.Builder |
| Enum | Description |
|---|---|
| BufferAccessEvent |
This enumeration contains types buffer access events.
|
| DataType |
This enumeration contains basic data types.
|
| MemoryOperation |
MemoryOperation contains types of memory operations. |