|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AbstractDetector in choco.cp.common.util.preprocessor |
---|
Subclasses of AbstractDetector in choco.cp.common.util.preprocessor | |
---|---|
class |
AbstractAdvancedDetector
User : cprudhom Mail : cprudhom(a)emn.fr Date : 1 avr. 2010br/> Since : Choco 2.1.1 An abstract class to set the methods of a detector. |
Uses of AbstractDetector in choco.cp.common.util.preprocessor.detector |
---|
Subclasses of AbstractDetector 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 |
AnalysisModelDetector
|
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 AbstractDetector in choco.cp.common.util.preprocessor.detector.scheduling |
---|
Subclasses of AbstractDetector 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 AbstractDetector in choco.cp.model.preprocessor |
---|
Methods in choco.cp.model.preprocessor that return AbstractDetector | |
---|---|
static AbstractDetector[] |
ModelDetectorFactory.allSchedulingModelDetectors(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.analysis(CPModel m)
Anslyses a model and print messages about general statistics |
static AbstractDetector |
ModelDetectorFactory.clauseFromDisjointDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.cliqueDetector(CPModel m,
boolean breakSymetries)
Detect cliques. |
static AbstractDetector |
ModelDetectorFactory.disjFromCumulDetector(CPModel m)
Detect disjunctive from cumulative (redundant constraint). |
static AbstractDetector |
ModelDetectorFactory.disjointDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.disjointFromCumulDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.disjointFromUnaryDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector[] |
ModelDetectorFactory.disjunctiveModelDetectors(CPModel m,
DisjunctiveModel disjMod,
boolean generateClauses)
|
static AbstractDetector |
ModelDetectorFactory.intVarEqDet(CPModel m)
Detect equalities between IntegerVariable within a model |
static AbstractDetector |
ModelDetectorFactory.precFromDisjointDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.precFromImpliedDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.precFromReifiedDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.precFromTimeWindowDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.precReductionDetector(CPModel m,
DisjunctiveModel disjMod)
|
static AbstractDetector |
ModelDetectorFactory.rmDisjDetector(CPModel m)
|
static AbstractDetector |
ModelDetectorFactory.taskVarEqDet(CPModel m)
Detect equalities between TaskVariable within a model |
Methods in choco.cp.model.preprocessor with parameters of type AbstractDetector | |
---|---|
static void |
ModelDetectorFactory.run(CPModel model,
AbstractDetector... detectors)
Run AbstractAdvancedDetector.apply() and AbstractAdvancedDetector.commit() for each detectors . |
Uses of AbstractDetector in choco.cp.solver.preprocessor |
---|
Subclasses of AbstractDetector in choco.cp.solver.preprocessor | |
---|---|
class |
SymetryBreakingModelDetector
Simple symetry detection. |
static class |
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
Fake Symetry detector, do not do anything |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |