Uses of Interface
choco.kernel.solver.Solver

Packages that use Solver
choco.cp.common.util.preprocessor.detector.scheduling   
choco.cp.model.managers return new ComponentConstraint(ConstraintType.ALLDIFFERENT, null, vars); * soit un type => dans ce cas il faut mettre ? 
choco.cp.model.managers.constraints   
choco.cp.model.managers.constraints.expressions   
choco.cp.model.managers.constraints.global   
choco.cp.model.managers.constraints.integer   
choco.cp.model.managers.constraints.set   
choco.cp.model.managers.operators   
choco.cp.model.managers.variables   
choco.cp.solver   
choco.cp.solver.configure   
choco.cp.solver.constraints.global   
choco.cp.solver.constraints.global.automata.fast_costregular   
choco.cp.solver.constraints.global.automata.fast_multicostregular   
choco.cp.solver.constraints.global.automata.fast_multicostregular.example   
choco.cp.solver.constraints.global.geost.layers   
choco.cp.solver.constraints.global.ordered   
choco.cp.solver.constraints.global.scheduling   
choco.cp.solver.constraints.global.scheduling.cumulative   
choco.cp.solver.constraints.global.scheduling.disjunctive   
choco.cp.solver.constraints.global.softscheduling   
choco.cp.solver.constraints.global.tree   
choco.cp.solver.constraints.global.tree.deduction   
choco.cp.solver.constraints.global.tree.filtering   
choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.globalCardConstraint   
choco.cp.solver.constraints.global.tree.structure.inputStructure   
choco.cp.solver.constraints.global.tree.structure.internalStructure   
choco.cp.solver.constraints.global.tree.structure.internalStructure.costStrutures   
choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure   
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms   
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees   
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.graphViews   
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph   
choco.cp.solver.constraints.integer   
choco.cp.solver.constraints.integer.bool   
choco.cp.solver.constraints.integer.bool.sum   
choco.cp.solver.constraints.integer.extension   
choco.cp.solver.constraints.integer.intlincomb   
choco.cp.solver.constraints.real   
choco.cp.solver.constraints.real.exp   
choco.cp.solver.constraints.reified   
choco.cp.solver.constraints.reified.leaves   
choco.cp.solver.constraints.reified.leaves.arithm   
choco.cp.solver.constraints.reified.leaves.bool   
choco.cp.solver.constraints.set   
choco.cp.solver.constraints.strong   
choco.cp.solver.goals   
choco.cp.solver.goals.choice   
choco.cp.solver.preprocessor   
choco.cp.solver.propagation   
choco.cp.solver.search   
choco.cp.solver.search.integer.branching   
choco.cp.solver.search.integer.branching.domwdeg   
choco.cp.solver.search.integer.varselector   
choco.cp.solver.search.integer.varselector.ratioselector   
choco.cp.solver.search.real   
choco.cp.solver.search.set   
choco.cp.solver.search.task   
choco.cp.solver.search.task.profile   
choco.cp.solver.variables.integer   
choco.cp.solver.variables.real   
choco.cp.solver.variables.set   
choco.kernel.common.util.tools   
choco.kernel.model.constraints   
choco.kernel.model.variables   
choco.kernel.solver   
choco.kernel.solver.constraints   
choco.kernel.solver.constraints.global   
choco.kernel.solver.constraints.global.scheduling   
choco.kernel.solver.constraints.real.exp A package devoted real expression, that is composition of operators over real variables. 
choco.kernel.solver.constraints.reified   
choco.kernel.solver.goals   
choco.kernel.solver.goals.choice   
choco.kernel.solver.goals.solver   
choco.kernel.solver.propagation A package of classes devoted to the event model of constraint propagation.
choco.kernel.solver.search A package devoted to the the control of search algorithms.
choco.kernel.solver.search.checker   
choco.kernel.solver.search.integer A package devoted to choice points and search heuristics specific to integer variables.
choco.kernel.solver.search.real A package devoted to serach tools based on real constraints and variables. 
choco.kernel.solver.search.set   
choco.kernel.solver.variables   
choco.kernel.solver.variables.real A package devoted to contiinuous domains and variables. 
choco.kernel.solver.variables.scheduling   
choco.kernel.visu   
choco.visu   
choco.visu.components.chart   
choco.visu.components.chart.ui   
db   
parser.chocogen   
parser.instances   
samples.jobshop   
samples.multicostregular.asap.hci.abstraction   
samples.multicostregular.asap.heuristics   
samples.multicostregular.carsequencing.heuristics   
samples.multicostregular.nsp   
samples.multicostregular.planner   
samples.tutorials   
samples.tutorials.lns.lns   
samples.tutorials.lns.rcpsp   
samples.tutorials.puzzles   
samples.tutorials.to_sort   
samples.tutorials.to_sort.packing.parser   
samples.tutorials.to_sort.socialgolfer   
samples.tutorials.to_sort.tsp   
trace   
 

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

Fields in choco.cp.common.util.preprocessor.detector.scheduling declared as Solver
 Solver DisjunctiveSModel.solver
           
 

Methods in choco.cp.common.util.preprocessor.detector.scheduling that return Solver
 Solver DisjunctiveSModel.getSolver()
           
 

Constructors in choco.cp.common.util.preprocessor.detector.scheduling with parameters of type Solver
DisjunctiveSModel(Solver solver, DisjunctiveModel dmod)
           
 

Uses of Solver in choco.cp.model.managers
 

Methods in choco.cp.model.managers with parameters of type Solver
 RealExp RealConstraintManager.getRealExp(Solver s, Variable rev)
           
 SConstraint UseResourcesManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint[] IntConstraintManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] RealConstraintManager.makeConstraintAndOpposite(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] SetConstraintManager.makeConstraintAndOpposite(Solver solver, SetVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] UseResourcesManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint[] MixedConstraintManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode UseResourcesManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
           
 INode SetConstraintManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode MixedConstraintManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode IntConstraintManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
abstract  RealExp RealConstraintManager.makeRealExpression(Solver solver, Variable... vars)
          Build a expression node
 

Uses of Solver in choco.cp.model.managers.constraints
 

Methods in choco.cp.model.managers.constraints with parameters of type Solver
 SConstraint EqManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint BooleanManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint[] EqManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] BooleanManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode EqManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode BooleanManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 

Uses of Solver in choco.cp.model.managers.constraints.expressions
 

Methods in choco.cp.model.managers.constraints.expressions with parameters of type Solver
 SConstraint XorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint XnorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> optionsd)
          Build a constraint for the given solver and "model variables"
 SConstraint OrManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint NotManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint NorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint NandManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ImpliesManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint IfOnlyIfManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint AndManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 INode XorManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode XnorManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode OrManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode NotManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode NorManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode NandManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode ImpliesManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode IfThenElseManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode IfOnlyIfManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode AndManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 

Uses of Solver in choco.cp.model.managers.constraints.global
 

Methods in choco.cp.model.managers.constraints.global with parameters of type Solver
protected  int AbstractPrecedenceManager.getConstantValue(Solver s, Variable var)
           
 SConstraint RegularManager.knapsack(Solver s, IntegerVariable[] vars, int goal, int[] coeffs)
           
 SConstraint StretchPathManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint SortingManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint SoftMultiCostRegularManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint ReifiedXorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedXnorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedOrManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedNorManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedNandManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedImplicationManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedImplManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedAndManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint RegularManager.makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
           
 SConstraint OccurrenceManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint MultiCostRegularManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint LeximinManager.makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
           
 SConstraint LexManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint LexChainManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint KnapsackProblemManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint IncreasingNValueManager.makeConstraint(Solver solver, IntegerVariable[] integerVariables, Object parameters, List<String> options)
           
 SConstraint GlobalCardinalityManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint GeostManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint FastRegularManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint ElementManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint CostRegularManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint AtMostNValueManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint AllDifferentManager.makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
           
 SConstraint TreeManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ReifiedManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint PackManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ForbiddenIntervalsManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint ClausesManager.makeConstraint(Solver solver, Variable[] vars, Object parameters, List<String> options)
           
 SConstraint AbstractResourceManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint AbstractPrecedenceManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint[] OccurrenceManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] ElementManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] TreeManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode TreeManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 

Uses of Solver in choco.cp.model.managers.constraints.integer
 

