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

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.TaskVariableEqualitiesSolverDetector
Enclosing class:
AbstractTaskVariableEqualitiesDetector

public static final class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
extends AbstractTaskVariableEqualitiesDetector

An instance of AbstractTaskVariableEqualitiesDetector that modify the model AND the solver, but doesn't ensure variables/constraints matching between each other.


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.TaskVariableEqualitiesSolverDetector(CPModel model, PreProcessCPSolver solver)
           
 
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.TaskVariableEqualitiesSolverDetector

public AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector(CPModel model,
                                                                                   PreProcessCPSolver solver)
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.