isl_{in,}equality_alloc: take isl_local_space intead of isl_space
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Sep 2011 08:39:55 +0000 (10:39 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Sep 2011 10:53:30 +0000 (12:53 +0200)
commitb266ab3f65c881822ecb3b9a2e3a43775e360e8c
tree880605f8232bfb5e2cec48e2e5b16c80254063fa
parent1d0235f9c37fa19a5b8be35f90dccda5de8cd206
isl_{in,}equality_alloc: take isl_local_space intead of isl_space

This makes it easier to construct constraints involving existentially
quantified variables.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/constraint.h
isl_constraint.c
isl_schedule.c
isl_test.c