Package org.sosy_lab.java_smt.example

Class Sudoku.SudokuSolver<S>

java.lang.Object

org.sosy_lab.java_smt.example.Sudoku.SudokuSolver<S>

Direct Known Subclasses:

Sudoku.BooleanBasedSudokuSolver, Sudoku.EnumerationBasedSudokuSolver, Sudoku.IntegerBasedSudokuSolver

Enclosing class:

Sudoku

public abstract static class Sudoku.SudokuSolver<S>
extends Object

Method Summary

Modifier and Type	Method	Description
@Nullable Integer[][]	solve(Integer[][] grid)	Solves a sudoku using the given grid values and returns a possible solution.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

solve

public @Nullable Integer[][] solve(Integer[][] grid)
                            throws InterruptedException,
SolverException

Solves a sudoku using the given grid values and returns a possible solution. Return Null if Sudoku cannot be solved.

Throws:

InterruptedException

SolverException