Methods
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 boolean |
isDisabledTransition(MmuTransition transition) |
static boolean |
isEnabledPath(MemoryAccessPath path,
java.util.Collection<BufferEventConstraint> constraints) |
static boolean |
isFeasibleEntry(MemoryAccessPath.Entry entry,
MemoryAccessStack stack,
MemorySymbolicExecutor.Result partialResult) |
static boolean |
isFeasiblePath(MemoryAccessPath path,
java.util.Collection<IntegerConstraint<IntegerField>> constraints) |
static boolean |
isFeasiblePath(MmuSubsystem memory,
MemoryAccessPath path,
MemoryAccessConstraints constraints) |
static boolean |
isFeasibleStructure(MemoryAccessStructure structure) |
static boolean |
isFeasibleTransition(MmuTransition transition,
MemoryAccessStack stack,
MemorySymbolicExecutor.Result partialResult) |
static boolean |
isFeasibleTransition(MmuTransition transition,
MemoryAccessType type,
MemoryAccessStack stack,
MemorySymbolicExecutor.Result partialResult) |
static boolean |
isValidPath(MmuSubsystem memory,
MemoryAccessPath path) |
static boolean |
isValidTransition(MmuTransition transition,
MemoryAccessType type) |