choco.cp.solver.preprocessor
Class SolverDetectorFactory
java.lang.Object
choco.cp.common.util.preprocessor.DetectorFactory
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SolverDetectorFactory
public SolverDetectorFactory()
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
- modelppsolver
- instance of PreProcessCPSolver
- Returns:
- new instance of
AbstractTaskVariableEqualitiesDetector
disjunctionDetector
public static AbstractAdvancedDetector disjunctionDetector(CPModel m,
PreProcessCPSolver ppsolver)
- Detect disjunctions.
- Parameters:
m
- model to analyzeppsolver
- solver scope
- Returns:
- new instance of
DisjunctionsSolverDetector
expressionDetector
public static AbstractAdvancedDetector expressionDetector(CPModel m,
PreProcessCPSolver ppsolver)
- Detect expressions.
- Parameters:
m
- model to analyzeppsolver
- solver scope
- Returns:
- new instance of
ExpressionSolverDetector
Copyright © 2012. All Rights Reserved.