public class CountBounds extends PrimitiveConstraint
Modifier and Type  Field and Description 

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.

notConsistencyPruningEvents
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description 

CountBounds(IntVar[] list,
int value,
int lb,
int ub)
It constructs a CountBounds constraint.

CountBounds(List<? extends IntVar> list,
int value,
int lb,
int ub)
It constructs a CountBounds constraint.

Modifier and Type  Method and Description 

void 
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.

int 
getDefaultConsistencyPruningEvent() 
protected int 
getDefaultNotConsistencyPruningEvent() 
void 
impose(Store store)
It imposes the constraint in a given store.

void 
include(Store store)
It provide store for constraints that are not imposed but called from other constraints.

void 
notConsistency(Store store)
It makes pruning in such a way that constraint is notConsistent.

boolean 
notSatisfied()
It checks if constraint would be always not satisfied.

boolean 
satisfied()
It checks if the constraint is satisfied.

String 
toString()
It produces a string representation of a constraint state.

getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, getNestedPruningEvent, getNotConsistencyPruningEvent, setNotConsistencyPruningEvent
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
public final IntVar[] list
public final int value
public CountBounds(IntVar[] list, int value, int lb, int ub)
value
 value which is countedlist
 variables which equality to val is counted.lb
 minimal number of occurences of value at list.ub
 maximal number of occurences of value at list.public CountBounds(List<? extends IntVar> list, int value, int lb, int ub)
value
 value which is countedlist
 variables which equality to val is counted.lb
 minimal number of occurences of value at list.ub
 maximal number of occurences of value at list.public void impose(Store store)
Constraint
impose
in class PrimitiveConstraint
store
 the constraint store to which the constraint is imposed to.public void include(Store store)
StoreAware
include
in interface StoreAware
include
in class PrimitiveConstraint
store
 the constraint store in which context the constraint is executed.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
protected int getDefaultNotConsistencyPruningEvent()
getDefaultNotConsistencyPruningEvent
in class PrimitiveConstraint
public void consistency(Store store)
Constraint
consistency
in class Constraint
store
 constraint store within which the constraint consistency is being checked.public void notConsistency(Store store)
PrimitiveConstraint
notConsistency
in class PrimitiveConstraint
store
 the constraint store in which context the notConsistency technique is evaluated.public boolean satisfied()
SatisfiedPresent
Implementations of this interface for constraints that are not PrimitiveConstraint may require constraint imposition and consistency check as a requirement to work correctly.
public boolean notSatisfied()
PrimitiveConstraint
notSatisfied
in class PrimitiveConstraint
public String toString()
Constraint
toString
in class Constraint
Copyright © 2020. All rights reserved.