this repo has no description
dekker.one
1/** @group globals Constrains \a m to be the minimum of the values in \a x.
2
3 Assumptions: |\a x| > 0.
4*/
5predicate minimum(var float: m, array[int] of var float: x) =
6 array_float_minimum(m, x);
7
8/** @group globals Constrains \a m to be the minimum of the values in \a x.
9
10 Assumptions: |\a x| > 0.
11*/
12predicate minimum(var int: m, array[int] of var int: x) =
13 array_int_minimum(m, x);