isl_set_substitute: implement in terms of isl_set_preimage_multi_aff
commit331a9549fe1216ef43bf0753474757cdb3646ea5
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Sep 2016 16:25:09 +0000 (23 18:25 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 25 May 2021 18:11:49 +0000 (25 20:11 +0200)
tree634a20f827b980dfc034cc4d028b33a4c3952d9f
parent9cbbaa6440cb780f982bbc1b575d9f64f92fffb0
isl_set_substitute: implement in terms of isl_set_preimage_multi_aff

isl_set_substitute is essentially a special case of
isl_set_preimage_multi_aff for plugging in a single purely affine
integer expression.  The implementation may be slightly
more efficient than the more general isl_set_preimage_multi_aff,
but it is not worth keeping around the extra code.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map.c