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.10
  • Method Summary

    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 Details

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