Binoxxo.BinoxxoSolver (JavaSMT Solver Library)

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

All Methods Instance Methods Concrete Methods
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 Detail
  - 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