From 0f874bcc590759b70db128d85d4609df65f1981e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 27 Jul 2012 18:14:54 +0200 Subject: [PATCH] isl_*_eliminate: update comments to reflect recent change In particular, since baf22b7 (isl_*_eliminate: perform integer elimination, Tue Apr 17 12:29:41 2012 +0200), the elimination is no longer performed using Fourier-Motzkin (unless the input is marked rational). Signed-off-by: Sven Verdoolaege --- isl_map.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/isl_map.c b/isl_map.c index 8e26ac0..a8f3a55 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1594,8 +1594,8 @@ void isl_basic_map_swap_div(struct isl_basic_map *bmap, int a, int b) } /* Eliminate the specified n dimensions starting at first from the - * constraints using Fourier-Motzkin. The dimensions themselves - * are not removed. + * constraints, without removing the dimensions from the space. + * If the set is rational, the dimensions are eliminated using Fourier-Motzkin. */ __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n) @@ -1623,8 +1623,8 @@ error: } /* Eliminate the specified n dimensions starting at first from the - * constraints using Fourier-Motzkin. The dimensions themselves - * are not removed. + * constraints, without removing the dimensions from the space. + * If the set is rational, the dimensions are eliminated using Fourier-Motzkin. */ __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set, enum isl_dim_type type, unsigned first, unsigned n) @@ -1633,8 +1633,8 @@ __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set, } /* Eliminate the specified n dimensions starting at first from the - * constraints using Fourier-Motzkin. The dimensions themselves - * are not removed. + * constraints, without removing the dimensions from the space. + * If the set is rational, the dimensions are eliminated using Fourier-Motzkin. */ __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set, unsigned first, unsigned n) -- 2.7.4