4.2.3.12. FlatZinc builtins added in MiniZinc 2.7.1.

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

In this section: float_ceil, float_floor, float_round.

float_ceil

predicate float_ceil(var float: x, var int: y)

Constrains \({\bf y} = \lceil{ {\bf x}} \rceil\)

float_floor

predicate float_floor(var float: x, var int: y)

Constrains \({\bf y} = \lfloor{ {\bf x}} \rfloor\)

float_round

predicate float_round(var float: x, var int: y)

Constrains that y is the nearest integer to x