Package ru.ispras.microtesk.basis.solver
Interface Solver<T>
-
- All Known Implementing Classes:
BitVectorFormulaSolverSat4j
public interface Solver<T>
Solver
defines an interface of solvers.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
Solver.Mode
Solver.Mode
represents a solver mode.
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description SolverResult<T>
solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).
-
-
-
Method Detail
-
solve
SolverResult<T> solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).- Parameters:
mode
- the solver mode.- Returns:
SAT
if the equation clause is satisfiable;UNSAT
otherwise.
-
-