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