choco.cp.common.util.preprocessor.detector
Class AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector

java.lang.Object
  extended by choco.cp.common.util.preprocessor.AbstractDetector
      extended by choco.cp.common.util.preprocessor.AbstractAdvancedDetector
          extended by choco.cp.common.util.preprocessor.detector.AbstractIntegerVariableEqualitiesDetector
              extended by choco.cp.common.util.preprocessor.detector.AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
Enclosing class:
AbstractIntegerVariableEqualitiesDetector

public static final class AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
extends AbstractIntegerVariableEqualitiesDetector


Nested Class Summary
 
Nested classes/interfaces inherited from class choco.cp.common.util.preprocessor.detector.AbstractIntegerVariableEqualitiesDetector
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesModelDetector, AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
 
Field Summary
 
Fields inherited from class choco.cp.common.util.preprocessor.AbstractAdvancedDetector
constraintsToAdd, constraintsToDelete, variablesToAdd, variablesToDelete, variablesToReplace
 
Fields inherited from class choco.cp.common.util.preprocessor.AbstractDetector
LOGGER, model
 
Constructor Summary
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector(CPModel model, PreProcessCPSolver solver)
           
 
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.detector.AbstractIntegerVariableEqualitiesDetector
apply
 
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 choco.cp.common.util.preprocessor.AbstractDetector
applyThenCommit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector

public AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector(CPModel model,
                                                                                         PreProcessCPSolver solver)
Method Detail

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 variables
nbIntVars - number of integer variable within the model
color - array of indice of unique variables
domainByColor - domain of unique variables


Copyright © 2012. All Rights Reserved.