polly/isl/ilp.h

0001 /*
0002  * Copyright 2008-2009 Katholieke Universiteit Leuven
0003  *
0004  * Use of this software is governed by the MIT license
0005  *
0006  * Written by Sven Verdoolaege, K.U.Leuven, Departement
0007  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
0008  */
0009
0010 #ifndef ISL_ILP_H
0011 #define ISL_ILP_H
0012
0013 #include <isl/aff_type.h>
0014 #include <isl/set_type.h>
0015 #include <isl/union_set_type.h>
0016 #include <isl/val_type.h>
0017 #include <isl/vec.h>
0018
0019 #if defined(__cplusplus)
0020 extern "C" {
0021 #endif
0022
0023 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
0024     __isl_keep isl_aff *obj);
0025 __isl_export
0026 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
0027     __isl_keep isl_aff *obj);
0028 __isl_export
0029 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
0030     __isl_keep isl_aff *obj);
0031 __isl_give isl_multi_val *isl_union_set_min_multi_union_pw_aff(
0032     __isl_keep isl_union_set *uset, __isl_keep isl_multi_union_pw_aff *obj);
0033
0034 __isl_export
0035 __isl_give isl_val *isl_pw_aff_min_val(__isl_take isl_pw_aff *pa);
0036 __isl_export
0037 __isl_give isl_val *isl_pw_aff_max_val(__isl_take isl_pw_aff *pa);
0038 __isl_export
0039 __isl_give isl_multi_val *isl_pw_multi_aff_min_multi_val(
0040     __isl_take isl_pw_multi_aff *pma);
0041 __isl_export
0042 __isl_give isl_multi_val *isl_pw_multi_aff_max_multi_val(
0043     __isl_take isl_pw_multi_aff *pma);
0044 __isl_export
0045 __isl_give isl_multi_val *isl_multi_pw_aff_min_multi_val(
0046     __isl_take isl_multi_pw_aff *mpa);
0047 __isl_export
0048 __isl_give isl_multi_val *isl_multi_pw_aff_max_multi_val(
0049     __isl_take isl_multi_pw_aff *mpa);
0050
0051 __isl_give isl_val *isl_union_pw_aff_min_val(__isl_take isl_union_pw_aff *upa);
0052 __isl_give isl_val *isl_union_pw_aff_max_val(__isl_take isl_union_pw_aff *upa);
0053
0054 __isl_give isl_multi_val *isl_multi_union_pw_aff_min_multi_val(
0055     __isl_take isl_multi_union_pw_aff *mupa);
0056 __isl_give isl_multi_val *isl_multi_union_pw_aff_max_multi_val(
0057     __isl_take isl_multi_union_pw_aff *mupa);
0058
0059 __isl_export
0060 __isl_give isl_val *isl_basic_set_dim_max_val(__isl_take isl_basic_set *bset,
0061     int pos);
0062 __isl_export
0063 __isl_give isl_val *isl_set_dim_min_val(__isl_take isl_set *set, int pos);
0064 __isl_export
0065 __isl_give isl_val *isl_set_dim_max_val(__isl_take isl_set *set, int pos);
0066
0067 #if defined(__cplusplus)
0068 }
0069 #endif
0070
0071 #endif