choco.cp.common.util.preprocessor.detector
Class DisjunctionsSolverDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
choco.cp.common.util.preprocessor.detector.DisjunctionsSolverDetector
public class DisjunctionsSolverDetector
- extends AbstractGraphBasedDetector
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 2 avr. 2010br/>
Since : Choco 2.1.1
A class dedicated to detect clique of disjonctions
and state the corresponding global constraints
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 |
DisjunctionsSolverDetector
public DisjunctionsSolverDetector(CPModel model,
PreProcessCPSolver solver)
apply
public void apply()
- Apply the detection defined within the detector.
- Specified by:
apply
in class AbstractAdvancedDetector
addAllDisjunctiveEdges
public int[] addAllDisjunctiveEdges(PreProcessCPSolver ppcs)
- Build the constraint graph of disjonctions and compute
the duration of each task
- Parameters:
ppcs
- PreProcessCPSolver
- Returns:
- int[]
Copyright © 2012. All Rights Reserved.