
fzn_obj_lookup(+FznState, -Obj)

   Find ECLiPSe term representing the Mini/FlatZinc model's objective

Arguments
   FznState            a FlatZinc state descriptor
   Obj                 Output: ECLiPSe constant or domain variable

Type
   library(flatzinc)

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)
