Uses of Class
choco.kernel.model.variables.set.SetVariable

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.  
 



Copyright © 2012. All Rights Reserved.