Class SymbolicRestrictor
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.SymbolicRestrictor
-
public final class SymbolicRestrictor extends java.lang.Object
SymbolicRestrictor
produces a constraint for a given memory access.
-
-
Constructor Summary
Constructors Constructor Description SymbolicRestrictor(RegionSettings region)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
Constructor Detail
-
SymbolicRestrictor
public SymbolicRestrictor(RegionSettings region)
-
-
Method Detail
-
getConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints(MmuBufferAccess bufferAccess)
-
getConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints()
-
getConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints(boolean isStart, MmuTransition transition, MemoryAccessContext context)
-
getConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints(boolean isStart, MmuProgram program, MemoryAccessContext context)
-
-