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

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
Direct Known Subclasses:
DisjointFromCumulModelDetector

public class DisjointFromUnaryModelDetector
extends AbstractRscDetector


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
DisjointFromUnaryModelDetector(CPModel model, DisjunctiveModel disjMod)
           
 
Method Summary
 void apply()
          Apply the detection defined within the detector.
protected  void apply(choco.cp.common.util.preprocessor.detector.scheduling.PPResource rsc)
           
 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.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

DisjointFromUnaryModelDetector

public DisjointFromUnaryModelDetector(CPModel model,
                                      DisjunctiveModel disjMod)
Method Detail

getType

protected ConstraintType getType()

isDisjoint

protected boolean isDisjoint(choco.cp.common.util.preprocessor.detector.scheduling.PPResource rsc,
                             int i,
                             int j)

apply

protected final void apply(choco.cp.common.util.preprocessor.detector.scheduling.PPResource rsc)
Specified by:
apply in class AbstractRscDetector

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.