public interface BackjumpListener extends SolverComponent
|Modifier and Type||Method and Description|
Called when the solver backtracks.
called when the solver restarts.
void onBackjump(int oldLevel, int newLevel)
components that want to be warned about backjumps should put themselves in Core.backjumpModules.
oldLevel- the level at which the solver was before backtracking
newLevel- the level to which the solver backtracks
void onRestart(int oldLevel)
components that want to be warned about restarts should put themselves in Core.restartModules.
oldLevel- the level at which the solver was before restarting
Copyright © 2022. All rights reserved.