MiniZinc Documentation - Standard Library

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:503)

Check whether to only generate domains that are contiguous ranges