org.jacop.jasat.modules.interfaces

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

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and 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 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