edu.kit.iti.formal.lights

Interface LightUpSolver

public interface LightUpSolver

An spotlight solver is an object that allows you to solve spotlight puzzles. It has one central method which takes a board description and returns a solution for this board.

Version:

2015.1

Author:

Mattias Ulbrich

Method Summary

Modifier and Type	Method and Description
String	solve(String desc) This method computes the solution for a lightUp puzzle.

Method Detail

solve

String solve(String desc)
      throws LightsFormatException,
             org.sat4j.specs.TimeoutException

This method computes the solution for a lightUp puzzle.

The implementation must take a non-null String describing a board. The board description is in the format accepted by Lights.Lights(String).

It must also return a String which is in the format returned by Lights.toString(). and return a String. May return null to indicate that no solution is available.

If no solution can be found, null can be returned.

Parameters:

desc - the board description, not null

Returns:

a board description or null

Throws:

LightsFormatException - if desc is not correctly formatted.

org.sat4j.specs.TimeoutException - if the sat solver times out.