choco.cp.solver.search.restart
Class NogoodKickRestart

java.lang.Object
  extended by choco.cp.solver.search.restart.AbstractKickRestart
      extended by choco.cp.solver.search.restart.NogoodKickRestart
All Implemented Interfaces:
IKickRestart

public class NogoodKickRestart
extends AbstractKickRestart


Field Summary
protected  NogoodRecorder recorder
           
 
Fields inherited from class choco.cp.solver.search.restart.AbstractKickRestart
searchStrategy
 
Constructor Summary
NogoodKickRestart(AbstractGlobalSearchStrategy searchStrategy)
           
 
Method Summary
 void restoreRootNode(IntBranchingTrace ctx)
          record nogood from each restart.
 
Methods inherited from class choco.cp.solver.search.restart.AbstractKickRestart
getSearchStrategy
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

recorder

protected final NogoodRecorder recorder
Constructor Detail

NogoodKickRestart

public NogoodKickRestart(AbstractGlobalSearchStrategy searchStrategy)
Method Detail

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.