public class NogoodFromSolutions extends Object implements IMonitorSolution
This can be used to remove similar/symmetric solutions
Modifier and Type | Field and Description |
---|---|
protected IntVar[] |
decisionVars |
protected gnu.trove.list.TIntList |
ps |
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
This can be used to remove similar/symmetric solutions
|
protected final IntVar[] decisionVars
protected final gnu.trove.list.TIntList ps
public NogoodFromSolutions(IntVar[] vars)
This can be used to remove similar/symmetric solutions
vars
- all decision variables which define a solution (can be a subset of variables)public void onSolution()
onSolution
in interface IMonitorSolution
Copyright © 2015. All rights reserved.