add isl_basic_map_detect_inequality_pairs
commit7b6e0416c8441bd3d825988abd0232f63fd789c5
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Jan 2015 13:30:18 +0000 (1 14:30 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Jan 2015 23:33:57 +0000 (2 00:33 +0100)
treefd507a708af9bf719cba3f01d1a553b7016a0658
parent53980d7c6b1d2adf86cff95ec641b9c1b9d14097
add isl_basic_map_detect_inequality_pairs

This will be useful when we want to detect pairs of inequalities
that form equalities without going through the complete simplification.

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