Package org.sosy_lab.java_smt.example

Class Binoxxo.BinoxxoSolver<S>

java.lang.Object

org.sosy_lab.java_smt.example.Binoxxo.BinoxxoSolver<S>

Direct Known Subclasses:

Binoxxo.BooleanBasedBinoxxoSolver, Binoxxo.IntegerBasedBinoxxoSolver

Enclosing class:

Binoxxo

public abstract static class Binoxxo.BinoxxoSolver<S>
extends Object

Method Summary

Modifier and Type	Method	Description
char[][]	solve(char[][] grid)	Solves a Binoxxo 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 char[][] solve(char[][] grid)
               throws InterruptedException,
SolverException

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

Throws:

InterruptedException

SolverException