isl_map_simplify.c: extract out group_and_drop_irrelevant_constraints
commit60ad3344285c7bbb8edccd49e2992ff153bd98e9
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 9 Jul 2015 08:43:19 +0000 (9 10:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 28 Jul 2015 14:11:58 +0000 (28 16:11 +0200)
treed3d96a0b2b8fc40a2ea91d02d884e2f9fe0033a5
parent52c7d2795c8bf04be7960808da0372cece4d6d00
isl_map_simplify.c: extract out group_and_drop_irrelevant_constraints

This function will be reused for dropping irrelevant constraints
with respect to inequalities stored in a matrix.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_simplify.c