[ library(flatzinc) | Third Party Libraries | 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

Fail Conditions

Fails if the model has no objective

See Also

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