choco.cp.solver.search
Class SearchLoopWithRecomputation
java.lang.Object
choco.kernel.solver.search.AbstractSearchLoop
choco.cp.solver.search.AbstractSearchLoopWithRestart
choco.cp.solver.search.SearchLoopWithRecomputation
- All Implemented Interfaces:
- ISearchLoop
public class SearchLoopWithRecomputation
- extends AbstractSearchLoopWithRestart
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
gap
public final int gap
SearchLoopWithRecomputation
public SearchLoopWithRecomputation(AbstractGlobalSearchStrategy searchStrategy,
IKickRestart kickRestart,
int gap)
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.