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