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: x,
                                              var bool: c)
Element constraint on 2d array with MiniZinc index set, constrains x[idx1,idx2] = c 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: x,
                                               var float: c)
Element constraint on 2d array with MiniZinc index set, constrains x[idx1,idx2] = c 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: x,
                                             var int: c)
Element constraint on 2d array with MiniZinc index set, constrains x[idx1,idx2] = c 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: x,
                                             var set of int: c)
Element constraint on 2d array with MiniZinc index set, constrains x[idx1,idx2] = c This can be overridden in a solver that can perform the index calculation more efficiently than using a MiniZinc decomposition.