summaryrefslogtreecommitdiff
path: root/isl_bound.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2010-11-30 14:53:13 +0100
committerSven Verdoolaege <skimo@kotnet.org>2010-12-01 23:41:34 +0100
commitd03f7b1e7d2a2c890b01acb4e771456bcc51dbbd (patch)
tree97c8124ba9d6a869b1267a52c0da1a6f7c7b14ee /isl_bound.c
parent1e1e5924b3016cade4e9b671cde3f9817d926b92 (diff)
downloadisl-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.c1
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