Class 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 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