org.jacop.jasat.modules.interfaces

Interface SolutionListener

All Superinterfaces:

SolverComponent

All Known Implementing Classes:

DebugModule, SatWrapper, SearchModule, WrapperDebugModule

public interface SolutionListener
extends SolverComponent

module called when solution is found.

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and Description
void	onSolution(boolean satisfiable) a handler called when a solution is found.

Methods inherited from interface org.jacop.jasat.core.SolverComponent

initialize

Method Detail

onSolution

void onSolution(boolean satisfiable)

a handler called when a solution is found.

Parameters:

satisfiable - true when the solution is Satisfiable, false if it is Unsatisfiable.