| commit | 5d65392c3b1ec2e44f3c568fd473bf6a048e2ef7 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 25 Jul 2010 12:05:00 +0000 (25 14:05 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 30 Jul 2010 19:33:48 +0000 (30 21:33 +0200) | ||
| tree | e66ca66a921fbc19c4568df3823f2821f8620f15 | treesnapshot (tar.gz zip) |
| parent | a047c60a2e57389de35977474a7a7691ac0da9ce | commitdiff |
isl_map_fast_is_universe: also detect redundant representations of the universe
During printing, we don't want to print any constraints if the given
map contains the universe.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
During printing, we don't want to print any constraints if the given
map contains the universe.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory |