projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fee661f
)
doc: add a note about isl_*_intersect and parametric sets
author
Sven Verdoolaege
<skimo@kotnet.org>
Sun, 29 Jul 2012 16:11:23 +0000
(18:11 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Mon, 30 Jul 2012 09:15:49 +0000
(11:15 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
patch
|
blob
|
history
diff --git
a/doc/user.pod
b/doc/user.pod
index
f769885
..
afd0f2c
100644
(file)
--- a/
doc/user.pod
+++ b/
doc/user.pod
@@
-2468,6
+2468,11
@@
the same (number of) parameters.
__isl_take isl_union_map *umap1,
__isl_take isl_union_map *umap2);
+The second argument to the C<_params> functions needs to be
+a parametric (basic) set. For the other functions, a parametric set
+for either argument is only allowed if the other argument is
+a parametric set as well.
+
=item * Union
__isl_give isl_set *isl_basic_set_union(