4.2.3.11. FlatZinc builtins added in MiniZinc 2.5.2.

These functions and predicates define built-in operations of the MiniZinc language that have been added in MiniZinc 2.5.2. Solvers that support these natively need to include a file called redefinitions-2.5.2.mzn in their solver library that redefines these predicates as builtins.

In this section: array_var_bool_element2d_nonshifted, array_var_float_element2d_nonshifted, array_var_int_element2d_nonshifted, array_var_set_element2d_nonshifted.

array_var_bool_element2d_nonshifted

predicate array_var_bool_element2d_nonshifted(var int: idx1,
                                              var int: idx2,
                                              array [int,int] of var bool: xs,
                                              var bool: y)

Element constraint on 2d array with MiniZinc index set, constrains xs[idx1,idx2] = y This can be overridden in a solver that can perform the index calculation more efficiently than using a MiniZinc decomposition.

array_var_float_element2d_nonshifted

predicate array_var_float_element2d_nonshifted(var int: idx1,
                                               var int: idx2,
                                               array [int,int] of var float: xs,
                                               var float: y)

Element constraint on 2d array with MiniZinc index set, constrains xs[idx1,idx2] = y This can be overridden in a solver that can perform the index calculation more efficiently than using a MiniZinc decomposition.

array_var_int_element2d_nonshifted

predicate array_var_int_element2d_nonshifted(var int: idx1,
                                             var int: idx2,
                                             array [int,int] of var int: xs,
                                             var int: y)

Element constraint on 2d array with MiniZinc index set, constrains xs[idx1,idx2] = y This can be overridden in a solver that can perform the index calculation more efficiently than using a MiniZinc decomposition.

array_var_set_element2d_nonshifted

predicate array_var_set_element2d_nonshifted(var int: idx1,
                                             var int: idx2,
                                             array [int,int] of var set of int: xs,
                                             var set of int: y)

Element constraint on 2d array with MiniZinc index set, constrains xs[idx1,idx2] = y This can be overridden in a solver that can perform the index calculation more efficiently than using a MiniZinc decomposition.