choco.cp.solver.preprocessor
Class SolverDetectorFactory

java.lang.Object
  extended by choco.cp.common.util.preprocessor.DetectorFactory
      extended by choco.cp.solver.preprocessor.SolverDetectorFactory

public class SolverDetectorFactory
extends DetectorFactory

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 2 avr. 2010br/> Since : Choco 2.1.1


Field Summary
 
Fields inherited from class choco.cp.common.util.preprocessor.DetectorFactory
LOGGER
 
Constructor Summary
SolverDetectorFactory()
           
 
Method Summary
static AbstractAdvancedDetector disjunctionDetector(CPModel m, PreProcessCPSolver ppsolver)
          Detect disjunctions.
static AbstractAdvancedDetector expressionDetector(CPModel m, PreProcessCPSolver ppsolver)
          Detect expressions.
static AbstractAdvancedDetector intVarEqDet(CPModel m, PreProcessCPSolver ppsolver)
          Detect equalities between IntegerVariable within a model
static AbstractAdvancedDetector taskVarEqDet(CPModel m, PreProcessCPSolver ppsolver)
          Detect equalities between TaskVariable within a model
 
Methods inherited from class choco.cp.common.util.preprocessor.DetectorFactory
associateIndexes, associateIndexes, maxHookOnMultipleVariables, resetIndexes
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SolverDetectorFactory

public SolverDetectorFactory()
Method Detail

intVarEqDet

public static AbstractAdvancedDetector intVarEqDet(CPModel m,
                                                   PreProcessCPSolver ppsolver)
Detect equalities between IntegerVariable within a model

Parameters:
m - model
Returns:
new instance of AbstractIntegerVariableEqualitiesDetector

taskVarEqDet

public static AbstractAdvancedDetector taskVarEqDet(CPModel m,
                                                    PreProcessCPSolver ppsolver)
Detect equalities between TaskVariable within a model

Parameters:
m - model
ppsolver - instance of PreProcessCPSolver
Returns:
new instance of AbstractTaskVariableEqualitiesDetector

disjunctionDetector

public static AbstractAdvancedDetector disjunctionDetector(CPModel m,
                                                           PreProcessCPSolver ppsolver)
Detect disjunctions.

Parameters:
m - model to analyze
ppsolver - solver scope
Returns:
new instance of DisjunctionsSolverDetector

expressionDetector

public static AbstractAdvancedDetector expressionDetector(CPModel m,
                                                          PreProcessCPSolver ppsolver)
Detect expressions.

Parameters:
m - model to analyze
ppsolver - solver scope
Returns:
new instance of ExpressionSolverDetector


Copyright © 2012. All Rights Reserved.