choco.cp.common.util.preprocessor.detector
Class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector

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.AbstractTaskVariableEqualitiesDetector
              extended by choco.cp.common.util.preprocessor.detector.AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector
Enclosing class:
AbstractTaskVariableEqualitiesDetector

public static final class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector
extends AbstractTaskVariableEqualitiesDetector

An instance of AbstractTaskVariableEqualitiesDetector that only modify the model.


Nested Class Summary
 
Nested classes/interfaces inherited from class choco.cp.common.util.preprocessor.detector.AbstractTaskVariableEqualitiesDetector
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector, AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
 
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
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector(CPModel model)
           
 
Method Summary
protected  void apply(int k, int nbStoredMultipleVars, int[] color, gnu.trove.TIntObjectHashMap<TaskVariableMerger> domainByColor)
          Apply modification detected previously
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.AbstractTaskVariableEqualitiesDetector
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

AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector

public AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector(CPModel model)
Method Detail

apply

protected void apply(int k,
                     int nbStoredMultipleVars,
                     int[] color,
                     gnu.trove.TIntObjectHashMap<TaskVariableMerger> domainByColor)
Apply modification detected previously

Specified by:
apply in class AbstractTaskVariableEqualitiesDetector
Parameters:
k - number of unique taskVariables
nbStoredMultipleVars - number of TaskVariables in the model
color - indices of unique TaskVariables
domainByColor - domain of unique TaskVariables


Copyright © 2012. All Rights Reserved.