public class LinearFloat extends Linear implements UsesQueueVariable
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
notConsistencyPruningEvents
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
LinearFloat(FloatVar[] list,
double[] weights,
String rel,
double sum) |
LinearFloat(FloatVar[] list,
double[] weights,
String rel,
FloatVar sum) |
LinearFloat(List<? extends FloatVar> variables,
List<Double> weights,
String rel,
double sum)
It constructs the constraint LinearFloat.
|
LinearFloat(Store store,
FloatVar[] list,
double[] weights,
String rel,
double sum)
Deprecated.
LinearFloat constraint does not use Store parameter any longer.
|
LinearFloat(Store store,
FloatVar[] list,
double[] weights,
String rel,
FloatVar sum)
Deprecated.
LinearFloat constraint does not use Store parameter any longer.
|
LinearFloat(Store store,
List<? extends FloatVar> variables,
List<Double> weights,
String rel,
double sum)
Deprecated.
LinearFloat constraint does not use Store parameter any longer.
|
Modifier and Type | Method and Description |
---|---|
FloatVar |
derivative(Store store,
FloatVar f,
Set<FloatVar> vars,
FloatVar x) |
void |
queueVariable(int level,
Var var)
This is a function called to indicate which variable in a scope of
constraint has changed.
|
consistency, getDefaultConsistencyPruningEvent, getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, getDefaultNotConsistencyPruningEvent, impose, notConsistency, notSatisfied, rel2String, relation, satisfied, toString
getNestedPruningEvent, getNotConsistencyPruningEvent, include, setNotConsistencyPruningEvent
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, getDubletonsSkipSingletons, imposeDecomposition
@Deprecated public LinearFloat(Store store, FloatVar[] list, double[] weights, String rel, double sum)
store
- current storelist
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">=", "!="sum
- the sum of weighted variables.@Deprecated public LinearFloat(Store store, FloatVar[] list, double[] weights, String rel, FloatVar sum)
store
- current storelist
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">=", "!="sum
- variable containing the sum of weighted variables.@Deprecated public LinearFloat(Store store, List<? extends FloatVar> variables, List<Double> weights, String rel, double sum)
store
- current storevariables
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">="sum
- variable containing the sum of weighted variables.public LinearFloat(FloatVar[] list, double[] weights, String rel, double sum)
list
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">=", "!="sum
- the sum of weighted variables.public LinearFloat(FloatVar[] list, double[] weights, String rel, FloatVar sum)
list
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">=", "!="sum
- variable containing the sum of weighted variables.public LinearFloat(List<? extends FloatVar> variables, List<Double> weights, String rel, double sum)
variables
- variables which are being multiplied by weights.weights
- weight for each variable.rel
- the relation, one of "==", "<", ">", "<=", ">="sum
- variable containing the sum of weighted variables.public void queueVariable(int level, Var var)
Constraint
queueVariable
in class Linear
level
- the level of the store at which the change has occurred.var
- variable which has changed.public FloatVar derivative(Store store, FloatVar f, Set<FloatVar> vars, FloatVar x)
derivative
in class DecomposedConstraint<Constraint>
Copyright © 2022. All rights reserved.