From b98d88c79d4c925f4a3649f1dfa2d426ffb4468a Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 11 May 2012 10:02:19 +0200 Subject: [PATCH] doc: explain isl_*_is_subset Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 7869890..793b5bd 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1813,6 +1813,9 @@ Check whether the domain of the (basic) relation is a wrapped relation. __isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2); +Check whether the first argument is a (strict) subset of the +second argument. + =back =head2 Unary Operations -- 2.7.4