choco.cp.solver.search
Class NogoodRecorder

java.lang.Object
  extended by choco.cp.solver.search.NogoodRecorder

public final class NogoodRecorder
extends Object

analyze the trace of the branching for nogood recording from restarts.
Lecoutre, C.; Sais, L.; Tabary, S. & Vidal,
Nogood Recording from Restarts
IJCAI 2007 Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, 2007, 131-136

Since:
22 mars 2009 version 2.0.3
Version:
2.0.3
Author:
Arnaud Malapert

Field Summary
protected static Logger LOGGER
           
protected  CPSolver scheduler
           
 
Constructor Summary
NogoodRecorder(CPSolver scheduler)
           
 
Method Summary
 void generateNogoods()
           
protected  IntDomainVar getBranchingVar(IntBranchingTrace trace)
           
 void handleTrace(IntBranchingTrace trace)
           
 void reset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER

scheduler

protected final CPSolver scheduler
Constructor Detail

NogoodRecorder

public NogoodRecorder(CPSolver scheduler)
Method Detail

reset

public void reset()

getBranchingVar

protected IntDomainVar getBranchingVar(IntBranchingTrace trace)

handleTrace

public void handleTrace(IntBranchingTrace trace)

generateNogoods

public void generateNogoods()


Copyright © 2012. All Rights Reserved.