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,
AddressAllocator addressAllocator,
EntryIdAllocator entryIdAllocator,
java.util.Map<MmuAddressInstance,Predicate<java.lang.Long>> hitCheckers,
MemoryAccessPathChooser normalPathChooser,
long pageMask,
DataType alignType,
GeneratorSettings settings) |
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, AddressAllocator addressAllocator, EntryIdAllocator entryIdAllocator, java.util.Map<MmuAddressInstance,Predicate<java.lang.Long>> hitCheckers, MemoryAccessPathChooser normalPathChooser, long pageMask, DataType alignType, GeneratorSettings settings)
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.