X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_map_private.h;h=5da97beb7f20b3de41f9b6220fc6c29483039779;hb=0f8c926aecfed1ad34fdb6a2377ce086cbb10100;hp=d8e17f7eb688ba0b6407528edba869ec9ae91323;hpb=5b898f1e08d13ea4cbd90b149df11f5a8e4b7844;p=platform%2Fupstream%2Fisl.git diff --git a/isl_map_private.h b/isl_map_private.h index d8e17f7..5da97be 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -1,7 +1,7 @@ /* * Copyright 2008-2009 Katholieke Universiteit Leuven * - * Use of this software is governed by the GNU LGPLv2.1 license + * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege, K.U.Leuven, Departement * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium @@ -204,8 +204,6 @@ __isl_give isl_basic_set *isl_basic_set_sort_constraints( __isl_take isl_basic_set *bset); int isl_basic_map_plain_cmp(const __isl_keep isl_basic_map *bmap1, const __isl_keep isl_basic_map *bmap2); -int isl_set_plain_cmp(const __isl_keep isl_set *set1, - const __isl_keep isl_set *set2); int isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2); int isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1, @@ -270,10 +268,14 @@ struct isl_basic_set *isl_basic_set_recession_cone(struct isl_basic_set *bset); struct isl_basic_set *isl_basic_set_lineality_space(struct isl_basic_set *bset); struct isl_basic_set *isl_basic_set_set_rational(struct isl_basic_set *bset); +__isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set); __isl_give isl_basic_map *isl_basic_map_set_rational( __isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_set_rational(__isl_take isl_map *map); +int isl_map_has_rational(__isl_keep isl_map *map); +int isl_set_has_rational(__isl_keep isl_set *set); + struct isl_mat; struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, @@ -346,4 +348,6 @@ int isl_map_compatible_range(__isl_keep isl_map *map, __isl_keep isl_set *set); int isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap); +int isl_map_is_set(__isl_keep isl_map *map); + #endif