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