|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |