[ library(flatzinc) | Reference Manual | Alphabetic Index ]
fzn_obj_lookup(+FznState, -Obj)
Find ECLiPSe term representing the Mini/FlatZinc model's objective
- FznState
- a FlatZinc state descriptor
- Obj
- Output: ECLiPSe constant or domain variable
Description
Assuming a model has previously been loaded successfully
using fzn_load_xxx or mzn_load_xxx, this primitive returns
the ECLiPSe term that represents the model's objective.
This can be used for instance by a branch-and-bound primitive.
Modes and Determinism
- fzn_obj_lookup(+, -) is semidet
Fail Conditions
Fails if the model has no objective
See Also
fzn_load_stream / 2, fzn_var_lookup / 3, library(minizinc)