add isl_basic_set_extract_equalities
commitf7a6865b5104a569e05cf1025a6c5a3075211d22
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Nov 2015 14:14:20 +0000 (5 15:14 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 7 Jun 2017 12:16:01 +0000 (7 14:16 +0200)
tree20e30503eff75daca3e3eeeea82aefd1a3223cae
parentefb79b5819fa34aaa7f95abb000b02df76bc5e6d
add isl_basic_set_extract_equalities

This function will allow callers to extract the equality constraints
without depending too much on the internal representation.
It will be used in the process of exploiting
non-trivial lineality spaces in the Feautrier style scheduler
after the removal of coalescing constraints.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c
isl_map_private.h