220.127.116.11. 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.
predicate float_dom(var float: x, array [int] of float: as)
|Constrains x to take one of the values in as|
predicate float_in(var float: x, float: a, float: b)
|Constrains a ≤ x ≤ b|