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

fzn_obj_lookup(+FznState, -Obj)

Find ECLiPSe term representing the Mini/FlatZinc model's objective
a FlatZinc state descriptor
Output: ECLiPSe constant or domain variable


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

Fail Conditions

Fails if the model has no objective

See Also

fzn_load_stream / 2, fzn_var_lookup / 3, library(minizinc)