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