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

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
Direct Known Subclasses:
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector, AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector

public abstract class AbstractTaskVariableEqualitiesDetector
extends AbstractAdvancedDetector

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 1 avr. 2010br/> Since : Choco 2.1.1

A class detector to detect equalities between TaskVariable within a model.


Nested Class Summary
static class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector
          An instance of AbstractTaskVariableEqualitiesDetector that only modify the model.
static class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
          An instance of AbstractTaskVariableEqualitiesDetector that modify the model AND the solver, but doesn't ensure variables/constraints matching between each other.
 
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(CPModel model)
           
 
Method Summary
 void apply()
          Apply the detection defined within the detector.
protected abstract  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.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

public AbstractTaskVariableEqualitiesDetector(CPModel model)
Method Detail

apply

public void apply()
Apply the detection defined within the detector.

Specified by:
apply in class AbstractAdvancedDetector

apply

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

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.