Class NogoodFromRestarts
- java.lang.Object
-
- org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts
-
- All Implemented Interfaces:
IMonitorRestart
,ISearchMonitor
public class NogoodFromRestarts extends Object implements IMonitorRestart
A constraint for the specific Nogood store designed to store ONLY positive decisions.Related to "Nogood Recording from Restarts", C. Lecoutre et al.
Beware : - Must be plugged as a monitor - Only works for integer variables - Only works if branching decisions are assignments (no domain split nor value removal)- Since:
- 20/06/13
- Author:
- Charles Prud'homme
-
-
Constructor Summary
Constructors Constructor Description NogoodFromRestarts(Model model)
A constraint for the specific Nogood store designed to store ONLY positive decisions.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
beforeRestart()
Actions to execute before restarting the search-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.chocosolver.solver.search.loop.monitors.IMonitorRestart
afterRestart
-
-
-
-
Constructor Detail
-
NogoodFromRestarts
public NogoodFromRestarts(Model model)
A constraint for the specific Nogood store designed to store ONLY positive decisions. Beware : - Must be posted as a constraint AND plugged as a monitor as well - Cannot be reified - Only works for integer variables - Only works if branching decisions are assignments (neither domain split nor value removal)- Parameters:
model
- solver to observe
-
-
Method Detail
-
beforeRestart
public void beforeRestart()
Description copied from interface:IMonitorRestart
Actions to execute before restarting the search- Specified by:
beforeRestart
in interfaceIMonitorRestart
-
-