public class ArgMax extends Constraint implements SatisfiedPresent
Modifier and Type | Field and Description |
---|---|
int |
indexOffset
It specifies indexOffset within an element constraint list[index-indexOffset] = value.
|
IntVar[] |
list
It specifies a list of variables among which a maximum value is being searched for.
|
IntVar |
maxIndex
It specifies variable max which stores the maximum value present in the list.
|
boolean |
tiebreak
tirbreak == true --> select element with the lowest index if exist several
|
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
ArgMax(IntVar[] list,
IntVar maxIndex) |
ArgMax(IntVar[] list,
IntVar maxIndex,
int indexOffset,
boolean tiebreak)
It constructs max constraint.
|
ArgMax(List<? extends IntVar> variables,
IntVar maxIndex) |
ArgMax(List<? extends IntVar> variables,
IntVar maxIndex,
int indexOffset,
boolean tiebreak)
It constructs max 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() |
boolean |
satisfied()
It checks if the constraint is satisfied.
|
String |
toString()
It produces a string representation of a constraint state.
|
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, 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 IntVar maxIndex
public int indexOffset
public boolean tiebreak
public ArgMax(IntVar[] list, IntVar maxIndex, int indexOffset, boolean tiebreak)
maxIndex
- variable denoting the index of the maximum valuelist
- the array of variables for which the index of the maximum value is imposed.indexOffset
- the offset for the index that is computed from 1 by default (if needed from 0, use -1 for this parameter)tiebreak
- defines if tie breaking should be used (returning the least index if several maximum elementspublic ArgMax(List<? extends IntVar> variables, IntVar maxIndex, int indexOffset, boolean tiebreak)
maxIndex
- variable denoting index of the maximum valuevariables
- the array of variables for which the maximum value is imposed.indexOffset
- the offset for the index that is computed from 1 by default (if needed from 0, use -1 for this parameter)tiebreak
- defines if tie breaking sgould be used (returning the least index if several maximum elementspublic void consistency(Store store)
Constraint
consistency
in class Constraint
store
- constraint store within which the constraint consistency is being checked.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
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.
satisfied
in interface SatisfiedPresent
public String toString()
Constraint
toString
in class Constraint
Copyright © 2020. All rights reserved.