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 x to take one of the values in as

float_in

predicate float_in(var float: x, float: a, float: b)
Constrains axb