4.2.1.6. Compiler options

In this section: mzn_absent_zero, mzn_half_reify_clause, mzn_ignore_redundant_constraints, mzn_ignore_symmetry_breaking_constraints, mzn_opt_annotate_computed_domains, mzn_opt_annotate_defines_var, mzn_opt_only_range_domains, mzn_check_absent_zero, mzn_check_annotate_computed_domains, mzn_check_annotate_defines_var, mzn_check_half_reify_clause, 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_half_reify_clause

opt bool: mzn_half_reify_clause

Whether to half reify bool_clause constraints

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_computed_domains

opt bool: mzn_opt_annotate_computed_domains

Whether to generate computed_domain annotations

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_computed_domains

test mzn_check_annotate_computed_domains()

Check whether to generate computed_domain annotations

mzn_check_annotate_defines_var

test mzn_check_annotate_defines_var()

Check whether to generate defines_var annotations

mzn_check_half_reify_clause

test mzn_check_half_reify_clause()

Check to half reify bool_clause constraints

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