|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SetVariable | |
---|---|
choco | |
choco.cp.model | |
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.set | |
choco.cp.model.managers.variables | |
choco.cp.solver | |
choco.cp.solver.constraints.set | |
choco.kernel.common.util.tools | |
choco.kernel.model | The root package for the Constraint Programming Kernel. |
choco.kernel.model.constraints.pack | |
choco.kernel.model.variables.set | |
choco.kernel.solver | |
parser.flatzinc.ast.expression | |
samples.tutorials.lns.lns |
Uses of SetVariable in choco |
---|
Methods in choco that return SetVariable | |
---|---|
static SetVariable |
DeprecatedChoco.constant(String name,
int... value)
Deprecated. |
static SetVariable |
DeprecatedChoco.makeBoundSetVar(String name,
int binf,
int bsup)
Deprecated. |
static SetVariable[] |
DeprecatedChoco.makeBoundSetVarArray(String name,
int n,
int binf,
int bsup)
Deprecated. |
static SetVariable |
DeprecatedChoco.makeConstantSetVar(String name,
int... value)
Deprecated. |
static SetVariable |
DeprecatedChoco.makeEnumSetVar(String name,
int binf,
int bsup)
Deprecated. |
static SetVariable[] |
DeprecatedChoco.makeEnumSetVarArray(String name,
int n,
int binf,
int bsup)
Deprecated. |
static SetVariable |
Choco.makeSetVar(String name,
int[] valuesArray,
String... options)
Make a set variable |
static SetVariable |
Choco.makeSetVar(String name,
int lowB,
int uppB,
String... options)
Make a set variable |
static SetVariable[] |
DeprecatedChoco.makeSetVarArray(String name,
int n,
int binf,
int bsup)
Deprecated. |
static SetVariable[] |
Choco.makeSetVarArray(String name,
int dim,
int lowB,
int uppB,
String... options)
Make an array of set variables |
Methods in choco with parameters of type SetVariable | |
---|---|
static Constraint[] |
Reformulation.among(IntegerVariable[] variables,
SetVariable s,
IntegerVariable nvar)
AMONG constraint reformulated like: introducing BOOL variable for each VARIABLE, adding following constraints: for each VARIABLE : REIFIED(BOOL_i, MEMBER(VARIABLE_i, S)), EQ(SUM(BOOL), N), |
static Constraint |
Choco.among(IntegerVariable nvar,
IntegerVariable[] variables,
SetVariable svar)
NVAR is the number of variables of the collection VARIABLES that take their value in SVAR. |
static Constraint |
Choco.complementSet(SetVariable x,
SetVariable y)
complement(X) == Y i.e. |
static Constraint |
Choco.eq(SetVariable sv1,
SetVariable sv2)
Return a constraint that ensures sv1 == sv2 |
static Constraint |
Choco.eqCard(SetVariable sv,
int val)
Return a constraint that ensures |sv| = val |
static Constraint |
Choco.eqCard(SetVariable sv,
IntegerVariable v)
Return a constraint that ensures |sv| = v |
static Constraint |
Choco.geqCard(SetVariable sv,
int val)
|
static Constraint |
Choco.geqCard(SetVariable sv,
IntegerVariable v)
|
static Constraint |
Choco.inverseSet(IntegerVariable[] iv,
SetVariable[] sv)
A constraint stating that value j belongs to the sv[i] set variable iff integer variable iv[j] equals to i. |
static Constraint |
Choco.inverseSet(SetVariable[] xs,
SetVariable[] ys)
X collection set-variable Y collection set-variable Y should have enough slots to handle X domain size (ie. |
static Constraint |
Choco.inverseSet(SetVariable[] xs,
SetVariable[] ys)
X collection set-variable Y collection set-variable Y should have enough slots to handle X domain size (ie. |
static Constraint |
Choco.isIncluded(SetVariable sv1,
SetVariable sv2)
Checks that variable sv1 is included in sv2 |
static Constraint |
Choco.isNotIncluded(SetVariable sv1,
SetVariable sv2)
Checks that variable sv1 is not included in sv2 |
static Constraint |
Choco.leqCard(SetVariable sv,
int val)
|
static Constraint |
Choco.leqCard(SetVariable sv,
IntegerVariable v)
|
static Constraint |
Choco.max(SetVariable svar,
IntegerVariable[] ivars,
IntegerVariable min,
String... options)
Ensures the variable min to represent the maximum value in ivars that occurs in the sublist associated with set. |
static Constraint |
Choco.member(IntegerVariable var,
SetVariable sv1)
Ensures that the value of an integer variable is contained in a set variable. |
static Constraint |
Choco.member(int val,
SetVariable sv1)
Ensures that a value is contained in a set variable. |
static Constraint |
Choco.member(SetVariable sv1,
int val)
Ensures that a value is contained in a set variable. |
static Constraint |
Choco.member(SetVariable sv,
IntegerVariable... vars)
Ensures that the values of integer variables are contained in a set variable. |
static Constraint |
Choco.member(SetVariable sv1,
IntegerVariable var)
Ensures that the value of an integer variable is contained in a set variable. |
static Constraint |
Choco.min(SetVariable svar,
IntegerVariable[] ivars,
IntegerVariable min,
String... options)
Ensures the variable min to represent the minimum value in ivars that occurs in the sublist associated with set. |
static Constraint |
Choco.neq(SetVariable sv1,
SetVariable sv2)
Ensure that the two variables are not equal (not exactly the same values in the set) |
static Constraint |
Choco.neqCard(SetVariable sv,
int val)
Return a constraint that ensures |sv| ! |
static Constraint |
Choco.neqCard(SetVariable sv,
IntegerVariable v)
Return a constraint that ensures |sv| ! |
static Constraint |
Choco.notMember(IntegerVariable var,
SetVariable sv1)
Ensures that the value of an integer variable is not contained in a set variable. |
static Constraint |
Choco.notMember(int val,
SetVariable sv1)
Ensures that a value is not contained ina set variable. |
static Constraint |
Choco.notMember(SetVariable sv1,
int val)
Ensures that a value is not contained ina set variable. |
static Constraint |
Choco.notMember(SetVariable sv1,
IntegerVariable var)
Ensures that the value of an integer variable is not contained in a set variable. |
static Constraint |
Choco.pack(SetVariable[] itemSets,
IntegerVariable[] loads,
IntegerVariable[] bins,
IntegerConstantVariable[] sizes,
IntegerVariable nbNonEmpty,
String... options)
|
static Constraint |
Choco.setDisjoint(SetVariable... sv)
Ensure every set of sv are disjoints from each other. |
static Constraint |
Choco.setInter(SetVariable sv1,
SetVariable sv2,
SetVariable inter)
Enforce a set to be the intersection of two others. |
static Constraint |
Choco.setLex(SetVariable x,
SetVariable y)
X <=lex Y |
static Constraint |
Choco.setUnion(SetVariable[] sv,
SetVariable union)
Enforce a set to be the union of n others |
static Constraint |
Choco.setUnion(SetVariable[] sv,
SetVariable union)
Enforce a set to be the union of n others |
static Constraint |
Choco.setUnion(SetVariable sv1,
SetVariable sv2,
SetVariable union)
Enforce a set to be the union of two others |
static Constraint |
Choco.setValuePrecede(SetVariable[] sv,
int s,
int t)
If there exists a set variable v1 of VARIABLES such that S does not belong to v1 and T does, then there also exists a set variable v2 preceding v1 such that S belongs to v2 and T does not. |
Uses of SetVariable in choco.cp.model |
---|
Fields in choco.cp.model with type parameters of type SetVariable | |
---|---|
protected DeterministicIndicedList<SetVariable> |
CPModel.setVars
All the set intVars in the model. |
Methods in choco.cp.model that return SetVariable | |
---|---|
SetVariable |
CPModel.getSetVar(int i)
Returns a set variable. |
Methods in choco.cp.model that return types with arguments of type SetVariable | |
---|---|
Iterator<SetVariable> |
CPModel.getSetVarIterator()
|
Uses of SetVariable in choco.cp.model.managers |
---|
Methods in choco.cp.model.managers with parameters of type SetVariable | |
---|---|
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" |
Uses of SetVariable in choco.cp.model.managers.constraints.set |
---|
Methods in choco.cp.model.managers.constraints.set with parameters of type SetVariable | |
---|---|
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)
|
Uses of SetVariable in choco.cp.model.managers.variables |
---|
Methods in choco.cp.model.managers.variables with parameters of type SetVariable | |
---|---|
Var |
SetVariableManager.makeVariable(Solver solver,
SetVariable var)
Build a set variable for the given solver |
Uses of SetVariable in choco.cp.solver |
---|
Methods in choco.cp.solver with parameters of type SetVariable | |
---|---|
SetVar[] |
CPSolver.getVar(SetVariable... v)
|
SetVar |
CPSolver.getVar(SetVariable v)
|
Uses of SetVariable in choco.cp.solver.constraints.set |
---|
Methods in choco.cp.solver.constraints.set with parameters of type SetVariable | |
---|---|
static Constraint |
MemberXiY.build(IntegerVariable[] ivars,
SetVariable svar)
|
Uses of SetVariable in choco.kernel.common.util.tools |
---|
Methods in choco.kernel.common.util.tools with parameters of type SetVariable | |
---|---|
static IntegerVariable[] |
VariableUtils.getCardinalities(SetVariable... vars)
|
static SetVar[] |
VariableUtils.getVar(Solver solver,
SetVariable[] variables,
int begin,
int end)
|
Uses of SetVariable in choco.kernel.model |
---|
Methods in choco.kernel.model that return SetVariable | |
---|---|
SetVariable |
Model.getSetVar(int i)
Returns a set variable. |
Methods in choco.kernel.model that return types with arguments of type SetVariable | |
---|---|
Iterator<SetVariable> |
Model.getSetVarIterator()
Retrieves an iterator over SetVariables of the model |
Uses of SetVariable in choco.kernel.model.constraints.pack |
---|
Fields in choco.kernel.model.constraints.pack declared as SetVariable | |
---|---|
SetVariable[] |
PackModel.items
|
Methods in choco.kernel.model.constraints.pack that return SetVariable | |
---|---|
SetVariable[] |
PackModel.getItems()
|
Constructors in choco.kernel.model.constraints.pack with parameters of type SetVariable | |
---|---|
PackModel(IntegerVariable[] bins,
IntegerConstantVariable[] sizes,
SetVariable[] items,
IntegerVariable[] loads)
|
|
PackModel(IntegerVariable[] bins,
IntegerConstantVariable[] sizes,
SetVariable[] items,
IntegerVariable[] loads,
IntegerVariable nbNonEmpty)
|
Uses of SetVariable in choco.kernel.model.variables.set |
---|
Subclasses of SetVariable in choco.kernel.model.variables.set | |
---|---|
class |
SetConstantVariable
|
Uses of SetVariable in choco.kernel.solver |
---|
Methods in choco.kernel.solver with parameters of type SetVariable | |
---|---|
SetVar[] |
Solver.getVar(SetVariable... v)
|
SetVar |
Solver.getVar(SetVariable v)
|
Uses of SetVariable in parser.flatzinc.ast.expression |
---|
Methods in parser.flatzinc.ast.expression that return SetVariable | |
---|---|
abstract SetVariable |
Expression.setVarValue()
Get the SetVariable of the Expression |
SetVariable |
EString.setVarValue()
|
SetVariable |
ESet.setVarValue()
|
SetVariable |
EInt.setVarValue()
|
SetVariable |
EIdentifier.setVarValue()
|
SetVariable |
EIdArray.setVarValue()
|
SetVariable |
EBool.setVarValue()
|
SetVariable |
EArray.setVarValue()
|
SetVariable |
EAnnotation.setVarValue()
|
abstract SetVariable[] |
Expression.toSetVarArray()
Get an array of SetVariable of the Expression |
SetVariable[] |
EString.toSetVarArray()
|
SetVariable[] |
ESet.toSetVarArray()
|
SetVariable[] |
EInt.toSetVarArray()
|
SetVariable[] |
EIdentifier.toSetVarArray()
|
SetVariable[] |
EIdArray.toSetVarArray()
|
SetVariable[] |
EBool.toSetVarArray()
|
SetVariable[] |
EArray.toSetVarArray()
|
SetVariable[] |
EAnnotation.toSetVarArray()
|
Uses of SetVariable in samples.tutorials.lns.lns |
---|
Methods in samples.tutorials.lns.lns with parameters of type SetVariable | |
---|---|
SetVar[] |
AbstractLNSSolver.getVar(SetVariable... v)
Deprecated. |
SetVar |
AbstractLNSSolver.getVar(SetVariable v)
Deprecated. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |