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

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.PrecFromReifiedModelDetector

public final class PrecFromReifiedModelDetector
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
PrecFromReifiedModelDetector(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

PrecFromReifiedModelDetector

public PrecFromReifiedModelDetector(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.