choco.cp.common.util.preprocessor.detector
Class AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.AbstractTaskVariableEqualitiesDetector
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.
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.AbstractAdvancedDetector |
add, add, commit, delete, delete, forget, forget, keep, keep, replaceBy, rollback |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
public AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector(CPModel model,
PreProcessCPSolver solver)
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 taskVariablesnbStoredMultipleVars
- number of TaskVariables in the modelcolor
- indices of unique TaskVariablesdomainByColor
- domain of unique TaskVariables
Copyright © 2012. All Rights Reserved.