Parameters
opt bool: mzn_opt_only_range_domains
Whether to only generate domains that are contiguous ranges
opt int: mzn_min_version_required
If defined, this can be used to check that the MiniZinc compiler supports all the features used in the model.
Functions and Predicates
◀test mzn_check_only_range_domains() =
if absent(mzn_opt_only_range_domains) then false
else deopt(mzn_opt_only_range_domains)
endif
(standard decomposition from stdlib.mzn:518)Check whether to only generate domains that are contiguous ranges