public final class MemorySolver extends java.lang.Object implements Solver<java.util.List<AddressObject>>
MemorySolver
implements a solver of memory-related constraints (hit, miss, etc.)
specified in a memory access structure.
The input is a memory access structure; the output is a solution.
Solver.Mode
Constructor and Description |
---|
MemorySolver(java.util.List<MemoryAccess> structure) |
Modifier and Type | Method and Description |
---|---|
SolverResult<java.util.List<AddressObject>> |
solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).
|
public MemorySolver(java.util.List<MemoryAccess> structure)
public SolverResult<java.util.List<AddressObject>> solve(Solver.Mode mode)
Solver
solve
in interface Solver<java.util.List<AddressObject>>
mode
- the solver mode.SAT
if the equation clause is satisfiable; UNSAT
otherwise.