Uses of Class
choco.cp.model.CPModel

Packages that use CPModel
choco.cp.common.util.preprocessor   
choco.cp.common.util.preprocessor.detector   
choco.cp.common.util.preprocessor.detector.scheduling   
choco.cp.model   
choco.cp.model.preprocessor   
choco.cp.solver   
choco.cp.solver.constraints.global.automata.fast_multicostregular.example   
choco.cp.solver.constraints.strong.xmlmodel   
choco.cp.solver.preprocessor   
parser.chocogen   
parser.flatzinc.parser   
samples.multicostregular.asap   
samples.multicostregular.carsequencing   
samples.multicostregular.nsp   
samples.rackconfig   
samples.tutorials.to_sort   
samples.tutorials.to_sort.scheduling   
 

Uses of CPModel in choco.cp.common.util.preprocessor
 

Fields in choco.cp.common.util.preprocessor declared as CPModel
protected  CPModel AbstractDetector.model
          Model to analyse and transform.
 

Methods in choco.cp.common.util.preprocessor with parameters of type CPModel
static void DetectorFactory.associateIndexes(CPModel m)
          Add an index to the variables to be able to map them easily to nodes of the constraint graph
static int DetectorFactory.maxHookOnMultipleVariables(CPModel model)
          Get the max hook from a list of multiple variables
static void DetectorFactory.resetIndexes(CPModel m)
          Add an index to the variables to be able to map them easily to nodes of the constraint graph
 

Constructors in choco.cp.common.util.preprocessor with parameters of type CPModel
AbstractAdvancedDetector(CPModel model)
           
AbstractDetector(CPModel model)
           
 

Uses of CPModel in choco.cp.common.util.preprocessor.detector
 

Methods in choco.cp.common.util.preprocessor.detector with parameters of type CPModel
 void AnalysisModelDetector.analyseConstants(CPModel model)
           
 void AnalysisModelDetector.analyseIntegerVariables(CPModel model)
           
 void AnalysisModelDetector.analyseMultipleVariables(CPModel model)
           
 void AnalysisModelDetector.analyseRealVariables(CPModel model)
           
 void AnalysisModelDetector.analyseSetVariables(CPModel model)
           
 

Constructors in choco.cp.common.util.preprocessor.detector with parameters of type CPModel
AbstractGraphBasedDetector(CPModel model)
           
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesModelDetector(CPModel model)
           
AbstractIntegerVariableEqualitiesDetector.IntegerVariableEqualitiesSolverDetector(CPModel model, PreProcessCPSolver solver)
           
AbstractIntegerVariableEqualitiesDetector(CPModel model)
           
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesModelDetector(CPModel model)
           
AbstractTaskVariableEqualitiesDetector.TaskVariableEqualitiesSolverDetector(CPModel model, PreProcessCPSolver solver)
           
AbstractTaskVariableEqualitiesDetector(CPModel model)
           
AnalysisModelDetector(CPModel model)
           
CliquesModelDetector(CPModel model, boolean breakSymetries)
           
DisjunctionsSolverDetector(CPModel model, PreProcessCPSolver solver)
           
ExpressionSolverDetector(CPModel model, PreProcessCPSolver solver)
           
 

Uses of CPModel in choco.cp.common.util.preprocessor.detector.scheduling
 

Constructors in choco.cp.common.util.preprocessor.detector.scheduling with parameters of type CPModel
AbstractRscDetector(CPModel model, DisjunctiveModel disjMod)
           
AbstractTemporalDetector(CPModel model, DisjunctiveModel disjMod)
           
ClauseFromDisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjFromCumulModelDetector(CPModel model)
           
DisjointFromCumulModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjointFromUnaryModelDetector(CPModel model, DisjunctiveModel disjMod)
           
DisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromDisjointModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromImpliedModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromReifiedModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecFromTimeWindowModelDetector(CPModel model, DisjunctiveModel disjMod)
           
PrecReductionModelDetector(CPModel model, DisjunctiveModel disjMod)
           
RmUnaryModelDetector(CPModel model)
           
 

Uses of CPModel in choco.cp.model
 

Subclasses of CPModel in choco.cp.model
 class CPModel2
           
 

Methods in choco.cp.model that return CPModel
static CPModel CPModel.readFromFile(File file)
          Restore flatten CPModel from the given file.
 

Methods in choco.cp.model with parameters of type CPModel
static File CPModel.writeInFile(CPModel model)
          Kicks off the serialization mechanism and flatten the model into a file in the default temporary-file directory.
