public final class AccessConstraints
extends java.lang.Object
AccessConstraints
class holds constraints related to memory accesses.
There are two categories of constraints: (1) constraints on variable values and (2) constraints on memory access events. Each is stored in a separate collection.
Modifier and Type | Class and Description |
---|---|
static class |
AccessConstraints.Builder |
Modifier and Type | Field and Description |
---|---|
static AccessConstraints |
EMPTY |
Constructor and Description |
---|
AccessConstraints() |
AccessConstraints(RegionSettings region,
java.util.Collection<VariableConstraint> variableConstraints,
java.util.Collection<BufferEventConstraint> bufferEventConstraints) |
Modifier and Type | Method and Description |
---|---|
static AccessConstraints |
compose(java.util.Collection<AccessConstraints> collection) |
java.util.Collection<BufferEventConstraint> |
getBufferEventConstraints() |
java.util.Collection<IntegerConstraint<IntegerField>> |
getGeneralConstraints() |
RegionSettings |
getRegion() |
java.util.Collection<VariableConstraint> |
getVariableConstraints() |
java.util.Collection<IntegerConstraint<IntegerField>> |
getVariateConstraints() |
boolean |
isEmpty() |
static AccessConstraints |
merge(AccessConstraints lhs,
AccessConstraints rhs) |
void |
randomize() |
java.lang.String |
toString() |
public static final AccessConstraints EMPTY
public AccessConstraints()
public AccessConstraints(RegionSettings region, java.util.Collection<VariableConstraint> variableConstraints, java.util.Collection<BufferEventConstraint> bufferEventConstraints)
public static final AccessConstraints compose(java.util.Collection<AccessConstraints> collection)
public static AccessConstraints merge(AccessConstraints lhs, AccessConstraints rhs)
public boolean isEmpty()
public RegionSettings getRegion()
public java.util.Collection<VariableConstraint> getVariableConstraints()
public java.util.Collection<BufferEventConstraint> getBufferEventConstraints()
public java.util.Collection<IntegerConstraint<IntegerField>> getGeneralConstraints()
public java.util.Collection<IntegerConstraint<IntegerField>> getVariateConstraints()
public void randomize()
public java.lang.String toString()
toString
in class java.lang.Object