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(MmuBufferAccess bufferAccess) |
java.util.Collection<IntegerConstraint<IntegerField>> |
getConstraints(MmuProgram program,
MemoryAccessContext context) |
public MemorySymbolicRestrictor(RegionSettings region)
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints(MmuBufferAccess bufferAccess)
public java.util.Collection<IntegerConstraint<IntegerField>> getConstraints(MmuProgram program, MemoryAccessContext context)