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|
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|Modifier and Type||Method and Description|
Actions to execute before restarting the search
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public NogoodFromRestarts(Model model)
model- solver to observe
Copyright © 2019. All rights reserved.