summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2012-08-19 12:06:15 +0200
committerSven Verdoolaege <skimo@kotnet.org>2012-09-06 15:45:21 +0200
commitf3d73d9079d730d7c3afc90885ff39c3a78e2e48 (patch)
tree6f2752afb01e82d564bcea21ad89c2dd5e29a920 /doc
parentaee2a1b28e97408421dda82c8628f64d931a2583 (diff)
downloadisl-f3d73d9079d730d7c3afc90885ff39c3a78e2e48.tar.gz
isl-f3d73d9079d730d7c3afc90885ff39c3a78e2e48.tar.bz2
isl-f3d73d9079d730d7c3afc90885ff39c3a78e2e48.zip
add isl_*_list_insert
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 a222afb4..95a809f1 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2947,6 +2947,9 @@ Lists can be created, copied, modified and freed using the following functions.
isl_ctx *ctx, int n);
__isl_give isl_set_list *isl_set_list_copy(
__isl_keep isl_set_list *list);
+ __isl_give isl_set_list *isl_set_list_insert(
+ __isl_take isl_set_list *list, unsigned pos,
+ __isl_take isl_set *el);
__isl_give isl_set_list *isl_set_list_add(
__isl_take isl_set_list *list,
__isl_take isl_set *el);