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,
MemoryEngineContext context,
AddressAllocator addressAllocator,
EntryIdAllocator entryIdAllocator,
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, MemoryEngineContext context, AddressAllocator addressAllocator, EntryIdAllocator entryIdAllocator, long pageMask, DataType alignType, GeneratorSettings settings)
public SolverResult<MemorySolution> solve(Solver.Mode mode)
Solversolve in interface Solver<MemorySolution>mode - the solver mode.SAT if the equation clause is satisfiable; UNSAT otherwise.