summaryrefslogtreecommitdiff
path: root/isl_bound.h
AgeCommit message (Expand)AuthorFilesLines
2011-02-21isl_pw_qpolynomial_bound: handle combination of wrapping and existentialsSven Verdoolaege1-0/+2
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-3/+0
2010-06-12generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_boundSven Verdoolaege1-1/+2
2010-06-12extract out generic part of isl_pw_qpolynomial_bound_rangeSven Verdoolaege1-0/+20