isl_map_from_quast: don't throw away any bottom leaves
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Feb 2009 20:41:40 +0000 (21:41 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Feb 2009 11:38:43 +0000 (12:38 +0100)
commit5cdc5fc56539695f2183307321974d50bbd0f138
treeba75f3f64c078d4f7fc40c57c2339bb59ce189b9
parentc9c4f446e9f40d07f76235d81c2b250e4ef94bd8
isl_map_from_quast: don't throw away any bottom leaves

Before, we would perform an "optimization" that would simply
discard any leaves with a bottom when we hadn't seen any leaves
with a solution yet, the intention being that we don't need
to collect bottom leaves if there are no solutions.
However, the bottom leaves may precede solution leaves and
then we would erroneously discard them.
isl_map_piplib.c