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.
public NogoodFromRestarts(Solver solver)
solver- solver to observe
Copyright © 2015. All rights reserved.