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.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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 Detail
-
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 backtrackingnewLevel
- 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
-
-