4.2.3.7. FlatZinc builtins added in MiniZinc 2.1.0.

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

In this section: float_dom, float_in.

float_dom

predicate float_dom(var float: x, array [int] of float: as)

Constrains the domain of x using the values in as, using each pair of values as[2*i-1]..as[2*i] for i in 1..n/2 as a possible range

float_in

predicate float_in(var float: a, float: b, float: c)

Constrains \({\bf a} \in\ [ {\bf b}, {\bf c} ]\)