isl_pw_qpolynomial_bound: handle combination of wrapping and existentials
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 20 Feb 2011 10:00:05 +0000 (11:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 21 Feb 2011 10:52:06 +0000 (11:52 +0100)
commita828520ba5195364af49c0f36862d726b02e3c3c
treee7be9815c86b39a8d9f3e30fd743278c4a102b84
parent78b3cfae0a9cad8fbca88a9b5ce79337c2ba01c3
isl_pw_qpolynomial_bound: handle combination of wrapping and existentials

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_bound.c
isl_bound.h
isl_test.c