choco.cp.common.util.preprocessor.detector.scheduling
Class AbstractTemporalDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.scheduling.AbstractTemporalDetector
- Direct Known Subclasses:
- DisjointModelDetector, PrecFromDisjointModelDetector, PrecFromImpliedModelDetector, PrecFromReifiedModelDetector
public abstract class AbstractTemporalDetector
- extends AbstractAdvancedDetector
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
AbstractTemporalDetector
public AbstractTemporalDetector(CPModel model,
DisjunctiveModel disjMod)
isInPreprocess
protected boolean isInPreprocess(Constraint c)
setUp
protected void setUp()
tearDown
protected void tearDown()
apply
protected final void apply(Constraint c)
apply
protected abstract void apply(TemporalConstraint ct)
reformulateImpliedReified
protected final void reformulateImpliedReified(TemporalConstraint ct)
getType
protected abstract ConstraintType getType()
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.