Class | Description |
---|---|
BufferEventConstraint |
The
BufferEventConstraint class describes constraints on buffer access events. |
ConstraintFactory |
The
ConstraintFactory class is used by test templates to
create memory-related constraints from Ruby code. |
MemoryAccessConstraints |
The
MemoryAccessConstraints class holds constraints related to memory accesses. |
MemoryAccessConstraints.Builder | |
VariableConstraint |
The
VariableConstraint class describes constraints on a memory variable. |