Methods
Modifier and Type |
Method and Description |
static java.util.Map<IntegerVariable,java.math.BigInteger> |
generateData(MemoryAccessPath path,
java.util.Collection<MmuCondition> conditions,
java.util.Collection<IntegerConstraint<IntegerField>> constraints,
IntegerVariableInitializer initializer) |
static boolean |
isDisabledTransition(MmuTransition transition) |
static boolean |
isFeasibleEntry(MemoryAccessPath.Entry entry,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemorySymbolicResult 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 |
isValidTransition(MmuTransition transition,
MemoryAccessType type) |
static IntegerFormulaBuilder<IntegerField> |
newFormulaBuilder() |
static Solver<java.util.Map<IntegerVariable,java.math.BigInteger>> |
newSolver(IntegerFormulaBuilder<IntegerField> builder,
IntegerVariableInitializer initializer) |
static MemorySymbolicExecutor |
newSymbolicExecutor() |
static MemorySymbolicExecutor |
newSymbolicExecutor(MemorySymbolicResult result) |
static MemorySymbolicRestrictor |
newSymbolicRestrictor() |
static MemorySymbolicResult |
newSymbolicResult() |