public final class MemorySymbolicRestrictor
extends java.lang.Object
MemorySymbolicRestrictor
produces a constraint for a given memory access.Constructor and Description |
---|
MemorySymbolicRestrictor(RegionSettings region) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IntegerConstraint<IntegerField>> |
getConstraints() |
java.util.Collection<IntegerConstraint<IntegerField>> |
getConstraints(boolean isStart,
MmuProgram program,
MemoryAccessContext context) |
java.util.Collection<IntegerConstraint<IntegerField>> |
getConstraints(boolean isStart,
MmuTransition transition,
MemoryAccessContext context) |
java.util.Collection<IntegerConstraint<IntegerField>> |
getConstraints(MmuBufferAccess bufferAccess) |
public MemorySymbolicRestrictor(RegionSettings region)
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints(MmuBufferAccess bufferAccess)
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints()
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints(boolean isStart, MmuTransition transition, MemoryAccessContext context)
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints(boolean isStart, MmuProgram program, MemoryAccessContext context)