Class | Description |
---|---|
AccessConstraints |
The
AccessConstraints class holds constraints related to memory accesses. |
AccessConstraints.Builder | |
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. |
VariableConstraint |
The
VariableConstraint class describes constraints on a memory variable. |