public final class MemorySolver extends java.lang.Object implements Solver<MemorySolution>
MemorySolver
implements a solver of memory-related constraints (hit, miss, etc.)
specified in a memory access structure.
The input is a memory access structure (an object of MemoryAccessStructure
);
the output is a solution (an object of MemorySolution
).
Solver.Mode
Constructor and Description |
---|
MemorySolver(MemoryAccessStructure structure,
EntryIdAllocator entryIdAllocator,
java.util.Map<MmuAddressInstance,Predicate<java.math.BigInteger>> hitCheckers,
MemoryAccessPathChooser normalPathChooser,
DataType alignType) |
Modifier and Type | Method and Description |
---|---|
SolverResult<MemorySolution> |
solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).
|
public MemorySolver(MemoryAccessStructure structure, EntryIdAllocator entryIdAllocator, java.util.Map<MmuAddressInstance,Predicate<java.math.BigInteger>> hitCheckers, MemoryAccessPathChooser normalPathChooser, DataType alignType)
public SolverResult<MemorySolution> solve(Solver.Mode mode)
Solver
solve
in interface Solver<MemorySolution>
mode
- the solver mode.SAT
if the equation clause is satisfiable; UNSAT
otherwise.