static void CPModel.writeInFile(CPModel model, File file)
          Kicks off the serialization mechanism and flatten the model into the given file.
 

Uses of CPModel in choco.cp.model.preprocessor
 

Methods in choco.cp.model.preprocessor with parameters of type CPModel
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 void ModelDetectorFactory.run(CPModel model, AbstractDetector... detectors)
          Run AbstractAdvancedDetector.apply() and AbstractAdvancedDetector.commit() for each detectors.
static AbstractDetector ModelDetectorFactory.taskVarEqDet(CPModel m)
          Detect equalities between TaskVariable within a model
 

Uses of CPModel in choco.cp.solver
 

Fields in choco.cp.solver declared as CPModel
protected  CPModel CPSolver.model
          The (optimization or decision) model to which the entity belongs.
 

Methods in choco.cp.solver with parameters of type CPModel
 void CPModelToCPSolver.readConstants(CPModel model)
           
 void CPModelToCPSolver.readConstraints(CPModel model)
           
 void CPModelToCPSolver.readIntegerVariables(CPModel model)
           
 void CPModelToCPSolver.readMultipleVariables(CPModel model)
           
 void CPModelToCPSolver.readRealVariables(CPModel model)
           
 void CPModelToCPSolver.readSetVariables(CPModel model)
           
 void CPModelToCPSolver.readVariables(CPModel model)
          Read variable from the model, transpose it into Solver variables, adding it to the Solver directly.
 

Uses of CPModel in choco.cp.solver.constraints.global.automata.fast_multicostregular.example
 

Subclasses of CPModel in choco.cp.solver.constraints.global.automata.fast_multicostregular.example
 class RuleModel
          Created by IntelliJ IDEA.
 

Uses of CPModel in choco.cp.solver.constraints.strong.xmlmodel
 

Methods in choco.cp.solver.constraints.strong.xmlmodel that return CPModel
 CPModel XmlModelRPC.buildModel(InstanceParser parser)
           
 

Uses of CPModel in choco.cp.solver.preprocessor
 

Fields in choco.cp.solver.preprocessor declared as CPModel
protected  CPModel PPSearch.mod
           
 

Methods in choco.cp.solver.preprocessor with parameters of type CPModel
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
 void PPSearch.setModel(CPModel m)
           
static AbstractAdvancedDetector SolverDetectorFactory.taskVarEqDet(CPModel m, PreProcessCPSolver ppsolver)
          Detect equalities between TaskVariable within a model
 

Constructors in choco.cp.solver.preprocessor with parameters of type CPModel
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector(CPModel model)
           
SymetryBreakingModelDetector(CPModel model)
           
 

Uses of CPModel in parser.chocogen
 

Methods in parser.chocogen that return CPModel
 CPModel XmlModel.buildModel(InstanceParser parser)
          Building the Model and solver
 

Methods in parser.chocogen with parameters of type CPModel
 PreProcessCPSolver XmlModel.solve(CPModel model)
          Solving process
 

Uses of CPModel in parser.flatzinc.parser
 

Fields in parser.flatzinc.parser declared as CPModel
 CPModel FZNParser.model
           
 

Uses of CPModel in samples.multicostregular.asap
 

Subclasses of CPModel in samples.multicostregular.asap
 class ASAPCPModel
          Created by IntelliJ IDEA.
 

Uses of CPModel in samples.multicostregular.carsequencing
 

Subclasses of CPModel in samples.multicostregular.carsequencing
 class CarSeqModel
          Created by IntelliJ IDEA.
 

Uses of CPModel in samples.multicostregular.nsp
 

Subclasses of CPModel in samples.multicostregular.nsp
 class NSPModel
          Created by IntelliJ IDEA.
 

Uses of CPModel in samples.rackconfig
 

Subclasses of CPModel in samples.rackconfig
 class RackConfig
          Created by IntelliJ IDEA.
 class RackConfig2
          Created by IntelliJ IDEA.
 

Uses of CPModel in samples.tutorials.to_sort
 

Subclasses of CPModel in samples.tutorials.to_sort
 class Picross
          This class implements a nonogram strategy.
 class SimpleSchedule
          This class present a simple scheduling problem defined in multicost-regular documentation.
 

Uses of CPModel in samples.tutorials.to_sort.scheduling
 

Fields in samples.tutorials.to_sort.scheduling declared as CPModel
protected  CPModel MeetingScheduling.m
           
 



Copyright © 2012. All Rights Reserved.