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 a ≤ x ≤ b |