public class SumFloat extends LinearFloat
This version works as argument to Reified and Xor constraints. For other constraints And, Or, Not, Eq, IfThen, IfThenElse it does not work currently.
eq, ge, gt, le, list, lt, ne, relationType, sum, weights
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
|Constructor and Description|
SumFloat constraint does not use Store parameter any longer.
consistency, getDefaultConsistencyPruningEvent, getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, getDefaultNotConsistencyPruningEvent, impose, notConsistency, notSatisfied, rel2String, relation, satisfied, toString
getNestedPruningEvent, getNotConsistencyPruningEvent, include, setNotConsistencyPruningEvent
arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, numberArgs, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, getDubletonsSkipSingletons, imposeDecomposition
@Deprecated public SumFloat(Store store, FloatVar list, String rel, FloatVar sum)
store- current store
list- variables which are being multiplied by weights.
rel- the relation, one of "==", "<", ">", "<=", ">=", "!="
sum- variable containing the sum of weighted variables.
Copyright © 2018. All rights reserved.