Uses of Class
choco.cp.common.util.preprocessor.AbstractDetector

Packages that use AbstractDetector
choco.cp.common.util.preprocessor   
choco.cp.common.util.preprocessor.detector   
choco.cp.common.util.preprocessor.detector.scheduling   
choco.cp.model.preprocessor   
choco.cp.solver.preprocessor   
 

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
 



Copyright © 2012. All Rights Reserved.