choco.cp.solver.search
Class SearchLoopWithRecomputation

java.lang.Object
  extended by choco.kernel.solver.search.AbstractSearchLoop
      extended by choco.cp.solver.search.AbstractSearchLoopWithRestart
          extended by choco.cp.solver.search.SearchLoopWithRecomputation
All Implemented Interfaces:
ISearchLoop

public class SearchLoopWithRecomputation
extends AbstractSearchLoopWithRestart


Field Summary
 int gap
           
 
Fields inherited from class choco.cp.solver.search.AbstractSearchLoopWithRestart
br, branchingObj, ctx, currentBranching, kickRestart, moveAfterSolution, previousNbSolutions
 
Fields inherited from class choco.kernel.solver.search.AbstractSearchLoop
searchStrategy, stop
 
Fields inherited from interface choco.kernel.solver.search.ISearchLoop
LOGGER
 
Constructor Summary
SearchLoopWithRecomputation(AbstractGlobalSearchStrategy searchStrategy, IKickRestart kickRestart, int gap)
           
 
Method Summary
 int getGap()
           
protected  void goUpBranch()
          post the dynamic cut, backtrack and propagate.
 void initialize()
           
 void restart()
          perform the restart.
protected  void worldPop()
           
protected  void worldPush()
           
 
Methods inherited from class choco.cp.solver.search.AbstractSearchLoopWithRestart
downBranch, endLoop, getCurrentTrace, getKickRestart, initLoop, initSearch, openNode, setKickRestart, setRestartAfterEachSolution, upBranch
 
Methods inherited from class choco.kernel.solver.search.AbstractSearchLoop
getBacktrackCount, getDepthCount, getNodeCount, getRestartCount, getSearchStrategy, isStopped, run
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

gap

public final int gap
Constructor Detail

SearchLoopWithRecomputation

public SearchLoopWithRecomputation(AbstractGlobalSearchStrategy searchStrategy,
                                   IKickRestart kickRestart,
                                   int gap)
Method Detail

getGap

public final int getGap()

initialize

public void initialize()
Specified by:
initialize in interface ISearchLoop
Overrides:
initialize in class AbstractSearchLoopWithRestart

restart

public void restart()
perform the restart.

Overrides:
restart in class AbstractSearchLoopWithRestart

worldPop

protected void worldPop()
Specified by:
worldPop in class AbstractSearchLoopWithRestart

goUpBranch

protected void goUpBranch()
                   throws ContradictionException
Description copied from class: AbstractSearchLoopWithRestart
post the dynamic cut, backtrack and propagate.

Overrides:
goUpBranch in class AbstractSearchLoopWithRestart
Throws:
ContradictionException - can be thrown

worldPush

protected void worldPush()
Specified by:
worldPush in class AbstractSearchLoopWithRestart


Copyright © 2012. All Rights Reserved.