summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2012-09-07 23:21:47 +0200
committerSven Verdoolaege <skimo@kotnet.org>2012-09-13 14:01:51 +0200
commit66216613b23a5ff297c5aaad6648f1f68ed4657a (patch)
treea0e3e20369cf34cf30a36ed8a7612c9f2a6e627a /doc
parent5770cf8a4545a0d6b5c45c6980f8f6444191bf8e (diff)
downloadisl-66216613b23a5ff297c5aaad6648f1f68ed4657a.tar.gz
isl-66216613b23a5ff297c5aaad6648f1f68ed4657a.tar.bz2
isl-66216613b23a5ff297c5aaad6648f1f68ed4657a.zip
add isl_basic_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'doc')
-rw-r--r--doc/user.pod3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user.pod b/doc/user.pod
index 29b98fd9..d052c010 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1486,6 +1486,9 @@ no explicit representation is known.
__isl_take isl_map *map, enum isl_dim_type type,
unsigned first, unsigned n);
+ __isl_give isl_basic_set *
+ isl_basic_set_remove_unknown_divs(
+ __isl_take isl_basic_set *bset);
__isl_give isl_set *isl_set_remove_unknown_divs(
__isl_take isl_set *set);
__isl_give isl_map *isl_map_remove_unknown_divs(