isl_tab_pip.c: incrementally build recession cone of gbr context
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 8 Oct 2009 07:29:33 +0000 (09:29 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 12 Oct 2009 20:26:24 +0000 (22:26 +0200)
commitd5cbda10655caf8a2b1bbd4532d6c7d78de7d29b
tree7aec2f633f1f6e4729cc9598962365a5be406142
parent068f79c6bd9d4b3d57624d23f8eff8863cf1a49b
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.
isl_tab.c
isl_tab.h
isl_tab_pip.c