public final class MemoryAccessConstraints
extends java.lang.Object
MemoryAccessConstraints
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 |
MemoryAccessConstraints.Builder |
Modifier and Type | Field and Description |
---|---|
static MemoryAccessConstraints |
EMPTY |
Constructor and Description |
---|
MemoryAccessConstraints() |
MemoryAccessConstraints(java.util.Collection<VariableConstraint> variableConstraints,
java.util.Collection<BufferEventConstraint> bufferEventConstraints) |
Modifier and Type | Method and Description |
---|---|
static MemoryAccessConstraints |
compose(java.util.Collection<MemoryAccessConstraints> collection) |
java.util.Collection<BufferEventConstraint> |
getBufferEventConstraints() |
java.util.Collection<IntegerConstraint<IntegerField>> |
getGeneralConstraints() |
java.util.Collection<VariableConstraint> |
getVariableConstraints() |
java.util.Collection<IntegerConstraint<IntegerField>> |
getVariateConstraints() |
boolean |
isEmpty() |
static MemoryAccessConstraints |
merge(MemoryAccessConstraints lhs,
MemoryAccessConstraints rhs) |
void |
randomize() |
java.lang.String |
toString() |
public static final MemoryAccessConstraints EMPTY
public MemoryAccessConstraints()
public MemoryAccessConstraints(java.util.Collection<VariableConstraint> variableConstraints, java.util.Collection<BufferEventConstraint> bufferEventConstraints)
public static final MemoryAccessConstraints compose(java.util.Collection<MemoryAccessConstraints> collection)
public static MemoryAccessConstraints merge(MemoryAccessConstraints lhs, MemoryAccessConstraints rhs)
public boolean isEmpty()
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