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 |
Constructor and Description |
---|
MemoryAccessConstraints(java.util.List<IntegerConstraint<IntegerField>> integerConstraints,
java.util.List<BufferEventConstraint> bufferEventConstraints) |
Modifier and Type | Method and Description |
---|---|
java.util.List<BufferEventConstraint> |
getBufferEvents() |
java.util.List<IntegerConstraint<IntegerField>> |
getIntegers() |
static MemoryAccessConstraints |
merge(MemoryAccessConstraints first,
MemoryAccessConstraints second) |
java.lang.String |
toString() |
public MemoryAccessConstraints(java.util.List<IntegerConstraint<IntegerField>> integerConstraints, java.util.List<BufferEventConstraint> bufferEventConstraints)
public static MemoryAccessConstraints merge(MemoryAccessConstraints first, MemoryAccessConstraints second)
public java.util.List<IntegerConstraint<IntegerField>> getIntegers()
public java.util.List<BufferEventConstraint> getBufferEvents()
public java.lang.String toString()
toString
in class java.lang.Object