[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# minimize(?Goal, ?C)

Find the solution of Goal that minimizes C.

+Goal
  A callable term.
?C
  A linear term.

## Description

A solution of the goal Goal is found that minimizes the value of C. The solution is found using the branch and bound method. Whenever a better solution is found, the upper cost bound is tightened and the search for a better solution continues. Every time a new better solution is found, the event 280 is raised, its default handler prints the current cost.

Note: Operationally, the difference with min_max/2 is that, after finding a solution, the search is not abandoned and restarted, but continued with a tightened cost bound.

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

### Fail Conditions

Fails if there is no solution to Goal.

### Resatisfiable

No.

## See Also

min_max / 2, min_max / 4, min_max / 5, min_max / 6, min_max / 8, minimize / 4, minimize / 5, minimize / 6, minimize / 8, minimize_bound_check / 0