[ library(flatzinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]

fzn_var_lookup(+FznState, +Id, -Value)

Find ECLiPSe term corresponding to Mini/FlatZinc identifier
a FlatZinc state descriptor
Mini/FlatZinc identifier (atom)
Output: ECLiPSe constant, array or domain variable


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

Fail Conditions

Fails if there is no such identifier

See Also

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