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 |