blob: 6b2c5323225a7579ae09d71e21493714fa84c815 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
/*
* Copyright 2018 Sven Verdoolaege
*
* Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege.
*/
#define xFN(TYPE,NAME) TYPE ## _ ## NAME
#define FN(TYPE,NAME) xFN(TYPE,NAME)
/* Return the minimum of the integer piecewise affine
* expression "f" over its definition domain.
*
* Return negative infinity if the optimal value is unbounded and
* NaN if the domain of the expression is empty.
*/
__isl_give isl_val *FN(TYPE,min_val)(__isl_take TYPE *f)
{
return FN(TYPE,opt_val)(f, 0);
}
/* Return the maximum of the integer piecewise affine
* expression "f" over its definition domain.
*
* Return infinity if the optimal value is unbounded and
* NaN if the domain of the expression is empty.
*/
__isl_give isl_val *FN(TYPE,max_val)(__isl_take TYPE *f)
{
return FN(TYPE,opt_val)(f, 1);
}
|