4.2.1.6. Compiler options

In this section: mzn_absent_zero, mzn_ignore_redundant_constraints, mzn_ignore_symmetry_breaking_constraints, mzn_opt_annotate_defines_var, mzn_opt_only_range_domains, mzn_check_absent_zero, mzn_check_annotate_defines_var, mzn_check_ignore_redundant_constraints, mzn_check_ignore_symmetry_breaking_constraints, mzn_check_only_range_domains.

Constants

mzn_absent_zero

opt bool: mzn_absent_zero

Whether to use zero as the underlying representation for absent optional variables.

If not specified or set to true, zero is used as the underlying representation for absent optional variables, breaking symmetry. If set to false, the underlying representation of absent optional variables is left unconstrained.

mzn_ignore_redundant_constraints

opt bool: mzn_ignore_redundant_constraints

Whether to ignore redundant constraints

If not specified or set to false, it depends on the solver library whether constraints that are wrapped in a redundant_constraint call are in fact compiled. If set to true, they are not compiled, independent of the solver library.

mzn_ignore_symmetry_breaking_constraints

opt bool: mzn_ignore_symmetry_breaking_constraints

Whether to ignore symmetry breaking constraints

If not specified or set to false, it depends on the solver library whether constraints that are wrapped in a symmetry_breaking_constraint call are in fact compiled. If set to true, they are not compiled, independent of the solver library.

mzn_opt_annotate_defines_var

opt bool: mzn_opt_annotate_defines_var
Whether to generate defines_var annotations

mzn_opt_only_range_domains

opt bool: mzn_opt_only_range_domains
Whether to only generate domains that are contiguous ranges

Functions and Predicates

mzn_check_absent_zero

test mzn_check_absent_zero()
Check whether to use zero as the underlying representation of absent optional variables

mzn_check_annotate_defines_var

test mzn_check_annotate_defines_var()
Check whether to generate defines_var annotations

mzn_check_ignore_redundant_constraints

test mzn_check_ignore_redundant_constraints()
Check whether to ignore redundant constraints

mzn_check_ignore_symmetry_breaking_constraints

test mzn_check_ignore_symmetry_breaking_constraints()
Check whether to ignore symmetry breaking constraints

mzn_check_only_range_domains

test mzn_check_only_range_domains()
Check whether to only generate domains that are contiguous ranges