piecewise_linear_hull(?X, ++Points, ?Y)

X

Parameter/domain of the piecewise function

Points

List of points defining the piecewise function

Y

Result/range of piecewise the function

Description

This predicate imposes the constraint Y = f(X), where f is a piecewise linear function defined by Points. Please see the documentation for piecewise_linear/3 for details of how the piecewise linear function is specified.

This predicate extends piecewise_linear/3 by also computing the convex hull of the portions of the constraint which are feasible with respect to the current bounds of X and Y. Constraints defining this convex hull are then passed to the eplex solver. These constraints are updated whenever new bounds on X or Y change the convex hull.

See Also