choco.cp.common.util.preprocessor.detector
Class AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.AbstractIntegerVariableEqualitiesDetector
choco.cp.common.util.preprocessor.detector.AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
- Enclosing class:
- AbstractIntegerVariableEqualitiesDetector
public static final class AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
- extends AbstractIntegerVariableEqualitiesDetector
Method Summary |
protected void |
action(Constraint c)
Delete link between Model object and Solver object. |
protected void |
apply(int k,
int nbIntVars,
int[] color,
gnu.trove.TIntObjectHashMap<IntegerVariableMerger> domainByColor)
Merge equal IntegerVariable into a unique one. |
Methods inherited from class choco.cp.common.util.preprocessor.AbstractAdvancedDetector |
add, add, commit, delete, delete, forget, forget, keep, keep, replaceBy, rollback |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
public AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector(CPModel model,
PreProcessCPSolver solver)
action
protected void action(Constraint c)
- Delete link between Model object and Solver object.
- Specified by:
action
in class AbstractIntegerVariableEqualitiesDetector
- Parameters:
c
- constraint to break
apply
protected void apply(int k,
int nbIntVars,
int[] color,
gnu.trove.TIntObjectHashMap<IntegerVariableMerger> domainByColor)
- Merge equal IntegerVariable into a unique one.
- Specified by:
apply
in class AbstractIntegerVariableEqualitiesDetector
- Parameters:
k
- number of unique variablesnbIntVars
- number of integer variable within the modelcolor
- array of indice of unique variablesdomainByColor
- domain of unique variables
Copyright © 2012. All Rights Reserved.