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