Uses of Class
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveModel

Packages that use DisjunctiveModel
choco.cp.common.util.preprocessor.detector.scheduling   
choco.cp.model.preprocessor   
choco.cp.solver.preprocessor   
 

Uses of DisjunctiveModel in choco.cp.common.util.preprocessor.detector.scheduling
 

Fields in choco.cp.common.util.preprocessor.detector.scheduling declared as DisjunctiveModel
 DisjunctiveModel PrecFromTimeWindowModelDetector.disjMod
           
 

Constructors in choco.cp.common.util.preprocessor.detector.scheduling with parameters of type DisjunctiveModel
AbstractRscDetector(CPModel model, DisjunctiveModel disjMod)
           
AbstractTemporalDetector(CPModel model, DisjunctiveModel disjMod)
           
ClauseFromDisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjointFromCumulModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjointFromUnaryModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjunctiveSModel(Solver solver, DisjunctiveModel dmod)
           
PrecFromDisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromImpliedModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromReifiedModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromTimeWindowModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecReductionModelDetector(CPModel model, DisjunctiveModel disjMod)
           
 

Uses of DisjunctiveModel in choco.cp.model.preprocessor
 

Methods in choco.cp.model.preprocessor with parameters of type DisjunctiveModel
static AbstractDetector[] ModelDetectorFactory.allSchedulingModelDetectors(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.clauseFromDisjointDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.disjointDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.disjointFromCumulDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.disjointFromUnaryDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector[] ModelDetectorFactory.disjunctiveModelDetectors(CPModel m, DisjunctiveModel disjMod, boolean generateClauses)
           
static AbstractDetector ModelDetectorFactory.precFromDisjointDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.precFromImpliedDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.precFromReifiedDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.precFromTimeWindowDetector(CPModel m, DisjunctiveModel disjMod)
           
static AbstractDetector ModelDetectorFactory.precReductionDetector(CPModel m, DisjunctiveModel disjMod)
           
 

Uses of DisjunctiveModel in choco.cp.solver.preprocessor
 

Methods in choco.cp.solver.preprocessor that return DisjunctiveModel
 DisjunctiveModel PreProcessCPSolver.getDisjModel()
           
 



Copyright © 2012. All Rights Reserved.