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

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.AbstractTemporalDetector
              extended by choco.cp.common.util.preprocessor.detector.scheduling.PrecFromImpliedModelDetector

public final class PrecFromImpliedModelDetector
extends AbstractTemporalDetector


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
PrecFromImpliedModelDetector(CPModel model, DisjunctiveModel disjMod)
           
 
Method Summary
 void apply()
          Apply the detection defined within the detector.
protected  void apply(TemporalConstraint ct)
           
 DisjunctiveModel getDisjunctiveModel()
           
protected  ConstraintType getType()
           
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.scheduling.AbstractTemporalDetector
apply, isInPreprocess, reformulateImpliedReified, setUp, tearDown
 
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

PrecFromImpliedModelDetector

public PrecFromImpliedModelDetector(CPModel model,
                                    DisjunctiveModel disjMod)
Method Detail

getType

protected ConstraintType getType()

apply

protected void apply(TemporalConstraint ct)
Specified by:
apply in class AbstractTemporalDetector

apply

public final 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()


Copyright © 2012. All Rights Reserved.