choco.cp.common.util.preprocessor.detector.scheduling
Class DisjointFromCumulModelDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.scheduling.AbstractRscDetector
choco.cp.common.util.preprocessor.detector.scheduling.DisjointFromUnaryModelDetector
choco.cp.common.util.preprocessor.detector.scheduling.DisjointFromCumulModelDetector
public final class DisjointFromCumulModelDetector
- extends DisjointFromUnaryModelDetector
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
disjMod
public final DisjunctiveModel disjMod
DisjointFromCumulModelDetector
public DisjointFromCumulModelDetector(CPModel model,
DisjunctiveModel disjMod)
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.