
fzn_var_lookup(+FznState, +Id, -Value)

   Find ECLiPSe term corresponding to Mini/FlatZinc identifier

Arguments
   FznState            a FlatZinc state descriptor
   Id                  Mini/FlatZinc identifier (atom)
   Value               Output: ECLiPSe constant, array 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 provides
	the mapping from Mini/FlatZinc identifier to the ECLiPSe
	term that it is mapped to.
    

Modes and Determinism
   fzn_var_lookup(+, +, -) is semidet

Fail Conditions
   Fails if there is no such identifier

See Also
   fzn_load_stream / 2, fzn_obj_lookup / 2, library(minizinc)
