|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractAdvancedDetector | |
---|---|
choco.cp.common.util.preprocessor.detector | |
choco.cp.common.util.preprocessor.detector.scheduling | |
choco.cp.solver.preprocessor |
Uses of AbstractAdvancedDetector in choco.cp.common.util.preprocessor.detector |
---|
Subclasses of AbstractAdvancedDetector in choco.cp.common.util.preprocessor.detector | |
---|---|
class |
AbstractGraphBasedDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 2 avr. 2010br/> Since : Choco 2.1.1 A class dedicated to detect clique of differences or disjonctions and state the corresponding global constraints |
class |
AbstractIntegerVariableEqualitiesDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 1 avr. 2010br/> Since : Choco 2.1.1 A class detector to detect equalities between IntegerVariable within a model. |
static class |
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesModelDetector
|
static class |
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector
|
class |
AbstractTaskVariableEqualitiesDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 1 avr. 2010br/> Since : Choco 2.1.1 A class detector to detect equalities between TaskVariable within a model. |
static class |
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector
An instance of AbstractTaskVariableEqualitiesDetector that only modify the model. |
static class |
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector
An instance of AbstractTaskVariableEqualitiesDetector that modify the model AND the solver,
but doesn't ensure variables/constraints matching between each other. |
class |
CliquesModelDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 2 avr. 2010br/> Since : Choco 2.1.1 A class dedicated to detect clique of differences and state the corresponding global constraints |
class |
DisjunctionsSolverDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 2 avr. 2010br/> Since : Choco 2.1.1 A class dedicated to detect clique of disjonctions and state the corresponding global constraints |
class |
ExpressionSolverDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 2 avr. 2010br/> Since : Choco 2.1.1 |
Uses of AbstractAdvancedDetector in choco.cp.common.util.preprocessor.detector.scheduling |
---|
Subclasses of AbstractAdvancedDetector in choco.cp.common.util.preprocessor.detector.scheduling | |
---|---|
class |
AbstractRscDetector
|
class |
AbstractTemporalDetector
|
class |
ClauseFromDisjointModelDetector
|
class |
DisjFromCumulModelDetector
|
class |
DisjointFromCumulModelDetector
|
class |
DisjointFromUnaryModelDetector
|
class |
DisjointModelDetector
|
class |
PrecFromDisjointModelDetector
|
class |
PrecFromImpliedModelDetector
|
class |
PrecFromReifiedModelDetector
|
class |
PrecFromTimeWindowModelDetector
|
class |
PrecReductionModelDetector
|
class |
RmUnaryModelDetector
|
Uses of AbstractAdvancedDetector in choco.cp.solver.preprocessor |
---|
Subclasses of AbstractAdvancedDetector in choco.cp.solver.preprocessor | |
---|---|
class |
SymetryBreakingModelDetector
Simple symetry detection. |
static class |
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
Fake Symetry detector, do not do anything |
Methods in choco.cp.solver.preprocessor that return AbstractAdvancedDetector | |
---|---|
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |