[ library(flatzinc) | Reference Manual | Alphabetic Index ]

struct zn_var(id, ann, type, group, eclvar, num)

Descriptor for a Mini/FlatZinc variable

Fields

id
(atom) Mini/FlatZinc name
ann
List of variable annotations
type
FlatZinc type descriptor (structure)
group
simplified type descriptor (atom)
eclvar
Corresponding ECLiPSe variable
num
Variable number in input order

See Also

fzn_var_lookup / 3