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

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.IntegerVariableEqualitiesModelDetector
Enclosing class:
AbstractIntegerVariableEqualitiesDetector

public static final class AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesModelDetector
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.IntegerVariableEqualitiesModelDetector(CPModel model)
           
 
Method Summary
protected  void action(Constraint c)
          Store deletion instruction of c
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.IntegerVariableEqualitiesModelDetector

public AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesModelDetector(CPModel model)
Method Detail

action

protected void action(Constraint c)
Store deletion instruction of c

Specified by:
action in class AbstractIntegerVariableEqualitiesDetector
Parameters:
c - constraint to delete

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.