diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-09-25 19:17:20 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-10-09 19:56:02 +0200 |
commit | 79d277b08490900bd698114586a63160a3da5d01 (patch) | |
tree | 8faf81cfb0d1f9e70f8fabb02e6897675e14574a /test_inputs | |
parent | d13fd7f0fc432a2175eee6d5c8e35e43661e6a36 (diff) | |
download | isl-79d277b08490900bd698114586a63160a3da5d01.tar.gz isl-79d277b08490900bd698114586a63160a3da5d01.tar.bz2 isl-79d277b08490900bd698114586a63160a3da5d01.zip |
isl_tab_basic_map_partial_lexopt: remove samples that are no longer useful
When we test an inequality in row_sign, it is useful to store any
samples found, so we can use them to speed up the computation
of future row signs.
However, when we return from a branch, then all the samples found
since we entered the branch all satisfy the constraints on that
branch and so they will not satisfy the constraints on any other
branch. We therefore save the current number of samples when
we enter a branch and then discard all subsequently added samples
when we return from the branch.
Diffstat (limited to 'test_inputs')
0 files changed, 0 insertions, 0 deletions