- SATSolver - Class in edu.kit.iti.formal.lights.sat
-
The class SATSolver provides an interface to a satisfiability solver.
- SATSolver() - Constructor for class edu.kit.iti.formal.lights.sat.SATSolver
-
- setBlock(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
set a field on the board to an unconstrained block.
- setBlockConstraint(int, int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
set a field on the board to a constrained block.
- setEmpty(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
set a field on the board to "Empty".
- setLight(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
set a field on the board to "Light".
- showWindow() - Method in class edu.kit.iti.formal.lights.Lights
-
open a modal dialog window that displays the current field.
- solve(String) - Method in interface edu.kit.iti.formal.lights.LightUpSolver
-
This method computes the solution for a lightUp puzzle.
- solve() - Method in class edu.kit.iti.formal.lights.sat.SATSolver
-
Invoke the SAT solver and return a satisfying variable assignment if one
has been found.