Methods
Modifier and Type |
Method and Description |
static java.util.Map<IntegerVariable,java.math.BigInteger> |
generateData(Access access,
java.util.Collection<MmuCondition> conditions,
java.util.Collection<IntegerConstraint<IntegerField>> constraints,
IntegerVariableInitializer initializer) |
static boolean |
isDisabledTransition(MmuTransition transition) |
static boolean |
isFeasibleAccess(Access access) |
static boolean |
isFeasibleEntry(AccessPath.Entry entry,
MemoryAccessType type,
AccessConstraints constraints,
SymbolicResult partialResult) |
static boolean |
isFeasibleStructure(java.util.List<Access> 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 SymbolicExecutor |
newSymbolicExecutor(RegionSettings region) |
static SymbolicExecutor |
newSymbolicExecutor(RegionSettings region,
SymbolicResult result) |
static SymbolicRestrictor |
newSymbolicRestrictor(RegionSettings region) |
static SymbolicResult |
newSymbolicResult() |