Interface ExplanationListener

All Superinterfaces:
SolverComponent
All Known Implementing Classes:
DebugModule, HeuristicForgetModule, SatWrapper, SearchModule, WrapperDebugModule

public interface ExplanationListener extends SolverComponent
module used when an explanation is found
Version:
4.10
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    onExplain(MapClause explanation)
    called when the conflict clause is explained

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

    initialize
  • Method Details

    • onExplain

      void onExplain(MapClause explanation)
      called when the conflict clause is explained
      Parameters:
      explanation - the explanation clause