org.chocosolver.solver.search.loop.monitors

Class NogoodFromRestarts

java.lang.Object

org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts

All Implemented Interfaces:

Serializable, 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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NogoodFromRestarts(Solver solver) A constraint for the specific Nogood store designed to store ONLY positive decisions.

Method Summary

Methods

Modifier and Type	Method and Description
void	afterRestart()
void	beforeRestart()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NogoodFromRestarts

public NogoodFromRestarts(Solver solver)

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:

solver - solver to observe

Method Detail

beforeRestart

public void beforeRestart()

Specified by:

beforeRestart in interface IMonitorRestart

afterRestart

public void afterRestart()

Specified by:

afterRestart in interface IMonitorRestart