|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of CPSolver in choco.cp.common.util.preprocessor |
---|
Methods in choco.cp.common.util.preprocessor with parameters of type CPSolver | |
---|---|
static SConstraint |
ExpressionTools.getIntentionalConstraint(ExpressionSConstraint e,
CPSolver s)
If the expression can be matched to a known intensional constraint, then return it as a solver constraint * |
static SConstraint |
ExpressionTools.getScalarConstraint(ExpressionSConstraint e,
CPSolver s)
Try to recognize that the expression is a scalar. |
Uses of CPSolver in choco.cp.model.managers.constraints.global |
---|
Methods in choco.cp.model.managers.constraints.global with parameters of type CPSolver | |
---|---|
protected IntDomainVar |
AbstractResourceManager.getHorizon(CPSolver s,
Variable[] variables,
ResourceParameters p)
|
protected SConstraint |
DisjunctiveManager.makeConstraint(CPSolver solver,
Variable[] variables,
ResourceParameters rdata,
List<String> options)
|
protected SConstraint |
CumulativeManager.makeConstraint(CPSolver s,
Variable[] variables,
ResourceParameters rdata,
List<String> options)
|
protected abstract SConstraint |
AbstractResourceManager.makeConstraint(CPSolver solver,
Variable[] variables,
ResourceParameters rdata,
List<String> options)
|
protected SConstraint |
PrecedenceReifiedManager.makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceImpliedManager.makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceDisjointManager.makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
|
protected abstract SConstraint |
AbstractPrecedenceManager.makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceReifiedManager.makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected SConstraint |
PrecedenceImpliedManager.makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected SConstraint |
PrecedenceDisjointManager.makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected abstract SConstraint |
AbstractPrecedenceManager.makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected SConstraint |
AbstractPrecedenceManager.makeIntConstraintB1(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected SConstraint |
PrecedenceReifiedManager.makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceImpliedManager.makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceDisjointManager.makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
|
protected abstract SConstraint |
AbstractPrecedenceManager.makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
|
protected SConstraint |
PrecedenceReifiedManager.makeTaskConstraintB0(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
protected SConstraint |
PrecedenceImpliedManager.makeTaskConstraintB0(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
protected SConstraint |
PrecedenceDisjointManager.makeTaskConstraintB0(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
protected abstract SConstraint |
AbstractPrecedenceManager.makeTaskConstraintB0(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
protected SConstraint |
PrecedenceDisjointManager.makeTaskConstraintB1(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
protected SConstraint |
AbstractPrecedenceManager.makeTaskConstraintB1(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
|
Uses of CPSolver in choco.cp.model.managers.variables |
---|
Methods in choco.cp.model.managers.variables with parameters of type CPSolver | |
---|---|
protected static IntDomainVar |
IntegerVariableManager.makeConstant(CPSolver solver,
IntegerVariable iv)
|
Uses of CPSolver in choco.cp.solver |
---|
Subclasses of CPSolver in choco.cp.solver | |
---|---|
class |
CPSolverDis
|
Fields in choco.cp.solver declared as CPSolver | |
---|---|
protected CPSolver |
CPModelToCPSolver.cpsolver
|
Constructors in choco.cp.solver with parameters of type CPSolver | |
---|---|
CPModelToCPSolver(CPSolver cpsolver)
|
Uses of CPSolver in choco.cp.solver.constraints.global.automata.fast_multicostregular |
---|
Constructors in choco.cp.solver.constraints.global.automata.fast_multicostregular with parameters of type CPSolver | |
---|---|
SoftMultiCostRegular(IntDomainVar[] x,
IntDomainVar[] y,
IntDomainVar[] z,
IntDomainVar Z,
int[] indexes,
IPenaltyFunction[] f,
IAutomaton pi,
int[][][][] costs,
CPSolver solver)
|
Uses of CPSolver in choco.cp.solver.constraints.integer.intlincomb |
---|
Methods in choco.cp.solver.constraints.integer.intlincomb with parameters of type CPSolver | |
---|---|
static SConstraint |
IntLinCombFactory.createBoolLinComb(IntVar[] vars,
int[] lcoeffs,
int c,
int linOperator,
CPSolver solver)
|
static SConstraint |
IntLinCombFactory.makeIntLinComb(IntTerm t,
int c,
int linOperator,
CPSolver solver)
does not consider IntTerm.getConstant() anymore. |
Uses of CPSolver in choco.cp.solver.preprocessor |
---|
Subclasses of CPSolver in choco.cp.solver.preprocessor | |
---|---|
class |
PreProcessCPSolver
|
Methods in choco.cp.solver.preprocessor with parameters of type CPSolver | |
---|---|
int |
PPSearch.determineHeuristic(CPSolver s)
return 1 (domWdeg) or 2 (Impact) depending on the nature of the problem |
static IntDomainVar[] |
PPSearch.getBooleanVars(CPSolver s)
|
static IntDomainVar[] |
PPSearch.getOtherVars(CPSolver s)
|
static int |
PPSearch.getSumOfDomains(CPSolver s)
|
boolean |
PreProcessCPSolver.setDomOverDeg(CPSolver s)
set the DomOverDeg heuristic |
boolean |
PPSearch.setDomOverDeg(CPSolver s)
set the DomOverDeg heuristic |
boolean |
PreProcessCPSolver.setDomOverWeg(CPSolver s,
int inittime)
set the DomOverWDeg heuristic |
boolean |
PPSearch.setDomOverWeg(CPSolver s,
int inittime)
set the DomOverWDeg heuristic |
boolean |
PreProcessCPSolver.setImpact(CPSolver s,
int initialisationtime)
set the Impact heuristic |
boolean |
PPSearch.setImpact(CPSolver s,
int initialisationtime)
set the Impact heuristic |
boolean |
PreProcessCPSolver.setVersatile(CPSolver s,
int inittime)
set a heuristic that automatically choose between impact and DomWdeg |
boolean |
PPSearch.setVersatile(CPSolver s,
int inittime)
set the DomOverDeg heuristic |
Constructors in choco.cp.solver.preprocessor with parameters of type CPSolver | |
---|---|
PPModelToCPSolver(CPSolver cpsolver)
|
Uses of CPSolver in choco.cp.solver.search |
---|
Fields in choco.cp.solver.search declared as CPSolver | |
---|---|
protected CPSolver |
NogoodRecorder.scheduler
|
Constructors in choco.cp.solver.search with parameters of type CPSolver | |
---|---|
NogoodRecorder(CPSolver scheduler)
|
Uses of CPSolver in choco.visu.components.chart |
---|
Methods in choco.visu.components.chart with parameters of type CPSolver | |
---|---|
static org.jfree.chart.JFreeChart |
ChocoChartFactory.createCumulativeChart(String title,
CPSolver s,
Constraint rsc,
boolean legend)
|
static org.jfree.data.category.CategoryDataset |
ChocoDatasetFactory.createSolutionCategoryDataset(CPSolver s,
Limit limit)
|
static org.jfree.chart.JFreeChart |
ChocoChartFactory.createSolutionChart(CPSolver s,
Limit l)
|
static org.jfree.data.xy.XYSeries |
ChocoDatasetFactory.createSolutionXYSeries(CPSolver s,
Limit limit)
|
static org.jfree.data.gantt.Task |
ChocoDatasetFactory.createTask(CPSolver s,
TaskVariable t)
|
Uses of CPSolver in parser.flatzinc.ast |
---|
Methods in parser.flatzinc.ast with parameters of type CPSolver | |
---|---|
boolean |
SolveGoal.defineGoal(CPSolver solver)
|
Uses of CPSolver in samples.rackconfig |
---|
Methods in samples.rackconfig with parameters of type CPSolver | |
---|---|
void |
RackConfig.printSolution(CPSolver s)
|
Uses of CPSolver in samples.tutorials.lns.lns |
---|
Subclasses of CPSolver in samples.tutorials.lns.lns | |
---|---|
class |
LNSCPSolver
A Large Neighborhood Search approach encapsulating a CP solver. |
Uses of CPSolver in samples.tutorials.to_sort |
---|
Methods in samples.tutorials.to_sort with parameters of type CPSolver | |
---|---|
void |
SimpleSchedule.printSolution(CPSolver s)
Print a schedule once the model is solved by the given solver |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |