Uses of Class
choco.cp.solver.preprocessor.PreProcessCPSolver

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
 



Copyright © 2012. All Rights Reserved.