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