public final class MemoryEngineUtils
extends java.lang.Object
MemoryEngineUtils
implements utilities used in the memory engine.Modifier and Type | Method and Description |
---|---|
static java.util.Map<IntegerVariable,java.math.BigInteger> |
generateData(MemoryAccessPath path,
java.util.Collection<IntegerConstraint<IntegerField>> constraints,
IntegerVariableInitializer initializer) |
static java.lang.Iterable<MemoryAccessPath> |
getFeasiblePaths(java.lang.Iterable<MemoryAccessPath> paths,
java.util.Collection<IntegerConstraint<IntegerField>> constraints) |
static java.lang.Iterable<MemoryAccessPath> |
getFeasibleSimilarPaths(MemoryAccessPath path,
java.lang.Iterable<MemoryAccessPath> paths,
java.util.Collection<IntegerConstraint<IntegerField>> constraints) |
static java.lang.Iterable<MemoryAccessPath> |
getSimilarPaths(MemoryAccessPath path,
java.lang.Iterable<MemoryAccessPath> paths) |
static boolean |
isFeasiblePath(MemoryAccessPath path,
java.util.Collection<IntegerConstraint<IntegerField>> constraints) |
static boolean |
isFeasibleStructure(MemoryAccessStructure structure) |
static boolean |
isFeasibleTransition(MmuTransition transition,
MemorySymbolicExecutor.Result partialResult) |
public static boolean isFeasibleTransition(MmuTransition transition, MemorySymbolicExecutor.Result partialResult)
public static boolean isFeasiblePath(MemoryAccessPath path, java.util.Collection<IntegerConstraint<IntegerField>> constraints)
public static java.lang.Iterable<MemoryAccessPath> getFeasiblePaths(java.lang.Iterable<MemoryAccessPath> paths, java.util.Collection<IntegerConstraint<IntegerField>> constraints)
public static java.lang.Iterable<MemoryAccessPath> getSimilarPaths(MemoryAccessPath path, java.lang.Iterable<MemoryAccessPath> paths)
public static java.lang.Iterable<MemoryAccessPath> getFeasibleSimilarPaths(MemoryAccessPath path, java.lang.Iterable<MemoryAccessPath> paths, java.util.Collection<IntegerConstraint<IntegerField>> constraints)
public static java.util.Map<IntegerVariable,java.math.BigInteger> generateData(MemoryAccessPath path, java.util.Collection<IntegerConstraint<IntegerField>> constraints, IntegerVariableInitializer initializer)
public static boolean isFeasibleStructure(MemoryAccessStructure structure)