choco.cp.solver.search.restart
Class NogoodKickRestart
java.lang.Object
choco.cp.solver.search.restart.AbstractKickRestart
choco.cp.solver.search.restart.NogoodKickRestart
- All Implemented Interfaces:
- IKickRestart
public class NogoodKickRestart
- extends AbstractKickRestart
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
recorder
protected final NogoodRecorder recorder
NogoodKickRestart
public NogoodKickRestart(AbstractGlobalSearchStrategy searchStrategy)
restoreRootNode
public void restoreRootNode(IntBranchingTrace ctx)
- record nogood from each restart.
- Parameters:
ctx
- the last decision as we restart only when opening node.
Copyright © 2012. All Rights Reserved.