diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2012-08-25 10:37:02 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-09-17 17:15:49 +0200 |
commit | aed62aeb62d864a349551712b0e10a759356ff68 (patch) | |
tree | cf3e3ad4dd6774f3fe34207ea2e32b8ecf651952 /doc | |
parent | 69a3c1d9eb08fbd2da92f0d87f5a93f6178fb87f (diff) | |
download | isl-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.pod | 8 |
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) |