[ ECLiPSe Rational Library Predicate|Group Index| Full Index]

rmin(?Func)

The objective function Func is minimized with respect to a set of constraints in normal form.

?Func
A rational term.

Description

This is one of two optimization predicates provided by the ECLiPSe compiler, the other being rmax/1.

rmin/1 amounts to finding a feasible solution where the objective function Func is minimal with respect to the constraints store.

Fail Conditions

None.

Resatisfiable

Exceptions

Examples


Success:
X $>= 3, rmin(X).
The minimum value of X that satisfies the constraint is 3.


See Also

rmax / 1