Interface BackjumpListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
ActivityModule
,DebugModule
,HeuristicForgetModule
,HeuristicRestartModule
,SatChangesListener
,StatModule
,WrapperDebugModule
interface for components that listen for backjumps, or restarts
- Version:
- 4.10
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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 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
-