[ 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