[ library(colgen) | Reference Manual | Alphabetic Index ]

# ColgenInstance:minimize(+SolveSubProblem, +Obj, -ObjVal)

Minimizes the problem associated with the colgen instance ColgenInstance.

SolveSubProblem
  Subproblem solution predicate
Obj
  The objective function to minimize
ObjVal
  The optimal solution cost

## Description

Minimize the partial linear expression `Obj` for the problem associated with the colgen instance `ColgenInstance`, using the user-defined predicate `SolveSubProblem` to provide profitable variables during solution. The optimal solution cost is unified with `ObjVal`.

The first argument of the subproblem solution predicate must be a subproblem structure, as specified in solver_setup/3.

## See Also

solver_setup / 3