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)
|