org.jacop.floats.constraints

Class LinearFloat

java.lang.Object

org.jacop.constraints.DecomposedConstraint

org.jacop.constraints.Constraint

org.jacop.constraints.PrimitiveConstraint

org.jacop.floats.constraints.linear.Linear

org.jacop.floats.constraints.LinearFloat

public class LinearFloat
extends Linear

LinearFloat constraint implements the weighted summation over several Variable's . It provides the weighted sum from all Variable's on the list.

Version:

4.2

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields inherited from class org.jacop.floats.constraints.linear.Linear

eq, ge, gt, le, list, lt, ne, relationType, sum, weights, xmlAttributes

Fields inherited from class org.jacop.constraints.PrimitiveConstraint

notConsistencyPruningEvents

Fields inherited from class org.jacop.constraints.Constraint

atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor and Description
LinearFloat(Store store, ArrayList<? extends FloatVar> variables, ArrayList<Double> weights, String rel, double sum) It constructs the constraint LinearFloat.
LinearFloat(Store store, FloatVar[] list, double[] weights, String rel, double sum)

Method Summary

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.

Methods inherited from class org.jacop.floats.constraints.linear.Linear

arguments, consistency, getConsistencyPruningEvent, getNestedPruningEvent, getNotConsistencyPruningEvent, impose, increaseWeight, notConsistency, notSatisfied, rel2String, relation, removeConstraint, satisfied, toString

Methods inherited from class org.jacop.constraints.PrimitiveConstraint

include, setNotConsistencyPruningEvent

Methods inherited from class org.jacop.constraints.Constraint

cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback

Methods inherited from class org.jacop.constraints.DecomposedConstraint

auxiliaryVariables, imposeDecomposition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LinearFloat

public LinearFloat(Store store,
                   FloatVar[] list,
                   double[] weights,
                   String rel,
                   double sum)

Parameters:

list -

weights -

sum -

LinearFloat

public LinearFloat(Store store,
                   ArrayList<? extends FloatVar> variables,
                   ArrayList<Double> weights,
                   String rel,
                   double sum)

It constructs the constraint LinearFloat.

Parameters:

variables - variables which are being multiplied by weights.

weights - weight for each variable.

sum - variable containing the sum of weighted variables.

Method Detail

queueVariable

public void queueVariable(int level,
                          Var var)

Description copied from class: Constraint

This is a function called to indicate which variable in a scope of constraint has changed. It also indicates a store level at which the change has occurred.

Overrides:

queueVariable in class Linear

Parameters:

level - the level of the store at which the change has occurred.

var - variable which has changed.

derivative

public FloatVar derivative(Store store,
                           FloatVar f,
                           Set<FloatVar> vars,
                           FloatVar x)

Overrides:

derivative in class DecomposedConstraint