From da259007e40c232b29ec656cca95dec59ab900db Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 24 Feb 2012 15:30:16 +0100 Subject: [PATCH] doc: document *_sample functions Signed-off-by: Sven Verdoolaege --- doc/user.pod | 12 ++++++++++++ include/isl/set.h | 1 + 2 files changed, 13 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index f3b21f9a..8ad9ba2a 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -2026,6 +2026,18 @@ that contains the whole input set or relation. In case of union sets and relations, the polyhedral hull is computed per space. +=item * Feasibility + + __isl_give isl_basic_set *isl_set_sample( + __isl_take isl_set *set); + __isl_give isl_basic_map *isl_basic_map_sample( + __isl_take isl_basic_map *bmap); + __isl_give isl_basic_map *isl_map_sample( + __isl_take isl_map *map); + +If the input (basic) set or relation is non-empty, then return +a singleton subset of the input. Otherwise, return an empty set. + =item * Optimization #include diff --git a/include/isl/set.h b/include/isl/set.h index 27114276..05fb8713 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -241,6 +241,7 @@ void isl_set_free(__isl_take isl_set *set); struct isl_set *isl_set_dup(struct isl_set *set); __isl_constructor __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset); +__isl_export __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); -- 2.11.4.GIT