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

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.AbstractRscDetector
              extended by choco.cp.common.util.preprocessor.detector.scheduling.DisjointFromUnaryModelDetector
                  extended by choco.cp.common.util.preprocessor.detector.scheduling.DisjointFromCumulModelDetector

public final class DisjointFromCumulModelDetector
extends DisjointFromUnaryModelDetector


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
DisjointFromCumulModelDetector(CPModel model, DisjunctiveModel disjMod)
           
 
Method Summary
 void apply()
          Apply the detection defined within the detector.
 DisjunctiveModel getDisjunctiveModel()
           
protected  ConstraintType getType()
           
protected  boolean isDisjoint(choco.cp.common.util.preprocessor.detector.scheduling.PPResource rsc, int i, int j)
           
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.scheduling.DisjointFromUnaryModelDetector
apply
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.scheduling.AbstractRscDetector
apply, isInPreprocess, 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

DisjointFromCumulModelDetector

public DisjointFromCumulModelDetector(CPModel model,
                                      DisjunctiveModel disjMod)
Method Detail

getType

protected ConstraintType getType()
Overrides:
getType in class DisjointFromUnaryModelDetector

isDisjoint

protected boolean isDisjoint(choco.cp.common.util.preprocessor.detector.scheduling.PPResource rsc,
                             int i,
                             int j)
Overrides:
isDisjoint in class DisjointFromUnaryModelDetector

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.