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

   Relates X and Y according to a piecewise linear function.

Arguments
   X                   Parameter/domain of the piecewise function
   Points              List of points defining the piecewise function
   Y                   Result/range of piecewise the function

Type
   library(eplex_relax)

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
   ria : piecewise_linear / 3
