export isl_basic_set_sample_point

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index f53d0a1..3386010 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1684,8 +1684,10 @@ enumerating and return C<-1> as well.
 If the enumeration is performed successfully and to completion,
 then C<isl_set_foreach_point> returns C<0>.
 
-To obtain a single point of a set, use
+To obtain a single point of a (basic) set, use
 
+       __isl_give isl_point *isl_basic_set_sample_point(
+               __isl_take isl_basic_set *bset);
        __isl_give isl_point *isl_set_sample_point(
                __isl_take isl_set *set);
 

diff --git a/include/isl_set.h b/include/isl_set.h
index c978d38..cbd3819 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -224,6 +224,7 @@ void isl_set_free(__isl_take isl_set *set);
 struct isl_set *isl_set_dup(struct isl_set *set);
 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set);
+__isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset);
 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);