isl_qpolynomial_substitute_equalities_lifted: use isl_basic_set_offset
commit38549b25e4f0173d35bc025652d79828f2c7816b
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 17 Aug 2018 08:37:53 +0000 (17 10:37 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 15:14:53 +0000 (2 17:14 +0200)
tree546036b03e2a6a639e60e981cb6b8a5569443271
parent4c34a18e36ab342501158d173d6f7ecc40f1d266
isl_qpolynomial_substitute_equalities_lifted: use isl_basic_set_offset

This reduces the dependence on the internal representation.

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