|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PreProcessCPSolver | |
---|---|
choco.cp.common.util.preprocessor.detector | |
choco.cp.common.util.preprocessor.detector.scheduling | |
choco.cp.solver.preprocessor | |
parser.chocogen |
Uses of PreProcessCPSolver in choco.cp.common.util.preprocessor.detector |
---|
Methods in choco.cp.common.util.preprocessor.detector with parameters of type PreProcessCPSolver | |
---|---|
int[] |
DisjunctionsSolverDetector.addAllDisjunctiveEdges(PreProcessCPSolver ppcs)
Build the constraint graph of disjonctions and compute the duration of each task |
Constructors in choco.cp.common.util.preprocessor.detector with parameters of type PreProcessCPSolver | |
---|---|
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector(CPModel model,
PreProcessCPSolver solver)
|
|
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector(CPModel model,
PreProcessCPSolver solver)
|
|
DisjunctionsSolverDetector(CPModel model,
PreProcessCPSolver solver)
|
|
ExpressionSolverDetector(CPModel model,
PreProcessCPSolver solver)
|
Uses of PreProcessCPSolver in choco.cp.common.util.preprocessor.detector.scheduling |
---|
Constructors in choco.cp.common.util.preprocessor.detector.scheduling with parameters of type PreProcessCPSolver | |
---|---|
DisjunctiveSModel(PreProcessCPSolver solver)
|
Uses of PreProcessCPSolver in choco.cp.solver.preprocessor |
---|
Methods in choco.cp.solver.preprocessor with parameters of type PreProcessCPSolver | |
---|---|
static AbstractAdvancedDetector |
SolverDetectorFactory.disjunctionDetector(CPModel m,
PreProcessCPSolver ppsolver)
Detect disjunctions. |
static AbstractAdvancedDetector |
SolverDetectorFactory.expressionDetector(CPModel m,
PreProcessCPSolver ppsolver)
Detect expressions. |
static AbstractAdvancedDetector |
SolverDetectorFactory.intVarEqDet(CPModel m,
PreProcessCPSolver ppsolver)
Detect equalities between IntegerVariable within a model |
static AbstractAdvancedDetector |
SolverDetectorFactory.taskVarEqDet(CPModel m,
PreProcessCPSolver ppsolver)
Detect equalities between TaskVariable within a model |
Uses of PreProcessCPSolver in parser.chocogen |
---|
Methods in parser.chocogen that return PreProcessCPSolver | |
---|---|
PreProcessCPSolver |
XmlModel.solve(CPModel model)
Solving process |
Methods in parser.chocogen with parameters of type PreProcessCPSolver | |
---|---|
void |
XmlModel.postAnalyze(File fichier,
InstanceParser parser,
PreProcessCPSolver s)
Output in the standart console a set of statistics on the search |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |