diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2012-07-20 14:07:37 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-09-18 15:08:21 +0200 |
| commit | 70155a51c5bbcf79c389c0836d5a401ce862b652 (patch) | |
| tree | b0418ea72d78232a47fcf51257398e1de2be4706 /doc | |
| parent | 1bf0064a40d3ed511d8da880abfd5f7b38e1f37b (diff) | |
| download | isl-70155a51c5bbcf79c389c0836d5a401ce862b652.tar.gz isl-70155a51c5bbcf79c389c0836d5a401ce862b652.tar.bz2 isl-70155a51c5bbcf79c389c0836d5a401ce862b652.zip | |
add isl_multi_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user.pod | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/user.pod b/doc/user.pod index 426a943f..521773ac 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -3932,6 +3932,15 @@ If the C<ls> argument of C<isl_multi_aff_lift> is not C<NULL>, then it is assigned the local space that lies at the basis of the lifting applied. + #include <isl/aff.h> + __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff( + __isl_take isl_multi_aff *ma1, + __isl_take isl_multi_aff *ma2); + +The function C<isl_multi_aff_pullback_multi_aff> precomposes C<ma1> by C<ma2>. +In other words, C<ma2> is plugged +into C<ma1>. + __isl_give isl_set *isl_multi_aff_lex_le_set( __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); |