|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SetVar | |
---|---|
choco.cp.solver | |
choco.cp.solver.constraints.global.pack | |
choco.cp.solver.constraints.set | |
choco.cp.solver.propagation | |
choco.cp.solver.search | |
choco.cp.solver.search.set | |
choco.cp.solver.variables.set | |
choco.kernel.common.opres.nosum | |
choco.kernel.common.util.tools | |
choco.kernel.solver | |
choco.kernel.solver.constraints.set | |
choco.kernel.solver.propagation | A package of classes devoted to the event model of constraint propagation. |
choco.kernel.solver.search | A package devoted to the the control of search algorithms. |
choco.kernel.solver.search.set | |
choco.kernel.solver.variables.set | |
samples.tutorials.lns.lns | |
trace.visualizers |
Uses of SetVar in choco.cp.solver |
---|
Methods in choco.cp.solver that return SetVar | |
---|---|
SetVar |
CPSolver.createBoundSetVar(String name,
int a,
int b)
|
SetVar |
CPSolver.createEnumSetVar(String name,
int a,
int b)
|
SetVar |
CPSolver.createSetVar(String name,
int a,
int b,
int type)
|
SetVar |
CPSolver.createSetVar(String name,
int a,
int b,
IntDomainVar card)
|
SetVar[] |
CPSolver.getSetDecisionVars()
get the list of decision set variables. |
SetVar |
CPSolver.getSetVar(int i)
Returns a set variable. |
SetVar |
CPSolver.getSetVarQuick(int i)
|
SetVar[] |
CPSolver.getVar(SetVariable... v)
|
SetVar |
CPSolver.getVar(SetVariable v)
|
Methods in choco.cp.solver that return types with arguments of type SetVar | |
---|---|
DisposableIterator<SetVar> |
CPSolver.getSetVarIterator()
|
Methods in choco.cp.solver with parameters of type SetVar | |
---|---|
void |
CPSolver.addSetVar(SetVar sv)
Add a set variable to the set variables list |
static SConstraint |
CPSolver.eq(SetVar s1,
SetVar s2)
|
SConstraint |
CPSolver.eqCard(SetVar s,
int i)
|
SConstraint |
CPSolver.eqCard(SetVar s,
IntDomainVar i)
|
SConstraint |
CPSolver.geqCard(SetVar sv,
int v)
|
SConstraint |
CPSolver.geqCard(SetVar sv,
IntDomainVar v)
|
int |
CPSolver.getSetVarIndex(SetVar c)
|
SConstraint |
CPSolver.leqCard(SetVar sv,
int i)
|
SConstraint |
CPSolver.leqCard(SetVar sv,
IntDomainVar i)
|
static SConstraint |
CPSolver.neq(SetVar s1,
SetVar s2)
|
Method parameters in choco.cp.solver with type arguments of type SetVar | |
---|---|
void |
CPSolver.setValSetIterator(ValIterator<SetVar> valIterator)
Sets the integer value iterator the search should use |
void |
CPSolver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
Sets the integer value selector the search should use |
void |
CPSolver.setVarSetSelector(VarSelector<SetVar> setVarSelector)
Sets unique set variable selector the search strategy should use. |
Uses of SetVar in choco.cp.solver.constraints.global.pack |
---|
Constructors in choco.cp.solver.constraints.global.pack with parameters of type SetVar | |
---|---|
PackSConstraint(IEnvironment environment,
SetVar[] itemSets,
IntDomainVar[] loads,
IntDomainVar[] sizes,
IntDomainVar[] bins,
IntDomainVar nbNonEmpty)
|
Uses of SetVar in choco.cp.solver.constraints.set |
---|
Fields in choco.cp.solver.constraints.set declared as SetVar | |
---|---|
protected SetVar[] |
SetNaryUnion.setVars
|
protected SetVar |
SetNaryUnion.unionSet
|
Methods in choco.cp.solver.constraints.set that return types with arguments of type SetVar | |
---|---|
AbstractSConstraint<SetVar> |
SetNotEq.opposite(Solver solver)
|
AbstractSConstraint<SetVar> |
SetEq.opposite(Solver solver)
|
AbstractSConstraint<SetVar> |
NotMemberX.opposite(Solver solver)
|
AbstractSConstraint<SetVar> |
MemberX.opposite(Solver solver)
|
AbstractSConstraint<SetVar> |
IsNotIncluded.opposite(Solver solver)
|
AbstractSConstraint<SetVar> |
IsIncluded.opposite(Solver solver)
|
Methods in choco.cp.solver.constraints.set with parameters of type SetVar | |
---|---|
static boolean |
SetNotEq.checkAreNotEqual(SetVar instVar,
SetVar otherVar)
|
void |
SetNotEq.filterForInst(SetVar instvar,
SetVar otherVar,
int idx)
|
static boolean |
IsNotIncluded.isKer1IncludedInEnv2(SetVar x0,
SetVar x1)
|
static boolean |
IsNotIncluded.isKer1IncludedInKer2(SetVar x0,
SetVar x1)
|
Constructors in choco.cp.solver.constraints.set with parameters of type SetVar | |
---|---|
AbstractBoundOfASet(IEnvironment environment,
IntDomainVar[] intvars,
SetVar setvar,
AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
|
|
AllDisjoint(SetVar[] setvars)
|
|
ComplementSet(SetVar v0,
SetVar v1)
|
|
Disjoint(SetVar sv1,
SetVar sv2)
|
|
InverseSet(SetVar[] x,
SetVar[] y)
|
|
InverseSet(SetVar[] x,
SetVar[] y)
|
|
InverseSetInt(IntDomainVar[] x,
SetVar[] s)
|
|
IsIncluded(SetVar sv1,
SetVar sv2)
create a constraint to state sv1 isIncluded sv2 sv1 isIncluded in sv2 |
|
IsNotIncluded(SetVar sv1,
SetVar sv2)
create a constraint to state sv1 isIncluded sv2 sv1 isIncluded in sv2 |
|
MaxOfASet(IEnvironment environment,
IntDomainVar[] intvars,
SetVar setvar,
AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
|
|
MemberX(SetVar v,
int val)
|
|
MemberXiY(SetVar setvar,
IntDomainVar[] intvars)
|
|
MemberXY(SetVar set,
IntDomainVar iv)
|
|
MinOfASet(IEnvironment environment,
IntDomainVar[] intvars,
SetVar setvar,
AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
|
|
NotMemberX(SetVar v,
int val)
|
|
NotMemberXY(SetVar set,
IntDomainVar iv)
|
|
SetCard(SetVar sv,
IntDomainVar iv,
boolean inf,
boolean sup)
|
|
SetEq(SetVar sv1,
SetVar sv2)
create a constraint to state sv1 is not equal to sv2 |
|
SetIntersection(SetVar sv1,
SetVar sv2,
SetVar sv3)
|
|
SetLexicographicOrdering(SetVar v0,
SetVar v1)
|
|
SetNaryUnion(SetVar[] vars,
IEnvironment environment)
|
|
SetNotEq(SetVar sv1,
SetVar sv2)
create a constraint to state sv1 is not equal to sv2 |
|
SetUnion(SetVar sv1,
SetVar sv2,
SetVar sv3)
Enforce sv3 to be the union of sv1 and sv2 |
|
SetValuePrecede(int s,
int t,
SetVar[] svars,
IEnvironment environment)
|
Uses of SetVar in choco.cp.solver.propagation |
---|
Methods in choco.cp.solver.propagation with parameters of type SetVar | |
---|---|
void |
AbstractPropagationEngine.postAddKer(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post modification of kernel addition event |
void |
AbstractPropagationEngine.postInstSet(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post instantiation event |
void |
AbstractPropagationEngine.postRemEnv(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post modification of envelope removal event |
Uses of SetVar in choco.cp.solver.search |
---|
Methods in choco.cp.solver.search with parameters of type SetVar | |
---|---|
static AssignSetVar |
BranchingFactory.lexicographic(Solver solver,
SetVar[] vars)
|
static AssignSetVar |
BranchingFactory.randomSearch(Solver solver,
SetVar[] vars,
long seed)
|
Uses of SetVar in choco.cp.solver.search.set |
---|
Fields in choco.cp.solver.search.set with type parameters of type SetVar | |
---|---|
protected ArrayList<SetVar> |
RandomSetVarSelector.list
|
protected ValSelector<SetVar> |
AssignSetVar.valselector
|
protected VarSelector<SetVar> |
AssignSetVar.varselector
|
Methods in choco.cp.solver.search.set that return SetVar | |
---|---|
SetVar |
StaticSetVarOrder.selectVar()
|
SetVar |
RandomSetVarSelector.selectVar()
|
Methods in choco.cp.solver.search.set with parameters of type SetVar | |
---|---|
int |
RandomSetValSelector.getBestVal(SetVar v)
|
int |
MinEnv.getBestVal(SetVar v)
|
int |
StaticSetVarOrder.getHeuristic(SetVar v)
|
int |
RandomSetVarSelector.getHeuristic(SetVar v)
|
int |
MostConstrainedSet.getHeuristic(SetVar v)
|
int |
MinValueDomSet.getHeuristic(SetVar v)
|
int |
MinDomSet.getHeuristic(SetVar v)
|
int |
MaxValueDomSet.getHeuristic(SetVar v)
|
int |
MaxRegretSet.getHeuristic(SetVar v)
|
int |
MaxDomSet.getHeuristic(SetVar v)
|
Constructors in choco.cp.solver.search.set with parameters of type SetVar | |
---|---|
MaxDomSet(Solver solver,
SetVar[] vars)
|
|
MaxRegretSet(Solver solver,
SetVar[] vars)
|
|
MaxValueDomSet(Solver solver,
SetVar[] vars)
|
|
MinDomSet(Solver solver,
SetVar[] vars)
|
|
MinValueDomSet(Solver solver,
SetVar[] vars)
|
|
MostConstrainedSet(Solver solver,
SetVar[] decisionvs)
|
|
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)
|
Constructor parameters in choco.cp.solver.search.set with type arguments of type SetVar | |
---|---|
AssignSetVar(VarSelector<SetVar> varselect,
ValSelector<SetVar> valselect)
|
|
AssignSetVar(VarSelector<SetVar> varselect,
ValSelector<SetVar> valselect)
|
Uses of SetVar in choco.cp.solver.variables.set |
---|
Classes in choco.cp.solver.variables.set that implement SetVar | |
---|---|
class |
SetVarImpl<C extends AbstractSConstraint & SetPropagator>
History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg |
Methods in choco.cp.solver.variables.set with parameters of type SetVar | |
---|---|
boolean |
SetVarImpl.canBeEqualTo(SetVar x)
Check if the both domain intersects |
static BitSetEnumeratedDomain |
BitSetEnumeratedDomain.empty(SetVar v,
IEnvironment environment)
Specific constructor for empty set variable |
Constructors in choco.cp.solver.variables.set with parameters of type SetVar | |
---|---|
BitSetEnumeratedDomain(SetVar v,
int[] sortedValues,
boolean full,
IEnvironment environment)
|
|
BitSetEnumeratedDomain(SetVar v,
int a,
int b,
boolean full,
IEnvironment environment)
Constructs a new domain for the specified variable and bounds. |
|
SetDomainImpl(SetVar v,
int[] sortedValues,
boolean constant,
IEnvironment environment,
PropagationEngine propagationEngine)
Constructor of set var, allow creation of constant set var and empty set var. |
|
SetDomainImpl(SetVar v,
int[] sortedValues,
IEnvironment environment,
PropagationEngine propagationEngine)
|
|
SetDomainImpl(SetVar v,
int a,
int b,
IEnvironment environment,
PropagationEngine propagationEngine)
|
Uses of SetVar in choco.kernel.common.opres.nosum |
---|
Methods in choco.kernel.common.opres.nosum with parameters of type SetVar | |
---|---|
void |
NoSumList.setCandidatesFromVar(SetVar svar)
|
Uses of SetVar in choco.kernel.common.util.tools |
---|
Methods in choco.kernel.common.util.tools that return SetVar | |
---|---|
static SetVar[] |
VariableUtils.getSetVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
static SetVar[] |
VariableUtils.getSetVars(Solver solver)
|
static SetVar[] |
VariableUtils.getVar(Solver solver,
SetVariable[] variables,
int begin,
int end)
|
Uses of SetVar in choco.kernel.solver |
---|
Methods in choco.kernel.solver that return SetVar | |
---|---|
SetVar |
Solver.createBoundSetVar(String name,
int a,
int b)
|
SetVar |
Solver.createEnumSetVar(String name,
int a,
int b)
|
SetVar |
Solver.createSetVar(String name,
int a,
int b,
int domainType)
|
SetVar[] |
Solver.getSetDecisionVars()
get the list of decision set variables. |
SetVar |
Solver.getSetVar(int i)
Returns a set variable. |
SetVar |
Solver.getSetVarQuick(int i)
|
SetVar[] |
Solver.getVar(SetVariable... v)
|
SetVar |
Solver.getVar(SetVariable v)
|
Methods in choco.kernel.solver that return types with arguments of type SetVar | |
---|---|
DisposableIterator<SetVar> |
Solver.getSetVarIterator()
|
Method parameters in choco.kernel.solver with type arguments of type SetVar | |
---|---|
void |
Solver.setValSetIterator(ValIterator<SetVar> valIterator)
Sets the integer value iterator the search should use |
void |
Solver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
Sets the integer value selector the search should use |
void |
Solver.setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
Sets the set variable selector the search strategy should use. |
Uses of SetVar in choco.kernel.solver.constraints.set |
---|
Fields in choco.kernel.solver.constraints.set declared as SetVar | |
---|---|
SetVar[] |
AbstractLargeSetIntSConstraint.svars
The set variables representing the first part of the scope of the constraint. |
SetVar |
AbstractUnSetSConstraint.v0
The unique variable of the constraint. |
SetVar |
AbstractTernSetSConstraint.v0
The variables of the constraint. |
SetVar |
AbstractBinSetSConstraint.v0
The variables of the constraint. |
SetVar |
AbstractTernSetSConstraint.v1
The variables of the constraint. |
SetVar |
AbstractBinSetSConstraint.v1
The variables of the constraint. |
SetVar |
AbstractBinSetIntSConstraint.v1
The second variable of the constraint. |
SetVar |
AbstractTernSetSConstraint.v2
The variables of the constraint. |
Methods in choco.kernel.solver.constraints.set that return SetVar | |
---|---|
SetVar |
AbstractBinSetIntSConstraint.getSetVar(int i)
Gets the i th search valued variable. |
Constructors in choco.kernel.solver.constraints.set with parameters of type SetVar | |
---|---|
AbstractBinSetIntSConstraint(IntDomainVar v0,
SetVar v1)
default constructor |
|
AbstractBinSetSConstraint(SetVar v0,
SetVar v1)
|
|
AbstractLargeSetIntSConstraint(IntDomainVar[] intvars,
SetVar[] setvars)
|
|
AbstractLargeSetSConstraint(SetVar[] vars)
|
|
AbstractSetSConstraint(SetVar[] vars)
Constraucts a constraint with the priority 0. |
|
AbstractTernSetSConstraint(SetVar v0,
SetVar v1,
SetVar v2)
|
|
AbstractUnSetSConstraint(SetVar v0)
|
Uses of SetVar in choco.kernel.solver.propagation |
---|
Methods in choco.kernel.solver.propagation with parameters of type SetVar | |
---|---|
void |
PropagationEngine.postAddKer(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post modification of kernel addition event |
void |
PropagationEngine.postInstSet(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post instantiation event |
void |
PropagationEngine.postRemEnv(SetVar v,
SConstraint constraint,
boolean forceAwake)
Specific method to post modification of envelope removal event |
Uses of SetVar in choco.kernel.solver.search |
---|
Methods in choco.kernel.solver.search that return SetVar | |
---|---|
SetVar |
IntBranchingTrace.getBranchingSetVar()
|
SetVar |
IntBranchingDecision.getBranchingSetVar()
get and cast the branching object. |
Uses of SetVar in choco.kernel.solver.search.set |
---|
Fields in choco.kernel.solver.search.set declared as SetVar | |
---|---|
protected SetVar[] |
AbstractSetVarSelector.vars
a specific array of SetVars from which the object seeks the one with smallest domain |
Methods in choco.kernel.solver.search.set that return SetVar | |
---|---|
SetVar[] |
AbstractSetVarSelector.getVars()
Get decision vars |
SetVar |
AbstractSetVarSelector.selectVar()
|
Methods in choco.kernel.solver.search.set with parameters of type SetVar | |
---|---|
abstract int |
AbstractSetVarSelector.getHeuristic(SetVar v)
|
void |
AbstractSetVarSelector.setVars(SetVar[] vars)
Deprecated. |
Constructors in choco.kernel.solver.search.set with parameters of type SetVar | |
---|---|
AbstractSetVarSelector(Solver solver,
SetVar[] vars)
|
Uses of SetVar in choco.kernel.solver.variables.set |
---|
Methods in choco.kernel.solver.variables.set with parameters of type SetVar | |
---|---|
boolean |
SetVar.canBeEqualTo(SetVar x)
Public user API: Domains : testing whether two variables have intersecting domains. |
Uses of SetVar in samples.tutorials.lns.lns |
---|
Methods in samples.tutorials.lns.lns that return SetVar | |
---|---|
SetVar |
AbstractLNSSolver.createBoundSetVar(String name,
int a,
int b)
Deprecated. |
SetVar |
AbstractLNSSolver.createEnumSetVar(String name,
int a,
int b)
Deprecated. |
SetVar |
AbstractLNSSolver.createSetVar(String name,
int a,
int b,
int domainType)
Deprecated. |
SetVar[] |
AbstractLNSSolver.getSetDecisionVars()
Deprecated. |
SetVar |
AbstractLNSSolver.getSetVar(int i)
Deprecated. |
SetVar |
AbstractLNSSolver.getSetVarQuick(int i)
Deprecated. |
SetVar[] |
AbstractLNSSolver.getVar(SetVariable... v)
Deprecated. |
SetVar |
AbstractLNSSolver.getVar(SetVariable v)
Deprecated. |
Methods in samples.tutorials.lns.lns that return types with arguments of type SetVar | |
---|---|
DisposableIterator<SetVar> |
AbstractLNSSolver.getSetVarIterator()
Deprecated. |
Method parameters in samples.tutorials.lns.lns with type arguments of type SetVar | |
---|---|
void |
AbstractLNSSolver.setValSetIterator(ValIterator<SetVar> valIterator)
Deprecated. |
void |
AbstractLNSSolver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
Deprecated. |
void |
AbstractLNSSolver.setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
Deprecated. |
Uses of SetVar in trace.visualizers |
---|
Methods in trace.visualizers with parameters of type SetVar | |
---|---|
protected Writer |
Writer.arrayDvar(SetVar[] vars,
int pf)
|
protected Writer |
Writer.svar(SetVar svar,
String idx,
int pf)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |