public class Among extends Constraint
| Modifier and Type | Field and Description |
|---|---|
IntervalDomain |
kSet
It specifies a set of values which if assigned to a variable from a list makes variable counted.
|
IntVar[] |
list
It specifies the list of variables whose values are checked.
|
IntVar |
n
It is a counter variable.
|
static String[] |
xmlAttributes
It specifies the arguments required to be saved by an XML format as well as
the constructor being called to recreate an object from an XML format.
|
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, tracequeueIndex| Constructor and Description |
|---|
Among(ArrayList<IntVar> list,
IntervalDomain kSet,
IntVar n)
It constructs an Among constraint.
|
Among(IntVar[] list,
IntervalDomain kSet,
IntVar n)
It constructs an Among constraint.
|
| Modifier and Type | Method and Description |
|---|---|
ArrayList<Var> |
arguments()
It returns the variables in a scope of the constraint.
|
void |
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
int |
getConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint.
|
void |
impose(Store store)
It imposes the constraint in a given store.
|
void |
increaseWeight()
It increases the weight of the variables in the constraint scope.
|
void |
queueVariable(int level,
Var var)
This is a function called to indicate which variable in a scope of
constraint has changed.
|
void |
removeConstraint()
It removes the constraint by removing this constraint from all variables.
|
void |
removeLevel(int level)
This function is called in case of the backtrack, so a constraint can
clear the queue of changed variables which is no longer valid.
|
boolean |
satisfied()
It checks if the constraint is satisfied.
|
String |
toString()
It produces a string representation of a constraint state.
|
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedbackauxiliaryVariables, derivative, imposeDecompositionpublic IntVar[] list
public IntervalDomain kSet
public IntVar n
public static String[] xmlAttributes
public Among(IntVar[] list, IntervalDomain kSet, IntVar n)
list - variables which are compared to KsetkSet - set of integer values against which we check if variables are equal to.n - number of possible variables equal to a value from Kset.public Among(ArrayList<IntVar> list, IntervalDomain kSet, IntVar n)
list - variables which are compared to KsetkSet - set of integer values against which we check if variables are equal to.n - number of possible variables equal to a value from Kset.public ArrayList<Var> arguments()
Constraintarguments in class Constraintpublic void removeLevel(int level)
ConstraintremoveLevel in class Constraintlevel - the level which is being removed.public void consistency(Store store)
Constraintconsistency in class Constraintstore - constraint store within which the constraint consistency is being checked.public int getConsistencyPruningEvent(Var var)
ConstraintgetConsistencyPruningEvent in class Constraintvar - variable for which pruning event is retrievedpublic void impose(Store store)
Constraintimpose in class Constraintstore - the constraint store to which the constraint is imposed to.public void queueVariable(int level,
Var var)
ConstraintqueueVariable in class Constraintlevel - the level of the store at which the change has occurred.var - variable which has changed.public void removeConstraint()
ConstraintremoveConstraint in class Constraintpublic boolean satisfied()
Constraintsatisfied in class Constraintpublic String toString()
ConstrainttoString in class Constraintpublic void increaseWeight()
ConstraintincreaseWeight in class ConstraintCopyright © 2016. All rights reserved.