choco.cp.common.util.preprocessor.detector.scheduling
Class PrecReductionModelDetector

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.scheduling.PrecReductionModelDetector

public class PrecReductionModelDetector
extends AbstractAdvancedDetector


Field Summary
 DisjunctiveModel disjMod
           
 
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
PrecReductionModelDetector(CPModel model, DisjunctiveModel disjMod)
           
 
Method Summary
 void apply()
          Apply the detection defined within the detector.
 DisjunctiveModel getDisjunctiveModel()
           
protected  boolean isInPreprocess(Constraint c)
           
 
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
 

Field Detail

disjMod

public final DisjunctiveModel disjMod
Constructor Detail

PrecReductionModelDetector

public PrecReductionModelDetector(CPModel model,
                                  DisjunctiveModel disjMod)
Method Detail

apply

public void apply()
Description copied from class: AbstractAdvancedDetector
Apply the detection defined within the detector.

Specified by:
apply in class AbstractAdvancedDetector

getDisjunctiveModel

public final DisjunctiveModel getDisjunctiveModel()

isInPreprocess

protected boolean isInPreprocess(Constraint c)


Copyright © 2012. All Rights Reserved.