make isl_pw_* object live in a map space
commit3280c051ef3dc4b05fbe855340547ace629071c6
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 30 Aug 2011 14:47:59 +0000 (30 16:47 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 4 Sep 2011 20:55:45 +0000 (4 22:55 +0200)
tree692136afa76796898a021335343b21d7aefe996c
parentca69c58b8d1acc61cd71b7c51ee47803af4d902f
make isl_pw_* object live in a map space

Before, the space of an isl_pw_* object was that of the cells.
Conceptually, however, they map elements from these cells to something
and so their space should be that of a map.
This is especially useful for isl_pw_multi_aff objects that will
be introduced later.  Since we want to be able to convert back and forth
between such objects and isl_maps, we need to keep track of the
complete map space.

isl_aff, isl_qpolynomial and isl_qpolynomial_fold objects now
also live in a map space, although internally, they still keep
track of the domain space.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
19 files changed:
doc/user.pod
include/isl/aff.h
include/isl/polynomial.h
isl_aff.c
isl_aff_private.h
isl_bernstein.c
isl_bound.c
isl_constraint.c
isl_div.c
isl_fold.c
isl_input.c
isl_map.c
isl_output.c
isl_polynomial.c
isl_polynomial_private.h
isl_pw_templ.c
isl_range.c
isl_test.c
isl_union_templ.c