isl_pw_qpolynomial_bound: handle isl_pw_qpolynomials with wrapped domains
commitd1c49a8c6386f4c7219130be2e8965c4523148a8
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Aug 2010 19:52:34 +0000 (4 21:52 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Aug 2010 17:14:56 +0000 (5 19:14 +0200)
treef5d86c5f1477c3f72b64d6b44346ffd50930570f
parentefd6c5e038fc76c3460a77e4301b110d7541cb49
isl_pw_qpolynomial_bound: handle isl_pw_qpolynomials with wrapped domains

In particular, compute a bound over the range of the wrapped relation,
instead of over the entire relation.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
isl_bound.c