Did you know ... | Search Documentation: |
Predicate maximize/3 |
Coefficient*Variable
terms that represents the sum of its
elements, with respect to the linear program corresponding to state
S0. \arg{S} is unified with an internal representation of the solved
instance.