Interface BackjumpListener

All Superinterfaces:
SolverComponent
All Known Implementing Classes:
ActivityModule, DebugModule, HeuristicForgetModule, HeuristicRestartModule, SatChangesListener, StatModule, WrapperDebugModule

public interface BackjumpListener extends SolverComponent
interface for components that listen for backjumps, or restarts
Version:
4.9
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    onBackjump(int oldLevel, int newLevel)
    Called when the solver backtracks.
    void
    onRestart(int oldLevel)
    called when the solver restarts.

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

    initialize
  • Method Details

    • onBackjump

      void onBackjump(int oldLevel, int newLevel)
      Called when the solver backtracks. It will also be called when the solver restarts.

      components that want to be warned about backjumps should put themselves in Core.backjumpModules.

      Parameters:
      oldLevel - the level at which the solver was before backtracking
      newLevel - the level to which the solver backtracks
    • onRestart

      void onRestart(int oldLevel)
      called when the solver restarts.

      components that want to be warned about restarts should put themselves in Core.restartModules.

      Parameters:
      oldLevel - the level at which the solver was before restarting