public class NogoodFromRestarts extends Object implements IMonitorRestart
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)
Constructor and Description |
---|
NogoodFromRestarts(Model model)
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|
Modifier and Type | Method and Description |
---|---|
void |
beforeRestart()
Actions to execute before restarting the search
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
afterRestart
public NogoodFromRestarts(Model model)
model
- solver to observepublic void beforeRestart()
IMonitorRestart
beforeRestart
in interface IMonitorRestart
Copyright © 2018. All rights reserved.