summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2012-08-25 10:37:02 +0200
committerSven Verdoolaege <skimo@kotnet.org>2012-09-17 17:15:49 +0200
commitaed62aeb62d864a349551712b0e10a759356ff68 (patch)
treecf3e3ad4dd6774f3fe34207ea2e32b8ecf651952 /doc
parent69a3c1d9eb08fbd2da92f0d87f5a93f6178fb87f (diff)
downloadisl-aed62aeb62d864a349551712b0e10a759356ff68.tar.gz
isl-aed62aeb62d864a349551712b0e10a759356ff68.tar.bz2
isl-aed62aeb62d864a349551712b0e10a759356ff68.zip
add isl_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'doc')
-rw-r--r--doc/user.pod8
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/user.pod b/doc/user.pod
index d696d9f8..0d6e1a0e 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3147,12 +3147,16 @@ the original and the kernel (in that order) is the zero matrix.
=head2 Piecewise Quasi Affine Expressions
-The zero quasi affine expression on a given domain can be created using
+The zero quasi affine expression or the quasi affine expression
+that is equal to a specified dimension on a given domain can be created using
__isl_give isl_aff *isl_aff_zero_on_domain(
__isl_take isl_local_space *ls);
+ __isl_give isl_aff *isl_aff_var_on_domain(
+ __isl_take isl_local_space *ls,
+ enum isl_dim_type type, unsigned pos);
-Note that the space in which the resulting object lives is a map space
+Note that the space in which the resulting objects live is a map space
with the given space as domain and a one-dimensional range.
An empty piecewise quasi affine expression (one with no cells)