diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-10-08 09:29:33 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-10-12 22:26:24 +0200 |
commit | d5cbda10655caf8a2b1bbd4532d6c7d78de7d29b (patch) | |
tree | 7aec2f633f1f6e4729cc9598962365a5be406142 /isl_coalesce.c | |
parent | 068f79c6bd9d4b3d57624d23f8eff8863cf1a49b (diff) | |
download | isl-d5cbda10655caf8a2b1bbd4532d6c7d78de7d29b.tar.gz isl-d5cbda10655caf8a2b1bbd4532d6c7d78de7d29b.tar.bz2 isl-d5cbda10655caf8a2b1bbd4532d6c7d78de7d29b.zip |
isl_tab_pip.c: incrementally build recession cone of gbr context
When checking the feasibility of a constraint in the gbr context,
we compute a sample. The first step of this computation builds
a recession cone since we need to know which directions are unbounded.
By incrementally building up the recession cone, we can avoid
the complete recomputation. This is especially useful when
the context is/becomes bounded, since we can then avoid the
recession cone computation altogether.
Diffstat (limited to 'isl_coalesce.c')
0 files changed, 0 insertions, 0 deletions