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. |