Methods in choco.cp.model.managers.constraints.integer with parameters of type Solver
 SConstraint MinMaxManager.buildConstraint(Solver solver, Variable[] variables, Boolean parameter, List<String> options, IntDomainVar varM)
           
 SConstraint TimesManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint TableManager.makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
           
 SConstraint NotMemberManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ModuloManager.makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
           
 SConstraint MemberManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint IncreasingSumManager.makeConstraint(Solver solver, IntegerVariable[] integerVariables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ExactlyManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint EuclideanDivisionManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint DistanceManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint ChannelingManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint AbsoluteManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint SignOpManager.makeConstraint(Solver solver, Variable[] vars, Object parameters, List<String> options)
           
 SConstraint MinMaxManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint MetaTaskConstraintManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint[] DistanceManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 SConstraint[] MinMaxManager.makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode SignOpManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode ModuloManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode AbsoluteManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 

Uses of Solver in choco.cp.model.managers.constraints.set
 

Methods in choco.cp.model.managers.constraints.set with parameters of type Solver
 SConstraint UnionManager.makeConstraint(Solver solver, SetVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint SetValuePrecedeManager.makeConstraint(Solver solver, SetVariable[] setVariables, Object o, List<String> strings)
           
 SConstraint SetLexicographicOrderingSetManager.makeConstraint(Solver solver, SetVariable[] setVariables, Object o, List<String> strings)
           
 SConstraint IsNotIncludedManager.makeConstraint(Solver solver, SetVariable[] vars, Object parameters, List<String> options)
           
 SConstraint IsIncludedManager.makeConstraint(Solver solver, SetVariable[] vars, Object parameters, List<String> options)
           
 SConstraint IntersectionManager.makeConstraint(Solver solver, SetVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint DisjunctionManager.makeConstraint(Solver solver, SetVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint ComplementSetManager.makeConstraint(Solver solver, SetVariable[] setVariables, Object parameters, List<String> options)
           
 SConstraint NotMemberManager.makeConstraint(Solver solver, Variable[] vars, Object parameters, List<String> options)
           
 SConstraint MemberManager.makeConstraint(Solver solver, Variable[] vars, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint InverseSetManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 SConstraint AmongSetManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 

Uses of Solver in choco.cp.model.managers.operators
 

Methods in choco.cp.model.managers.operators with parameters of type Solver
 SConstraint SinManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint PowerManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint PlusManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint MultManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint MinusManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint CosManager.makeConstraint(Solver solver, RealVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 INode DoubleManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
           
 INode SumManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode SqrtManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode SinManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode ScalarManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode PowerManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode PlusManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode NegManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode MultManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode MinusManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode MinManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode MaxManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode DivManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode DistanceNEQManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode DistanceLTManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode DistanceGTManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode DistanceEQManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 INode CosManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 INode AbsManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 RealExp SinManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 RealExp PowerManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 RealExp PlusManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 RealExp MultManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 RealExp MinusManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 RealExp CosManager.makeRealExpression(Solver solver, Variable... vars)
          Build a real expression
 

Uses of Solver in choco.cp.model.managers.variables
 

Methods in choco.cp.model.managers.variables with parameters of type Solver
 INode TaskVariableManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode SetVariableManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode RealVariableManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode IntegerVariableManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 INode IntegerExpressionManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] variables)
          Build arithm node from a IntegerExpressionVariable
 Var IntegerVariableManager.makeVariable(Solver solver, IntegerVariable var)
          Build a integer variable for the given solver
 Var RealVariableManager.makeVariable(Solver solver, RealVariable var)
          Build a real variable for the given solver
 Var SetVariableManager.makeVariable(Solver solver, SetVariable var)
          Build a set variable for the given solver
 Var TaskVariableManager.makeVariable(Solver solver, TaskVariable var)
          Build a set variable for the given solver
 

Uses of Solver in choco.cp.solver
 

Classes in choco.cp.solver that implement Solver
 class CPSolver
          This class serves both as a factory and as a handler for AbstractGlobalSearchSolvers:
 class CPSolverDis
           
 

Methods in choco.cp.solver with parameters of type Solver
static SConstraint CPSolver.reifiedIntConstraint(IntDomainVar binVar, SConstraint c, SConstraint opc, Solver solver)
           
 

Uses of Solver in choco.cp.solver.configure
 

Methods in choco.cp.solver.configure with parameters of type Solver
static void RestartFactory.cancelRestarts(Solver solver)
           
static AbstractOptimize StrategyFactory.createBranchAndBound(Solver solver)
           
static UniversalRestartStrategy RestartFactory.createRestartStrategy(Solver solver)
           
static ShavingTools StrategyFactory.createShavingTools(Solver solver)
           
static boolean StrategyFactory.doMaximize(Solver solver)
           
static String MessageFactory.getLimitMsg(Solver solver)
           
static String MessageFactory.getModellingMsg(Solver solver)
           
static int StrategyFactory.getRecomputationGap(Solver solver)
           
static String MessageFactory.getRestartMsg(Solver solver)
           
static String MessageFactory.getShavingMsg(Solver solver)
           
static boolean StrategyFactory.isUsingShavingTools(Solver solver)
           
static void StrategyFactory.setDoOptimize(Solver solver, boolean maximize)
           
static void RestartFactory.setGeometricalRestartPolicy(Solver solver, int base, double grow)
           
static void RestartFactory.setLubyRestartPolicy(Solver solver, int base, int grow)
           
static void StrategyFactory.setNoStopAtFirstSolution(Solver solver)
           
static void RestartFactory.setRecordNogoodFromRestart(Solver solver)
           
static void LimitFactory.setRestartLimit(Solver solver, Limit type, int limitBound)
           
static void LimitFactory.setSearchLimit(Solver solver, Limit type, int limitBound)
           
static void StrategyFactory.setStopAtFirstSolution(Solver solver)
           
static void RestartFactory.unsetRecordNogoodFromRestart(Solver solver)
           
static void StrategyFactory.validateCSP(Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.global
 

Fields in choco.cp.solver.constraints.global declared as Solver
protected  Solver Geost_Constraint.s
           
 

Constructors in choco.cp.solver.constraints.global with parameters of type Solver
Geost_Constraint(IntDomainVar[] vars, int k, List<Obj> objects, List<ShiftedBox> shiftedBoxes, List<ExternalConstraint> ectr, boolean memo, HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included, Solver solver)
          Creates a geost constraint with the given parameters.
Geost_Constraint(IntDomainVar[] vars, int k, List<Obj> objects, List<ShiftedBox> shiftedBoxes, List<ExternalConstraint> ectr, List<int[]> ctrlVs, boolean memo_active, HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included, boolean increment_, Solver solver)
          Creates a geost constraint with the given parameters.
 

Uses of Solver in choco.cp.solver.constraints.global.automata.fast_costregular
 

Constructors in choco.cp.solver.constraints.global.automata.fast_costregular with parameters of type Solver
CostKnapSack(IntDomainVar[] vars, IntDomainVar bVar, IntDomainVar cVar, int[] cost, int[] gain, Solver solver)
           
CostRegular(IntDomainVar[] vars, org.jgrapht.graph.DirectedMultigraph<Node,Arc> graph, Node source, Solver s)
           
CostRegular(IntDomainVar[] vars, IAutomaton pi, int[][][] costs, Solver s)
           
CostRegular(IntDomainVar[] vars, IAutomaton pi, int[][] costs, Solver s)
           
CostRegular(IntDomainVar[] vars, ICostAutomaton pi, Solver s)
           
 

Uses of Solver in choco.cp.solver.constraints.global.automata.fast_multicostregular
 

Constructors in choco.cp.solver.constraints.global.automata.fast_multicostregular with parameters of type Solver
MultiCostRegular(IntDomainVar[] vars, IntDomainVar[] CR, IAutomaton auto, int[][][][] costs, Solver solver)
          Constructs a multi-cost-regular constraint propagator
MultiCostRegular(IntDomainVar[] vars, IntDomainVar[] CR, IAutomaton auto, int[][][] costs, Solver solver)
          Constructs a multi-cost-regular constraint propagator
MultiCostRegular(IntDomainVar[] vars, IntDomainVar[] CR, ICostAutomaton pi, Solver solver)
           
 

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

Constructors in choco.cp.solver.constraints.global.automata.fast_multicostregular.example with parameters of type Solver
CoverVarValSelector(IntDomainVar[][] vars, int[][] lowb, Solver solver)
           
CoverVarValSelector(Solver s, IntegerVariable[][] mvars, int[][] lowb)
           
 

Uses of Solver in choco.cp.solver.constraints.global.geost.layers
 

Constructors in choco.cp.solver.constraints.global.geost.layers with parameters of type Solver
GeometricKernel(Constants c, Setup s, ExternalLayer extrL, IntermediateLayer intermL, boolean memo_, Map<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included_, Solver aSolver, Geost_Constraint aConstraint)
          Creates an ExternalLayer instance for a specific Constants class, a specific Setup class, a specific ExternalLayer class and a specific IntermediateLayer class.
 

Uses of Solver in choco.cp.solver.constraints.global.ordered
 

Methods in choco.cp.solver.constraints.global.ordered with parameters of type Solver
 SConstraint OrderedGccManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 

Uses of Solver in choco.cp.solver.constraints.global.scheduling
 

Methods in choco.cp.solver.constraints.global.scheduling with parameters of type Solver
 AbstractSConstraint<IntDomainVar> UseResourcesGeq.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> UseResourcesEq.opposite(Solver solver)
           
 

Constructors in choco.cp.solver.constraints.global.scheduling with parameters of type Solver
AbstractResourceSConstraint(Solver solver, String name, TaskVar[] taskvars, int nbOptionalTasks, boolean enableHeights, boolean enableHypotheticalDomain, IntDomainVar... intvars)
          Create a ressource constraint.
AbstractResourceSConstraint(Solver solver, String name, TaskVar[] taskvars, IntDomainVar makespan)
           
 

Uses of Solver in choco.cp.solver.constraints.global.scheduling.cumulative
 

Constructors in choco.cp.solver.constraints.global.scheduling.cumulative with parameters of type Solver
AbstractCumulativeSConstraint(Solver solver, String name, TaskVar[] taskvars, int nbOptionalTasks, IntDomainVar consumption, IntDomainVar capacity, IntDomainVar uppBound, IntDomainVar... otherVars)
           
AltCumulative(Solver solver, String name, TaskVar[] taskvars, IntDomainVar[] heights, IntDomainVar[] usages, IntDomainVar consumption, IntDomainVar capacity, IntDomainVar uppBound)
           
Cumulative(Solver solver, String name, TaskVar[] taskvars, IntDomainVar[] heights, IntDomainVar consumption, IntDomainVar capacity, IntDomainVar uppBound)
           
Cumulative(Solver solver, String name, TaskVar[] taskvars, int nbOptionalTasks, IntDomainVar consumption, IntDomainVar capacity, IntDomainVar uppBound, IntDomainVar... otherVars)
           
 

Uses of Solver in choco.cp.solver.constraints.global.scheduling.disjunctive
 

Constructors in choco.cp.solver.constraints.global.scheduling.disjunctive with parameters of type Solver
AltDisjunctive(Solver solver, String name, TaskVar[] taskvars, IntDomainVar[] usages, IntDomainVar makespan)
           
Disjunctive(Solver solver, String name, TaskVar[] taskvars, int nbOptionalTasks, boolean enableHypotheticalDomain, IntDomainVar[] intvars)
           
Disjunctive(String name, TaskVar[] taskvars, IntDomainVar makespan, Solver solver)
           
ForbiddenIntervals(Solver solver, String name, TaskVar[] taskvars, IntDomainVar upperBound)
           
 

Uses of Solver in choco.cp.solver.constraints.global.softscheduling
 

Methods in choco.cp.solver.constraints.global.softscheduling with parameters of type Solver
protected static IntDomainVar[] SoftCumulative.createEndVarArray(IntDomainVar[] starts, int[] durations, Solver solver)
           
protected static IntDomainVar[] SoftCumulative.createIntVarArray(String name, int[] source, Solver pb)
           
protected  void SoftCumulativeSum.initialize(IntDomainVar[] costVars, IntDomainVar obj, Solver solver)
           
 SConstraint SoftCumulativeSumManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint SoftCumulativeManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 

Constructors in choco.cp.solver.constraints.global.softscheduling with parameters of type Solver
SoftCumulative(IntDomainVar[] starts, int[] durations, int[] heights, IntDomainVar[] costVars, int wishCapa, Solver solver)
           
SoftCumulativeSum(IntDomainVar[] starts, int[] durations, int[] heights, IntDomainVar[] costVars, IntDomainVar obj, int wishCapa, Solver solver)
           
SoftCumulativeSum(IntDomainVar[] starts, IntDomainVar[] ends, IntDomainVar[] durations, IntDomainVar[] heights, IntDomainVar[] costVars, IntDomainVar obj, int wishCapa, int capa, Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.global.tree
 

Fields in choco.cp.solver.constraints.global.tree declared as Solver
protected  Solver TreeSConstraint.solver
          Choco problem embedding the tree constraint
 

Uses of Solver in choco.cp.solver.constraints.global.tree.deduction
 

Fields in choco.cp.solver.constraints.global.tree.deduction declared as Solver
protected  Solver DeductionsAdvisor.solver
          Choco solver embedding the tree constraint
protected  Solver AbstractDeduction.solver
           
 

Constructors in choco.cp.solver.constraints.global.tree.deduction with parameters of type Solver
DeductionsAdvisor(Solver solver, TreeParameters tree, StructuresAdvisor struct, boolean affiche)
          constructor: allocates the data util for the deduction manager
 

Uses of Solver in choco.cp.solver.constraints.global.tree.filtering
 

Fields in choco.cp.solver.constraints.global.tree.filtering declared as Solver
protected  Solver RemovalsAdvisor.solver
          Choco solver embedding the tree constraint
protected  Solver FilteringAdvisor.solver
          Choco solver embedding the tree constraint
protected  Solver AbstractPropagator.solver
          Choco solver embedding the tree constraint
 

Constructors in choco.cp.solver.constraints.global.tree.filtering with parameters of type Solver
FilteringAdvisor(Solver solver, TreeSConstraint treeConst, TreeParameters tree, StructuresAdvisor struct, boolean affiche)
          constructor: build a filtering manager that deals with all the propagators involved in the tree constraint
RemovalsAdvisor(Solver solver, TreeSConstraint treeConst, TreeParameters treeParams, StructuresAdvisor struct)
           
 

Uses of Solver in choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.globalCardConstraint
 

Fields in choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.globalCardConstraint declared as Solver
protected  Solver AbstractBipartGraph.solver
           
 

Constructors in choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.globalCardConstraint with parameters of type Solver
AbstractBipartFlow(Solver solver, Object[] pack)
          Constructor for AbstractBipartiteFlow
AbstractBipartGraph(Solver solver, Object[] pack)
          Constructor
GlobalCardinalityNoLoop(Solver solver, Object[] pack)
          Constructor: build a global cardinality constraint API, short cut when smallest value equals 0
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.inputStructure
 

Fields in choco.cp.solver.constraints.global.tree.structure.inputStructure declared as Solver
protected  Solver TreeParameters.solver
          Choco solver embedding the tree constraint
 

Methods in choco.cp.solver.constraints.global.tree.structure.inputStructure that return Solver
 Solver TreeParameters.getSolver()
           
 

Constructors in choco.cp.solver.constraints.global.tree.structure.inputStructure with parameters of type Solver
Node(Solver solver, int nbNodes, int idx, IntDomainVar successor, IntDomainVar inDegree, IntDomainVar timeWindow, List<BitSet[]> graphs)
          constructor: build a node and its associated attributes
Node(Solver solver, int nbNodes, int idx, List<BitSet[]> graphs, List<int[][]> matrix)
          constructor: build a node and its associated attributes
TreeParameters(Solver solver, int nbNodes, IntDomainVar ntree, IntDomainVar nproper, IntDomainVar objective, List<BitSet[]> graphs, List<int[][]> matrix, int[][] travel)
          constructor: build the input data of a tree constraint.
TreeParameters(Solver solver, int nbNodes, IntDomainVar ntree, IntDomainVar nproper, IntDomainVar objective, Node[] nodes, int[][] travel)
          constructor: build the input data of a tree constraint.
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure declared as Solver
protected  Solver StructuresAdvisor.solver
          Choco solver embedding the tree constraint
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure with parameters of type Solver
StructuresAdvisor(Solver solver, TreeParameters tree)
          constructor: build an advisor for the internal data structures
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.costStrutures
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.costStrutures declared as Solver
protected  Solver CostStructure.solver
          Choco solver embedding the tree constraint
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.costStrutures with parameters of type Solver
CostStructure(Solver solver, TreeParameters tree, VarGraphView inputGraph)
          Constructor of the costStructure
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure declared as Solver
protected  Solver DegreeStructure.solver
          Choco solver embedding the tree constraint
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure with parameters of type Solver
DegreeStructure(Solver solver, TreeParameters tree, VarGraphView graph)
          constructor
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms declared as Solver
protected  Solver ConnectedComponents.solver
           
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms with parameters of type Solver
ConnectedComponents(Solver solver, int nbNodes, IStateBitSet[] graph, Vector<IStateBitSet> cc)
           
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees declared as Solver
protected  Solver DominatorView.solver
           
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees with parameters of type Solver
DominatorView(Solver solver, VarGraphView graph, PrecsGraphView precs)
           
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.graphViews
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.graphViews declared as Solver
protected  Solver VarGraphView.solver
          Choco solver embedding the tree constraint
protected  Solver StoredBitSetGraph.solver
          Choco solver embedding the tree constraint
protected  Solver PrecsGraphView.solver
          Choco solver embedding the tree constraint
 

Methods in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.graphViews that return Solver
 Solver VarGraphView.getSolver()
           
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.graphViews with parameters of type Solver
PrecsGraphView(Solver solver, Node[] nodes)
           
StoredBitSetGraph(Solver solver, IStateBitSet[] graph, List<StoredBitSetGraph.Maintain> params, boolean affiche)
           
VarGraphView(Solver solver, IntDomainVar[] vars)
          Constructor of the graph view
 

Uses of Solver in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph
 

Fields in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph declared as Solver
protected  Solver ReducedGraph.solver
           
 

Constructors in choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph with parameters of type Solver
ReducedGraph(Solver solver, StoredBitSetGraph graph)
          Constructor
 

Uses of Solver in choco.cp.solver.constraints.integer
 

Methods in choco.cp.solver.constraints.integer with parameters of type Solver
 AbstractSConstraint<IntDomainVar> SignOp.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> NotMemberEnum.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> NotMemberBound.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> NotEqualXY_C.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> NotEqualXYC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> NotEqualXC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> MemberEnum.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> MemberBound.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LessOrEqualXY_C.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> LessOrEqualXC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> IntLinComb.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> GreaterOrEqualXY_C.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> GreaterOrEqualXYC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> GreaterOrEqualXC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> EqualXY_C.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> EqualXYC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> EqualXC.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> Absolute.opposite(Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.integer.bool
 

Methods in choco.cp.solver.constraints.integer.bool with parameters of type Solver
 AbstractSConstraint<IntDomainVar> Not.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeXor.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeXnor.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeOr.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeNor.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeNand.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> LargeAnd.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> Identity.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> BoolIntLinComb.opposite(Solver solver)
          Computes the opposite of this constraint.
 AbstractSConstraint<IntDomainVar> BinXor.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> BinXnor.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> BinOr.opposite(Solver solver)
          Get the opposite constraint
 AbstractSConstraint<IntDomainVar> BinAnd.opposite(Solver solver)
          Get the opposite constraint
 

Uses of Solver in choco.cp.solver.constraints.integer.bool.sum
 

Methods in choco.cp.solver.constraints.integer.bool.sum with parameters of type Solver
 AbstractSConstraint<IntDomainVar> NeqBoolSum.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> LeqBoolSum.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> GeqBoolSum.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> EqBoolSum.opposite(Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.integer.extension
 

Methods in choco.cp.solver.constraints.integer.extension with parameters of type Solver
 AbstractSConstraint<IntDomainVar> GAC3rmLargeConstraint.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> FCBinSConstraint.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> CspLargeSConstraint.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> AC3rmBitBinSConstraint.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> AC3rmBinSConstraint.opposite(Solver solver)
           
 AbstractSConstraint<IntDomainVar> AC3BinSConstraint.opposite(Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.integer.intlincomb
 

Methods in choco.cp.solver.constraints.integer.intlincomb with parameters of type Solver
abstract  AbstractSConstraint IntLinCombOp.opposite(Solver solver)
          Computes the opposite of this constraint.
 AbstractSConstraint IntLinCombNEQ.opposite(Solver solver)
          Computes the opposite of this constraint.
 AbstractSConstraint IntLinCombLEQ.opposite(Solver solver)
          Computes the opposite of this constraint.
 AbstractSConstraint IntLinCombGEQ.opposite(Solver solver)
          Computes the opposite of this constraint.
 AbstractSConstraint IntLinCombEQ.opposite(Solver solver)
          Computes the opposite of this constraint.
 

Uses of Solver in choco.cp.solver.constraints.real
 

Constructors in choco.cp.solver.constraints.real with parameters of type Solver
Equation(Solver solver, RealVar[] collectedVars, RealExp exp)
           
Equation(Solver solver, RealVar[] collectedVars, RealExp exp, RealInterval cste)
           
 

Uses of Solver in choco.cp.solver.constraints.real.exp
 

Methods in choco.cp.solver.constraints.real.exp that return Solver
 Solver RealIntervalImpl.getSolver()
          Deprecated. Retrieves the solver of the entity
 

Methods in choco.cp.solver.constraints.real.exp with parameters of type Solver
 void RealIntervalImpl.setSolver(Solver solver)
          Deprecated.  
 

Constructors in choco.cp.solver.constraints.real.exp with parameters of type Solver
RealCos(Solver solver, RealExp exp1)
           
RealIntegerPower(Solver solver, RealExp exp1, int power)
           
RealMinus(Solver solver, RealExp exp1, RealExp exp2)
           
RealMult(Solver solver, RealExp exp1, RealExp exp2)
           
RealPlus(Solver solver, RealExp exp1, RealExp exp2)
          Builds an addition expression for real constraint modelling.
RealSin(Solver solver, RealExp exp1)
           
 

Uses of Solver in choco.cp.solver.constraints.reified
 

Methods in choco.cp.solver.constraints.reified with parameters of type Solver
static SConstraint ReifiedFactory.builder(IntDomainVar bool, SConstraint cons, SConstraint oppcons, Solver solver)
          Following the type of constraints, create a reified constraint.
static SConstraint ReifiedFactory.builder(IntDomainVar bool, SConstraint cons, Solver s)
          Following the type of constraints, create a reified constraint.
 SConstraint ExpressionSConstraint.getDecomposition(Solver s)
          Perform the decomposition of the Expression into elementary constraints.
 SConstraint ExpressionSConstraint.getExtensionnal(Solver s)
          return the extensional propagator intended to propagate the expression
 List<int[]> ExpressionSConstraint.getTuples(Solver s)
          Generate the list of tuples corresponding to this predicat
 AbstractSConstraint ExpressionSConstraint.opposite(Solver solver)
           
 void ExpressionSConstraint.setScope(Solver s)
          compute the scope of this predicat as the union of the scopes of all the leaves and set the indexes of each variable of each leave regarding its position in the scope "vars" This is called once when posting the propagator
 

Uses of Solver in choco.cp.solver.constraints.reified.leaves
 

Methods in choco.cp.solver.constraints.reified.leaves with parameters of type Solver
 SConstraint ConstraintLeaf.extractConstraint(Solver s)
           
 IntDomainVar VariableLeaf.extractResult(Solver s)
           
 IntDomainVar ConstraintLeaf.extractResult(Solver s)
           
 IntDomainVar ConstantLeaf.extractResult(Solver s)
           
 IntDomainVar[] VariableLeaf.getScope(Solver s)
           
 IntDomainVar[] ConstraintLeaf.getScope(Solver s)
           
 IntDomainVar[] ConstantLeaf.getScope(Solver s)
           
 

Uses of Solver in choco.cp.solver.constraints.reified.leaves.arithm
 

Methods in choco.cp.solver.constraints.reified.leaves.arithm with parameters of type Solver
 SConstraint IfThenElseNode.extractConstraint(Solver s)
           
 IntDomainVar ScalarNode.extractResult(Solver s)
           
 IntDomainVar PlusNode.extractResult(Solver s)
           
 IntDomainVar NegNode.extractResult(Solver s)
           
 IntDomainVar MultNode.extractResult(Solver s)
           
 IntDomainVar MinusNode.extractResult(Solver s)
           
 IntDomainVar MinNode.extractResult(Solver s)
           
 IntDomainVar MaxNode.extractResult(Solver s)
           
 IntDomainVar IfThenElseNode.extractResult(Solver s)
           
 IntDomainVar DivNode.extractResult(Solver s)
           
 IntDomainVar DistNode.extractResult(Solver s)
           
 IntDomainVar AbsNode.extractResult(Solver s)
           
 

Uses of Solver in choco.cp.solver.constraints.reified.leaves.bool
 

Methods in choco.cp.solver.constraints.reified.leaves.bool with parameters of type Solver
 SConstraint XorNode.extractConstraint(Solver s)
           
 SConstraint XnorNode.extractConstraint(Solver s)
           
 SConstraint TrueNode.extractConstraint(Solver s)
           
 SConstraint SameSignNode.extractConstraint(Solver s)
           
 SConstraint OrNode.extractConstraint(Solver s)
           
 SConstraint OppSignNode.extractConstraint(Solver s)
           
 SConstraint NotNode.extractConstraint(Solver s)
           
 SConstraint NorNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint NeqNode.extractConstraint(Solver s)
           
 SConstraint NandNode.extractConstraint(Solver s)
           
 SConstraint LtNode.extractConstraint(Solver s)
           
 SConstraint LeqNode.extractConstraint(Solver s)
           
 SConstraint GtNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint GeqNode.extractConstraint(Solver s)
           
 SConstraint FalseNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint EqNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint DistNeqNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint DistLtNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint DistGtNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint DistEqNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 SConstraint AndNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
abstract  SConstraint AbstractBoolNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 IntDomainVar XorNode.extractResult(Solver s)
           
 IntDomainVar XnorNode.extractResult(Solver s)
           
 IntDomainVar OrNode.extractResult(Solver s)
           
 IntDomainVar NotNode.extractResult(Solver s)
           
 IntDomainVar NorNode.extractResult(Solver s)
           
 IntDomainVar NandNode.extractResult(Solver s)
           
 IntDomainVar AndNode.extractResult(Solver s)
           
 IntDomainVar AbstractBoolNode.extractResult(Solver s)
           
 

Uses of Solver in choco.cp.solver.constraints.set
 

Methods in choco.cp.solver.constraints.set with parameters of type Solver
 SConstraint MemberXiY.MemberXiYManager.makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
           
 AbstractSConstraint<SetVar> SetNotEq.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> SetEq.opposite(Solver solver)
           
 AbstractSConstraint<Var> NotMemberXY.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> NotMemberX.opposite(Solver solver)
           
 AbstractSConstraint<Var> MemberXY.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> MemberX.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> IsNotIncluded.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> IsIncluded.opposite(Solver solver)
           
 

Uses of Solver in choco.cp.solver.constraints.strong
 

Methods in choco.cp.solver.constraints.strong with parameters of type Solver
protected  BoolNode StrongConsistencyManager.buildBoolNode(Constraint ic, Solver cpsolver)
           
protected  ExpressionSConstraint StrongConsistencyManager.createMetaConstraint(Constraint ic, Solver cpsolver)
           
 SConstraint StrongConsistencyManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint[] StrongConsistencyManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode StrongConsistencyManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
           
 

Constructors in choco.cp.solver.constraints.strong with parameters of type Solver
DomOverDDegRPC(Solver solver)
           
DomOverWDegRPC(Solver solver)
           
DomOverWDegRPC(Solver solver, IntDomainVar[] vs)
           
 

Uses of Solver in choco.cp.solver.goals
 

Methods in choco.cp.solver.goals with parameters of type Solver
 Goal Sequence.execute(Solver s)
           
 Goal GlobalFail.execute(Solver solver)
           
 

Constructors in choco.cp.solver.goals with parameters of type Solver
GoalSearchSolver(Solver s, Goal mainGoal)
          Deprecated.  
 

Uses of Solver in choco.cp.solver.goals.choice
 

Methods in choco.cp.solver.goals.choice with parameters of type Solver
 Goal Instantiate.execute(Solver s)
           
 Goal Generate.execute(Solver s)
           
 

Uses of Solver in choco.cp.solver.preprocessor
 

Classes in choco.cp.solver.preprocessor that implement Solver
 class PreProcessCPSolver
           
 

Methods in choco.cp.solver.preprocessor with parameters of type Solver
static void PreProcessConfiguration.cancelPreProcess(Solver solver)
           
static void PreProcessConfiguration.keepSchedulingPreProcess(Solver solver)
           
 

Uses of Solver in choco.cp.solver.propagation
 

Fields in choco.cp.solver.propagation declared as Solver
 Solver AbstractPropagationEngine.solver
           
 

Methods in choco.cp.solver.propagation that return Solver
 Solver AbstractPropagationEngine.getSolver()
           
 

Constructors in choco.cp.solver.propagation with parameters of type Solver
AbstractPropagationEngine(Solver solver)
           
ChocoEngine(Solver solver)
          Constructs a new engine by initializing the var queues.
 

Uses of Solver in choco.cp.solver.search
 

Methods in choco.cp.solver.search with parameters of type Solver
static AssignVar BranchingFactory.completeDecreasing(Solver solver, PackSConstraint ct, boolean bestFit, boolean dynRem)
           
static AssignVar BranchingFactory.completeDecreasingBestFit(Solver solver, PackSConstraint ct)
           
static AssignVar BranchingFactory.completeDecreasingFirstFit(Solver solver, PackSConstraint ct)
           
static AssignVar BranchingFactory.domDDeg(Solver solver)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel, long seed)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, ValIterator valSel)
           
static AssignVar BranchingFactory.domDDeg(Solver solver, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domDDegBin(Solver solver)
           
static AssignOrForbidIntVarVal BranchingFactory.domDDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domDDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignOrForbidIntVarVal BranchingFactory.domDDegBin(Solver solver, ValSelector valSel)
           
static MinRatioSelector VarSelectorFactory.domDDegSel(Solver solver, IntDomainVar[] vars)
           
static RandMinRatioSelector VarSelectorFactory.domDDegSel(Solver solver, IntDomainVar[] vars, long seed)
           
static AssignVar BranchingFactory.domDeg(Solver solver)
           
static AssignVar BranchingFactory.domDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel)
           
static AssignVar BranchingFactory.domDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel, long seed)
           
static AssignVar BranchingFactory.domDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignVar BranchingFactory.domDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignVar BranchingFactory.domDeg(Solver solver, ValIterator valSel)
           
static AssignVar BranchingFactory.domDeg(Solver solver, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domDegBin(Solver solver)
           
static AssignOrForbidIntVarVal BranchingFactory.domDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignOrForbidIntVarVal BranchingFactory.domDegBin(Solver solver, ValSelector valSel)
           
static MinRatioSelector VarSelectorFactory.domDegSel(Solver solver, IntDomainVar[] vars)
           
static RandMinRatioSelector VarSelectorFactory.domDegSel(Solver solver, IntDomainVar[] vars, long seed)
           
static AssignVar BranchingFactory.domWDeg(Solver solver)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel, long seed)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, ValIterator valSel)
           
static AssignVar BranchingFactory.domWDeg(Solver solver, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domWDegBin(Solver solver)
           
static AssignOrForbidIntVarVal BranchingFactory.domWDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.domWDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static AssignOrForbidIntVarVal BranchingFactory.domWDegBin(Solver solver, ValSelector valSel)
           
static MinRatioSelector VarSelectorFactory.domWDegSel(Solver solver, IntDomainVar[] vars)
           
static RandMinRatioSelector VarSelectorFactory.domWDegSel(Solver solver, IntDomainVar[] vars, long seed)
           
static DomOverWDegBranchingNew BranchingFactory.incDomWDeg(Solver solver)
           
static DomOverWDegBranchingNew BranchingFactory.incDomWDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel)
           
static DomOverWDegBranchingNew BranchingFactory.incDomWDeg(Solver solver, IntDomainVar[] vars, ValIterator valSel, long seed)
           
static DomOverWDegBranchingNew BranchingFactory.incDomWDeg(Solver solver, ValIterator valSel)
           
static DomOverWDegBinBranchingNew BranchingFactory.incDomWDegBin(Solver solver)
           
static DomOverWDegBinBranchingNew BranchingFactory.incDomWDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel)
           
static DomOverWDegBinBranchingNew BranchingFactory.incDomWDegBin(Solver solver, IntDomainVar[] vars, ValSelector valSel, long seed)
           
static DomOverWDegBinBranchingNew BranchingFactory.incDomWDegBin(Solver solver, ValSelector valSel)
           
static AssignVar BranchingFactory.lexicographic(Solver solver)
           
static AssignVar BranchingFactory.lexicographic(Solver solver, IntDomainVar[] vars)
           
static AssignVar BranchingFactory.lexicographic(Solver solver, IntDomainVar[] vars, ValSelector<IntDomainVar> valSel)
           
static AssignSetVar BranchingFactory.lexicographic(Solver solver, SetVar[] vars)
           
static MinRatioSelector VarSelectorFactory.maxPreserved(Solver solver, ITemporalSRelation[] precedences)
           
static RandMinRatioSelector VarSelectorFactory.maxPreserved(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.maxPreserved(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.maxPreserved(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel)
           
static AssignOrForbidIntVarValPair BranchingFactory.maxPreserved(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel, long seed)
           
static AssignVar BranchingFactory.minDomIncDom(Solver s)
           
static AssignVar BranchingFactory.minDomIncDom(Solver s, IntDomainVar[] vars)
           
static AssignVar BranchingFactory.minDomMinVal(Solver s)
           
static AssignVar BranchingFactory.minDomMinVal(Solver s, IntDomainVar[] vars)
           
static MinRatioSelector VarSelectorFactory.minPreserved(Solver solver, ITemporalSRelation[] precedences)
           
static RandMinRatioSelector VarSelectorFactory.minPreserved(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.minPreserved(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.minPreserved(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel)
           
static AssignOrForbidIntVarValPair BranchingFactory.minPreserved(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel, long seed)
           
static TaskOverWDegBinBranching BranchingFactory.preservedWDeg(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static TaskOverWDegBinBranching BranchingFactory.preservedWDeg(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel)
           
static TaskOverWDegBinBranching BranchingFactory.preservedWDeg(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, DisjunctiveSModel disjSModel)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, DisjunctiveSModel disjSModel, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, DisjunctiveSModel disjSModel, OrderingValSelector valSel)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, IResource<?>[] resources, DisjunctiveSModel disjSModel)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, IResource<?>[] resources, DisjunctiveSModel disjSModel, long seed)
           
static AssignOrForbidIntVarValPair BranchingFactory.profile(Solver solver, IResource<?>[] resources, DisjunctiveSModel disjSModel, OrderingValSelector valSel)
           
static AssignOrForbidIntVarVal BranchingFactory.randomBinSearch(Solver solver, IntDomainVar[] vars, long seed)
           
static AssignOrForbidIntVarVal BranchingFactory.randomIntBinSearch(Solver solver, long seed)
           
static AssignVar BranchingFactory.randomIntSearch(Solver solver, long seed)
           
static AssignVar BranchingFactory.randomSearch(Solver solver, IntDomainVar[] vars, long seed)
           
static AssignSetVar BranchingFactory.randomSearch(Solver solver, SetVar[] vars, long seed)
           
static AssignSetVar BranchingFactory.randomSetSearch(Solver solver, long seed)
           
static SetTimes BranchingFactory.setTimes(Solver solver)
           
static SetTimes BranchingFactory.setTimes(Solver solver, long seed)
           
static SetTimes BranchingFactory.setTimes(Solver solver, TaskVar[] tasks, Comparator<ITask> comparator)
           
static SetTimes BranchingFactory.setTimes(Solver solver, TaskVar[] tasks, Comparator<ITask> comparator, long seed)
           
static TaskOverWDegBinBranching BranchingFactory.slackWDeg(Solver solver, ITemporalSRelation[] precedences, long seed)
           
static TaskOverWDegBinBranching BranchingFactory.slackWDeg(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel)
           
static TaskOverWDegBinBranching BranchingFactory.slackWDeg(Solver solver, ITemporalSRelation[] precedences, OrderingValSelector valSel, long seed)
           
 

Constructors in choco.cp.solver.search with parameters of type Solver
BranchAndBound(Solver solver, IntDomainVar objective, boolean maximize)
          Builds a new optimizing strategy with the specified variable.
GlobalSearchStrategy(Solver solver)
           
 

Uses of Solver in choco.cp.solver.search.integer.branching
 

Fields in choco.cp.solver.search.integer.branching declared as Solver
 Solver ImpactBasedBranching.AbstractImpactStrategy.ImpactStorage.pb
           
 

Constructors in choco.cp.solver.search.integer.branching with parameters of type Solver
DomOverWDegBinBranching(Solver s, ValSelector valHeuri)
          Deprecated.  
DomOverWDegBinBranching(Solver s, ValSelector valHeuri, IntDomainVar[] intDomainVars)
          Deprecated.  
DomOverWDegBranching(Solver s, ValIterator valHeuri)
          Deprecated.  
DomOverWDegBranching(Solver s, ValIterator valHeuri, IntVar[] vars)
          Deprecated.  
DomOverWDegBranching(Solver s, ValSelector valHeuri)
          Deprecated.  
DomOverWDegBranching(Solver s, ValSelector valHeuri, IntVar[] vars)
          Deprecated.  
ImpactBasedBranching.AbstractImpactStrategy.ImpactStorage(Solver pb, ArrayList subset)
           
ImpactBasedBranching(Solver solver)
           
ImpactBasedBranching(Solver solver, IntDomainVar[] vars)
           
ImpactBasedBranching(Solver solver, IntDomainVar[] vars, ImpactBasedBranching.AbstractImpactStrategy ibs)
           
 

Uses of Solver in choco.cp.solver.search.integer.branching.domwdeg
 

Fields in choco.cp.solver.search.integer.branching.domwdeg declared as Solver
protected  Solver AbstractDomOverWDegBranching.solver
           
 

Methods in choco.cp.solver.search.integer.branching.domwdeg that return Solver
 Solver AbstractDomOverWDegBranching.getSolver()
           
 

Methods in choco.cp.solver.search.integer.branching.domwdeg with parameters of type Solver
static String DomWDegUtils.checkVariableIncWDeg(Solver solver)
           
static String DomWDegUtils.getConstraintFailures(Solver solver)
           
static String DomWDegUtils.getVariableIncWDeg(Solver solver)
           
static String DomWDegUtils.getVariableWDeg(Solver solver)
           
static void DomWDegUtils.initConstraintExtensions(Solver s)
           
static void DomWDegUtils.initVarExtensions(Solver s)
           
 

Constructors in choco.cp.solver.search.integer.branching.domwdeg with parameters of type Solver
AbstractDomOverWDegBinBranching(Solver solver, IntRatio[] varRatios, Number seed)
           
AbstractDomOverWDegBranching(Solver solver, IntRatio[] varRatios, Number seed)
           
DomOverWDegBinBranchingNew(Solver solver, IntDomainVar[] vars, ValSelector valHeuri, Number seed)
           
DomOverWDegBranchingNew(Solver s, IntDomainVar[] vars, ValIterator valHeuri, Number seed)
           
TaskOverWDegBinBranching(Solver solver, ITemporalRatio[] varRatios, OrderingValSelector valHeuri, Number seed)
           
 

Uses of Solver in choco.cp.solver.search.integer.varselector
 

Constructors in choco.cp.solver.search.integer.varselector with parameters of type Solver
DomOverDeg(Solver solver)
          Deprecated.  
DomOverDeg(Solver solver, IntDomainVar[] vs)
          Deprecated.  
DomOverDynDeg(Solver solver)
          Deprecated.  
DomOverDynDeg(Solver solver, IntDomainVar[] vs)
          Deprecated.  
DomOverWDeg(Solver solver)
          Deprecated.  
DomOverWDeg(Solver solver, IntDomainVar[] vs)
          Deprecated.  
MaxDomain(Solver solver)
           
MaxDomain(Solver solver, IntDomainVar[] vs)
           
MaxRegret(Solver solver)
           
MaxRegret(Solver solver, IntDomainVar[] vs)
           
MaxValueDomain(Solver solver)
           
MaxValueDomain(Solver solver, IntDomainVar[] vs)
           
MinDomain(Solver solver)
           
MinDomain(Solver solver, IntDomainVar[] vs)
           
MinValueDomain(Solver solver)
           
MinValueDomain(Solver solver, IntDomainVar[] vs)
           
MostConstrained(Solver solver)
          Builds the heuristic for the given model.
MostConstrained(Solver solver, IntDomainVar[] vs)
          Builds the heuristic for the given model.
RandomIntVarSelector(Solver solver)
          Creates a new random-based integer domain variable selector
RandomIntVarSelector(Solver solver, IntDomainVar[] vs, long seed)
           
RandomIntVarSelector(Solver solver, long seed)
          Creates a new random-based integer domain variable selector with the specified seed (to make the experiment determinist)
StaticVarOrder(Solver solver)
           
StaticVarOrder(Solver solver, IntDomainVar[] vars)
           
 

Uses of Solver in choco.cp.solver.search.integer.varselector.ratioselector
 

Constructors in choco.cp.solver.search.integer.varselector.ratioselector with parameters of type Solver
AbstractIntVarRatioSelector(Solver solver, IntRatio[] ratios)
           
DomOverWDegSelector(Solver solver, IntDomainVar[] vars)
           
DomOverWDegSelector(Solver solver, IntRatio[] varRatios)
           
MaxRatioSelector(Solver solver, IntRatio[] ratios)
           
MinRatioSelector(Solver solver, IntRatio[] ratios)
           
RandDomOverWDegSelector(Solver solver, IntDomainVar[] vars, long seed)
           
RandDomOverWDegSelector(Solver solver, IntRatio[] ratioVars, long seed)
           
RandMaxRatioSelector(Solver solver, IntRatio[] ratios, long seed)
           
RandMinRatioSelector(Solver solver, IntRatio[] ratios, long seed)
           
 

Uses of Solver in choco.cp.solver.search.real
 

Constructors in choco.cp.solver.search.real with parameters of type Solver
CyclicRealVarSelector(Solver solver)
           
CyclicRealVarSelector(Solver solver, RealVar[] vars)
           
RealBranchAndBound(Solver solver, RealVar objective, boolean maximize)
           
 

Uses of Solver in choco.cp.solver.search.set
 

Constructors in choco.cp.solver.search.set with parameters of type Solver
MaxDomSet(Solver solver)
           
MaxDomSet(Solver solver, SetVar[] vars)
           
MaxRegretSet(Solver solver)
           
MaxRegretSet(Solver solver, SetVar[] vars)
           
MaxValueDomSet(Solver solver)
           
MaxValueDomSet(Solver solver, SetVar[] vars)
           
MinDomSet(Solver solver)
           
MinDomSet(Solver solver, SetVar[] vars)
           
MinValueDomSet(Solver solver)
           
MinValueDomSet(Solver solver, SetVar[] vars)
           
MostConstrainedSet(Solver solver)
           
MostConstrainedSet(Solver solver, SetVar[] decisionvs)
           
RandomSetVarSelector(Solver solver)
          Creates a new random-based set domain variable selector
RandomSetVarSelector(Solver solver, long seed)
          Creates a new random-based set domain variable selector with the specified seed (to make the experiment determinist)
RandomSetVarSelector(Solver solver, SetVar[] vs, long seed)
          Creates a new random-based set domain variable selector with a specified seed
StaticSetVarOrder(Solver solver, SetVar[] vars)
           
 

Uses of Solver in choco.cp.solver.search.task
 

Constructors in choco.cp.solver.search.task with parameters of type Solver
SetTimes(Solver solver, List<TaskVar> tasks, Comparator<ITask> comparator)
           
SetTimes(Solver solver, List<TaskVar> tasks, Comparator<ITask> comparator, long seed)
           
SetTimes(Solver solver, List<TaskVar> tasks, TaskVarSelector selector)
          The Constructor.
 

Uses of Solver in choco.cp.solver.search.task.profile
 

Constructors in choco.cp.solver.search.task.profile with parameters of type Solver
ProbabilisticProfile(Solver solver, DisjunctiveSModel disjSModel)
           
ProfileSelector(Solver solver, DisjunctiveSModel disjSModel, OrderingValSelector precSelector)
           
ProfileSelector(Solver solver, IResource<?>[] resources, DisjunctiveSModel disjSModel, OrderingValSelector precSelector)
           
 

Uses of Solver in choco.cp.solver.variables.integer
 

Constructors in choco.cp.solver.variables.integer with parameters of type Solver
AbstractBijectiveVar(Solver solver, String name, IntDomainVar variable)
          Build a variable Y such as Y = X op c.
BooleanVarImpl(Solver solver, String name)
           
BoolVarNot(Solver solver, String name, BooleanVarImpl variable)
          Build a variable Y such as Y = X op c.
IntDomainVarAddCste(Solver solver, String name, IntDomainVar variable, int constante)
          Build a variable Y such as Y = X + c.
IntDomainVarImpl(Solver solver, String name)
          Default constructor
IntDomainVarImpl(Solver solver, String name, int domainType, int[] distinctSortedValues)
           
IntDomainVarImpl(Solver solver, String name, int domainType, int a, int b)
          Constructs a new variable for the specified model and with the specified name and bounds.
IntDomainVarTimePosCste(Solver solver, String name, IntDomainVar variable, int constante)
          Build a variable Y such as Y = X + c.
ViewIntDomainVarImpl(Solver solver, String name, int domainType, int[] sortedValues, int coeff, int cst)
           
ViewIntDomainVarImpl(Solver solver, String name, int domainType, int a, int b, int coeff, int cst)
          Constructs a new variable for the specified model and with the specified name and bounds.
 

Uses of Solver in choco.cp.solver.variables.real
 

Constructors in choco.cp.solver.variables.real with parameters of type Solver
RealDomainImpl(RealVar v, double a, double b, Solver solver)
           
RealVarImpl(Solver solver, String name, double a, double b, int domaintype)
           
 

Uses of Solver in choco.cp.solver.variables.set
 

Constructors in choco.cp.solver.variables.set with parameters of type Solver
SetVarImpl(Solver solver, String name, int[] sortedValues, IntDomainVar card)
           
SetVarImpl(Solver solver, String name, int[] sortedValues, IntDomainVar card, int type)
          Constructor of a SetVar
SetVarImpl(Solver solver, String name, int a, int b, IntDomainVar card)
           
SetVarImpl(Solver solver, String name, int a, int b, IntDomainVar card, int type)
          Constructor of SetVar
 

Uses of Solver in choco.kernel.common.util.tools
 

Methods in choco.kernel.common.util.tools with parameters of type Solver
static IntDomainVar VariableUtils.createDirVar(Solver solver, TaskVar t1, TaskVar t2)
           
static IResource<TaskVar> TaskUtils.createFakeResource(Solver s, Constraint c)
           
static IResource<?>[] TaskUtils.createFakeResources(Solver s, Constraint... c)
           
static IntDomainVar[] VariableUtils.getBoolDecisionVars(Solver solver)
           
static IntDomainVar[] VariableUtils.getIntVar(Solver solver, Variable[] variables, int begin, int end)
           
static IntDomainVar[] VariableUtils.getIntVars(Solver solver)
           
static RealVar[] VariableUtils.getRealVars(Solver solver)
           
static SetVar[] VariableUtils.getSetVar(Solver solver, Variable[] variables, int begin, int end)
           
static SetVar[] VariableUtils.getSetVars(Solver solver)
           
static TaskVar[] VariableUtils.getTaskVar(Solver solver, Variable[] variables, int begin, int end)
           
static TaskVar[] VariableUtils.getTaskVars(Solver solver)
           
static IntDomainVar[] VariableUtils.getVar(Solver solver, IntegerVariable[] variables, int begin, int end)
           
static SetVar[] VariableUtils.getVar(Solver solver, SetVariable[] variables, int begin, int end)
           
static TaskVar[] VariableUtils.getVar(Solver solver, TaskVariable[] variables, int begin, int end)
           
static Var[] VariableUtils.getVar(Solver solver, Variable[] variables, int begin, int end)
           
 

Uses of Solver in choco.kernel.model.constraints
 

Methods in choco.kernel.model.constraints with parameters of type Solver
abstract  SConstraint ConstraintManager.makeConstraint(Solver solver, V[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
abstract  SConstraint[] ConstraintManager.makeConstraintAndOpposite(Solver solver, V[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode ExpressionManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 

Uses of Solver in choco.kernel.model.variables
 

Methods in choco.kernel.model.variables with parameters of type Solver
 Var VariableManager.makeVariable(Solver solver, V variable)
          Build a variable for the given solver
 

Uses of Solver in choco.kernel.solver
 

Fields in choco.kernel.solver declared as Solver
protected  Solver Solution.solver
          the solver owning the solution
 

Methods in choco.kernel.solver that return Solver
 Solver Solution.getSolver()
           
 

Methods in choco.kernel.solver with parameters of type Solver
 void Solution.setSolver(Solver s)
           
 

Constructors in choco.kernel.solver with parameters of type Solver
Solution(Solver solver)
          Constructor
 

Uses of Solver in choco.kernel.solver.constraints
 

Methods in choco.kernel.solver.constraints with parameters of type Solver
 AbstractSConstraint<V> SConstraint.opposite(Solver solver)
          computes the constraint modelling the counter-opposite condition of this
 AbstractSConstraint Formula.opposite(Solver solver)
           
 AbstractSConstraint<V> AbstractSConstraint.opposite(Solver solver)
          Get the opposite constraint
 

Uses of Solver in choco.kernel.solver.constraints.global
 

Methods in choco.kernel.solver.constraints.global with parameters of type Solver
 AbstractSConstraint MetaSConstraint.opposite(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.constraints.global.scheduling
 

Methods in choco.kernel.solver.constraints.global.scheduling with parameters of type Solver
static TaskVar[] AbstractTaskSConstraint.createTaskVarArray(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.constraints.real.exp
 

Fields in choco.kernel.solver.constraints.real.exp declared as Solver
 Solver AbstractRealCompoundTerm.solver
          The (optimization or decision) model to which the entity belongs.
 

Methods in choco.kernel.solver.constraints.real.exp that return Solver
 Solver AbstractRealCompoundTerm.getSolver()
          Retrieves the solver of the entity
 

Methods in choco.kernel.solver.constraints.real.exp with parameters of type Solver
 void AbstractRealCompoundTerm.setSolver(Solver solver)
           
 

Constructors in choco.kernel.solver.constraints.real.exp with parameters of type Solver
AbstractRealBinTerm(Solver solver, RealExp exp1, RealExp exp2)
           
AbstractRealCompoundTerm(Solver solver)
           
AbstractRealUnTerm(Solver solver, RealExp exp1)
           
 

Uses of Solver in choco.kernel.solver.constraints.reified
 

Methods in choco.kernel.solver.constraints.reified with parameters of type Solver
 SConstraint BoolNode.extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 IntDomainVar INode.extractResult(Solver s)
           
 IntDomainVar[] INode.getScope(Solver s)
          Compute the set of solver variable involved in this predicat
 

Uses of Solver in choco.kernel.solver.goals
 

Methods in choco.kernel.solver.goals with parameters of type Solver
 Goal Goal.execute(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.goals.choice
 

Methods in choco.kernel.solver.goals.choice with parameters of type Solver
 Goal SetVal.execute(Solver s)
           
 Goal RemoveVal.execute(Solver s)
           
 

Uses of Solver in choco.kernel.solver.goals.solver
 

Methods in choco.kernel.solver.goals.solver with parameters of type Solver
 Goal ChoicePoint.execute(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.propagation
 

Fields in choco.kernel.solver.propagation declared as Solver
 Solver ShavingTools.solver
           
 

Methods in choco.kernel.solver.propagation that return Solver
 Solver ShavingTools.getSolver()
           
 

Constructors in choco.kernel.solver.propagation with parameters of type Solver
ShavingTools(Solver solver, IntDomainVar[] vars)
           
 

Uses of Solver in choco.kernel.solver.search
 

Fields in choco.kernel.solver.search declared as Solver
 Solver AbstractSearchStrategy.solver
          The (optimization or decision) model to which the entity belongs.
protected  Solver AbstractSearchHeuristic.solver
          the model to which the heuristic is related
 

Methods in choco.kernel.solver.search that return Solver
 Solver AbstractSearchStrategy.getSolver()
          Retrieves the solver of the entity
 Solver AbstractSearchHeuristic.getSolver()
           
 

Methods in choco.kernel.solver.search with parameters of type Solver
 void ISolutionPool.recordSolution(Solver solver)
          use AbstractSearchStrategy.writeSolution(Solution) with the target object of the pool, if any.
 

Constructors in choco.kernel.solver.search with parameters of type Solver
AbstractGlobalSearchStrategy(Solver solver)
           
AbstractOptimize(Solver solver, IObjectiveManager bounds, boolean maximize)
          constructor
AbstractSearchHeuristic(Solver solver)
           
AbstractSearchStrategy(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.search.checker
 

Methods in choco.kernel.solver.search.checker with parameters of type Solver
 void ISolutionCheckerEngine.checkConstraints(Solver solver)
          Check satisfaction of every constraints involved within the solver.
 void AbstractSolutionCheckerEngine.checkConstraints(Solver solver)
          Check satisfaction of every constraints involved within the solver.
 void ISolutionCheckerEngine.checkSolution(Solver solver)
          Check the current solution of the solver.
 void AbstractSolutionCheckerEngine.checkSolution(Solver solver)
          Check the current solution of the solver.
 void ISolutionCheckerEngine.checkVariables(Solver solver)
          Check instantiation of every variables involved within the solver.
 void AbstractSolutionCheckerEngine.checkVariables(Solver solver)
          Check instantiation of every variables involved within the solver.
 boolean ISolutionCheckerEngine.inspectConstraints(Solver solver)
          Inspect satisfaction of every constraints declared in solver.
 boolean AbstractSolutionCheckerEngine.inspectConstraints(Solver solver)
          Inspect satisfaction of every constraints declared in solver.
 boolean ISolutionCheckerEngine.inspectSolution(Solver solver)
          Inspect the current solution of solver.
 boolean AbstractSolutionCheckerEngine.inspectSolution(Solver solver)
          Inspect the current solution of solver.
 boolean ISolutionCheckerEngine.inspectVariables(Solver solver)
          Inspect instantiation of every variables involved in solver.
 boolean AbstractSolutionCheckerEngine.inspectVariables(Solver solver)
          Inspect instantiation of every variables involved in solver.
 

Uses of Solver in choco.kernel.solver.search.integer
 

Constructors in choco.kernel.solver.search.integer with parameters of type Solver
AbstractIntVarSelector(Solver solver)
           
AbstractIntVarSelector(Solver solver, IntDomainVar[] vars)
           
DoubleHeuristicIntVarSelector(Solver solver)
           
DoubleHeuristicIntVarSelector(Solver solver, IntDomainVar[] vars)
           
HeuristicIntVarSelector(Solver solver)
           
HeuristicIntVarSelector(Solver solver, IntDomainVar[] vars)
           
IntHeuristicIntVarSelector(Solver solver)
           
IntHeuristicIntVarSelector(Solver solver, IntDomainVar[] vars)
           
 

Uses of Solver in choco.kernel.solver.search.real
 

Constructors in choco.kernel.solver.search.real with parameters of type Solver
AbstractRealVarSelector(Solver solver)
           
AbstractRealVarSelector(Solver solver, RealVar[] rvars)
           
 

Uses of Solver in choco.kernel.solver.search.set
 

Constructors in choco.kernel.solver.search.set with parameters of type Solver
AbstractSetVarSelector(Solver solver)
           
AbstractSetVarSelector(Solver solver, SetVar[] vars)
           
 

Uses of Solver in choco.kernel.solver.variables
 

Constructors in choco.kernel.solver.variables with parameters of type Solver
AbstractVar(Solver solver, String name, APartiallyStoredCstrList<? extends SConstraint> constraints)
          Initializes a new variable.
 

Uses of Solver in choco.kernel.solver.variables.real
 

Methods in choco.kernel.solver.variables.real that return Solver
 Solver RealIntervalConstant.getSolver()
          Retrieves the solver of the entity
 

Methods in choco.kernel.solver.variables.real with parameters of type Solver
 void RealIntervalConstant.setSolver(Solver solver)
           
 

Uses of Solver in choco.kernel.solver.variables.scheduling
 

Methods in choco.kernel.solver.variables.scheduling with parameters of type Solver
 boolean TaskVar.detectOrPostConsistencyConstraint(Solver solver)
           
 void TaskVar.postConsistencyConstraint(Solver solver)
           
 void TaskVar.postHorizonConstraint(Solver solver, int horizon)
           
 

Constructors in choco.kernel.solver.variables.scheduling with parameters of type Solver
TaskVar(Solver solver, int id, String name, IntDomainVar start, IntDomainVar end, IntDomainVar duration)
          Initializes a new variable.
 

Uses of Solver in choco.kernel.visu
 

Methods in choco.kernel.visu with parameters of type Solver
 void IVisu.listen(Solver s)
          Initializes the IVisu from the Solver
 

Uses of Solver in choco.visu
 

Methods in choco.visu with parameters of type Solver
 void Visu.listen(Solver s)
          Initializes the IVisu from the Solver
 

Uses of Solver in choco.visu.components.chart
 

Methods in choco.visu.components.chart with parameters of type Solver
static void ChocoChartFactory.createAndShowGUI(String title, Solver solver)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createPackChart(String title, Solver s)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createPackChart(String title, Solver s, PackModel... modelers)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createPackChart(String title, Solver s, PackModel modeler)
           
static org.jfree.data.category.CategoryDataset ChocoDatasetFactory.createPackDataset(Solver s, PackModel modeler)
           
static org.jfree.data.category.CategoryDataset[] ChocoDatasetFactory.createPackDataset(String title, Solver s)
           
static org.jfree.data.gantt.TaskSeriesCollection ChocoDatasetFactory.createTaskCollection(Solver s, Iterator<Constraint> iter)
           
static org.jfree.data.gantt.TaskSeriesCollection ChocoDatasetFactory.createTaskCollection(Solver solver, String prefix, TaskVariable[][] tasks)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createUnaryHChart(String title, Solver scheduler)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createUnaryHChart(String title, Solver scheduler, Constraint... resources)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createUnaryHChart(String title, Solver scheduler, TaskVariable[][] resources)
           
static org.jfree.chart.JFreeChart ChocoChartFactory.createUnaryVChart(String title, Solver scheduler)
           
 

Uses of Solver in choco.visu.components.chart.ui
 

Constructors in choco.visu.components.chart.ui with parameters of type Solver
ChocoChartPanel(Solver solver)
           
 

Uses of Solver in db
 

Methods in db with parameters of type Solver
 Integer DbManager.getModelID(Solver solver)
           
 Integer DbManager.insertSolver(Solver solver, String instanceName)
           
 Integer DbManager.insertSolver(Solver solver, String instanceName, boolean enableSolution)
           
 

Uses of Solver in parser.chocogen
 

Methods in parser.chocogen with parameters of type Solver
static boolean XmlModel.checkEverythingIsInstantiated(InstanceParser parser, Solver s)
           
 

Uses of Solver in parser.instances
 

Fields in parser.instances declared as Solver
protected  Solver AbstractInstanceModel.solver
           
 

Methods in parser.instances that return Solver
 Solver XcspModel.buildSolver()
           
 Solver FcspModel.buildSolver()
          create a solver from the current model
 Solver AbstractMinimizeModel.buildSolver()
           
abstract  Solver AbstractInstanceModel.buildSolver()
          create a solver from the current model
 Solver AbstractInstanceModel.getSolver()
           
 

Methods in parser.instances with parameters of type Solver
static boolean XcspModel.checkEverythingIsInstantiated(InstanceParser parser, Solver s)
           
 

Uses of Solver in samples.jobshop
 

Methods in samples.jobshop with parameters of type Solver
 SConstraint SimpleDTConstraint.SimpleDTConstraintManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint[] SimpleDTConstraint.SimpleDTConstraintManager.makeConstraintAndOpposite(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode SimpleDTConstraint.SimpleDTConstraintManager.makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
           
 

Uses of Solver in samples.multicostregular.asap.hci.abstraction
 

Methods in samples.multicostregular.asap.hci.abstraction that return Solver
 Solver ASAPDataHandler.getCPSolver()
           
 

Uses of Solver in samples.multicostregular.asap.heuristics
 

Constructors in samples.multicostregular.asap.heuristics with parameters of type Solver
ASAPValSelector(Solver s, IntegerVariable[][] vars, ASAPDataHandler d)
           
ASAPVarSelector(IntDomainVar[][] vars, Solver solver)
           
ASAPVarSelector(Solver s, IntegerVariable[][] vars)
           
CoverVarSelector(IntDomainVar[][] vars, int[][] lowb, Solver solver)
           
 

Uses of Solver in samples.multicostregular.carsequencing.heuristics
 

Constructors in samples.multicostregular.carsequencing.heuristics with parameters of type Solver
ManInTheMiddleVarHeur(Solver solver, IntDomainVar[] vars)
           
 

Uses of Solver in samples.multicostregular.nsp
 

Methods in samples.multicostregular.nsp with parameters of type Solver
 SConstraint NSPStruct.NSPStrucManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 String NSPModel.solution(Solver s)
           
 

Uses of Solver in samples.multicostregular.planner
 

Methods in samples.multicostregular.planner with parameters of type Solver
 SConstraint SubSetChannelling.SubSetManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint SimpleChannelling.SimpleManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 

Constructors in samples.multicostregular.planner with parameters of type Solver
CenterVarSelec(Solver solver, IntDomainVar[] vars)
           
 

Uses of Solver in samples.tutorials
 

Fields in samples.tutorials declared as Solver
 Solver PatternExample.solver
           
 

Uses of Solver in samples.tutorials.lns.lns
 

Classes in samples.tutorials.lns.lns that implement Solver
 class AbstractLNSSolver
          Deprecated.  
 class LNSCPSolver
          A Large Neighborhood Search approach encapsulating a CP solver.
 

Uses of Solver in samples.tutorials.lns.rcpsp
 

Methods in samples.tutorials.lns.rcpsp that return Solver
 Solver RCPSPModeler.buildSolver()
          create a solver from the current model
 

Uses of Solver in samples.tutorials.puzzles
 

Methods in samples.tutorials.puzzles with parameters of type Solver
static void Sudoku.printGrid(IntegerVariable[][] rows, Solver s)
           
 

Uses of Solver in samples.tutorials.to_sort
 

Methods in samples.tutorials.to_sort with parameters of type Solver
 void Picross.showSolution(Solver s)
          Draw the solution in a new Frame
 String Picross.toString(Solver solver)
           
 

Constructors in samples.tutorials.to_sort with parameters of type Solver
Picross(int[][] consRows, int[][] consCols, Solver s)
          Create a new nanogram
 

Uses of Solver in samples.tutorials.to_sort.packing.parser
 

Methods in samples.tutorials.to_sort.packing.parser that return Solver
 Solver BinPackingModel.buildSolver()
           
 

Uses of Solver in samples.tutorials.to_sort.socialgolfer
 

Methods in samples.tutorials.to_sort.socialgolfer with parameters of type Solver
 SConstraint ScalarAtMost.ScalarAtMostManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 void ExSocialGolfer.printSol(IntegerVariable[][][] gvars, Solver solver)
           
 

Uses of Solver in samples.tutorials.to_sort.tsp
 

Fields in samples.tutorials.to_sort.tsp declared as Solver
protected  Solver CycleMain.solver
           
 

Methods in samples.tutorials.to_sort.tsp with parameters of type Solver
 SConstraint SubTourConstraint.SubTourConstraintManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 SConstraint MinSpanningTree.MinSpanningTreeManager.makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
           
 

Uses of Solver in trace
 

Constructors in trace with parameters of type Solver
Visualization(Solver solver, String dir)
          Build a new instance of Visualization.
Visualization(String pbname, Solver solver, String dir)
          Build a new instance of Visualization.
 



Copyright © 2012. All Rights Reserved.