Uses of Class
choco.cp.solver.CPSolver

Packages that use CPSolver
choco.cp.common.util.preprocessor   
choco.cp.model.managers.constraints.global   
choco.cp.model.managers.variables   
choco.cp.solver   
choco.cp.solver.constraints.global.automata.fast_multicostregular   
choco.cp.solver.constraints.integer.intlincomb   
choco.cp.solver.preprocessor   
choco.cp.solver.search   
choco.visu.components.chart   
parser.flatzinc.ast   
samples.rackconfig   
samples.tutorials.lns.lns   
samples.tutorials.to_sort   
 

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
 



Copyright © 2012. All Rights Reserved.