[ library(flatzinc) | Reference Manual | Alphabetic Index ]
fzn_var_lookup(+FznState, +Id, -Value)
Find ECLiPSe term corresponding to Mini/FlatZinc identifier
- FznState
- a FlatZinc state descriptor
- Id
- Mini/FlatZinc identifier (atom)
- Value
- Output: ECLiPSe constant, array or domain variable
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)