org.chocosolver.solver.search.loop.monitors

Class NogoodFromSolutions

java.lang.Object

org.chocosolver.solver.search.loop.monitors.NogoodFromSolutions

All Implemented Interfaces:

IMonitorSolution, ISearchMonitor

public class NogoodFromSolutions
extends Object
implements IMonitorSolution

Avoid exploring same solutions (useful with restart on solution) Beware : - Must be plugged as a monitor - Only works for integer variables

This can be used to remove similar/symmetric solutions

Since:

20/06/13

Author:

Jean-Guillaume Fages, Charles Prud'homme

Constructor Summary

Constructors

Constructor and Description
NogoodFromSolutions(IntVar[] vars) Avoid exploring same solutions (useful with restart on solution) Beware : - Must be posted as a constraint AND plugged as a monitor as well - Cannot be reified - Only works for integer variables

Method Summary

Modifier and Type	Method and Description
void	onSolution()

Methods inherited from class java.lang.Object

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

Constructor Detail

NogoodFromSolutions

public NogoodFromSolutions(IntVar[] vars)

Avoid exploring same solutions (useful with restart on solution) Beware : - Must be posted as a constraint AND plugged as a monitor as well - Cannot be reified - Only works for integer variables

This can be used to remove similar/symmetric solutions

Parameters:

vars - all decision variables which define a solution (can be a subset of variables)

Method Detail

onSolution

public void onSolution()

Specified by:

onSolution in interface IMonitorSolution