Interface BackjumpListener

    • 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