public class ArgMin 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 |
minIndex
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 |
---|
ArgMin(IntVar[] list,
IntVar minIndex) |
ArgMin(IntVar[] list,
IntVar minIndex,
int indexOffset,
boolean tiebreak)
It constructs max constraint.
|
ArgMin(List<? extends IntVar> variables,
IntVar minIndex) |
ArgMin(List<? extends IntVar> variables,
IntVar minIndex,
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 minIndex
public int indexOffset
public boolean tiebreak
public ArgMin(IntVar[] list, IntVar minIndex, int indexOffset, boolean tiebreak)
minIndex
- 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 ArgMin(List<? extends IntVar> variables, IntVar minIndex, int indexOffset, boolean tiebreak)
minIndex
- variable denoting the index of minimum valuevariables
- the array of variables for which the minimum 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.