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.8

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method 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.