- lin_maximize(+ObjF, Constraints:{}, ?Max:numeric) is semidet
- Succeeds if the global maximum value of the objective function ObjF subject to Constraints can be unified with Max; otherwise fails. This behaves identically to
lin_maximum/3 except variables in ObjF will be narrowed to the values used in calculating the final value of Max. Any other sets of minimizers corresponding to Min are removed from the solution space.
- See also
- -
lin_maximum/3