/* * Copyright 2018 Sven Verdoolaege * * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege. */ #define xFN(TYPE,NAME) … #define FN(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 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) { … }