public class Count extends Constraint
Modifier and Type | Field and Description |
---|---|
IntVar |
counter
It specifies variable counter to count the number of occurences of the specified value in a list.
|
IntVar[] |
list
The list of variables which are checked and counted if equal to specified value.
|
int |
value
The value to which is any variable is equal to makes the constraint count it.
|
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, trace
queueIndex
Constructor and Description |
---|
Count(ArrayList<? extends IntVar> list,
IntVar counter,
int value)
It constructs a Count constraint.
|
Count(IntVar[] list,
IntVar counter,
int value)
It constructs a Count 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 |
removeConstraint()
It removes the constraint by removing this constraint from all variables.
|
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, queueVariable, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
public IntVar counter
public IntVar[] list
public int value
public static String[] xmlAttributes
public Count(IntVar[] list, IntVar counter, int value)
value
- value which is countedlist
- variables which equality to val is counted.counter
- number of variables equal to val.public int getConsistencyPruningEvent(Var var)
Constraint
getConsistencyPruningEvent
in class Constraint
var
- variable for which pruning event is retrievedpublic void impose(Store store)
Constraint
impose
in class Constraint
store
- the constraint store to which the constraint is imposed to.public void consistency(Store store)
Constraint
consistency
in class Constraint
store
- constraint store within which the constraint consistency is being checked.public boolean satisfied()
Constraint
satisfied
in class Constraint
public ArrayList<Var> arguments()
Constraint
arguments
in class Constraint
public void removeConstraint()
Constraint
removeConstraint
in class Constraint
public String toString()
Constraint
toString
in class Constraint
public void increaseWeight()
Constraint
increaseWeight
in class Constraint
Copyright © 2015. All rights reserved.