isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domains
commit3fc4e41cbe232710979e1774440788f28caf3613
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 12 Nov 2010 13:25:00 +0000 (12 14:25 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 12 Nov 2010 15:10:45 +0000 (12 16:10 +0100)
tree8621e0f329f12636c422394d2b7956a42ca7257a
parentfd632411a794b5cf792a60d237fad7a47f4f2f76
isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domains

Preliminary experiments show that triangulation may slow down
the computation but helps tremendously in keeping memory use down.
It is therefore enabled by default.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl_options.h
isl_bernstein.c
isl_options.c