diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2010-11-30 14:53:13 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-12-01 23:41:34 +0100 |
commit | d03f7b1e7d2a2c890b01acb4e771456bcc51dbbd (patch) | |
tree | 97c8124ba9d6a869b1267a52c0da1a6f7c7b14ee /isl_bound.c | |
parent | 1e1e5924b3016cade4e9b671cde3f9817d926b92 (diff) | |
download | isl-d03f7b1e7d2a2c890b01acb4e771456bcc51dbbd.tar.gz isl-d03f7b1e7d2a2c890b01acb4e771456bcc51dbbd.tar.bz2 isl-d03f7b1e7d2a2c890b01acb4e771456bcc51dbbd.zip |
hide isl_basic_set internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_bound.c')
-rw-r--r-- | isl_bound.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isl_bound.c b/isl_bound.c index 10c70bc8..c67fcbfb 100644 --- a/isl_bound.c +++ b/isl_bound.c @@ -12,6 +12,7 @@ #include <isl_bernstein.h> #include <isl_range.h> #include <isl_polynomial_private.h> +#include <isl_map_private.h> /* Compute a bound on the polynomial defined over the parametric polytope * using either range propagation or bernstein expansion and |