choco.cp.solver.search
Class NogoodRecorder
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGGER
protected static final Logger LOGGER
scheduler
protected final CPSolver scheduler
NogoodRecorder
public NogoodRecorder(CPSolver scheduler)
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.