isl_stream_read_set: accept parameter domains
commit7d3104bb4b6d352c4b90c3ae2460e0dd6a3755a5
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 26 Aug 2011 07:57:31 +0000 (26 09:57 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 3 Sep 2011 10:04:55 +0000 (3 12:04 +0200)
tree72cdd80910669d18cd5be565ecd537b499102431
parent3ee7a1f4f431790565eba5d0f10b3e1e8f0bee06
isl_stream_read_set: accept parameter domains

In particular, accept sets without a tuple, e.g.,

[N] -> { : N >= 1 }

At this moment, no distinction is made between a "parameter domain"
and a zero-dimensional set.  However, this will change in the near
future and so we need to have a different notation for these two
types of sets.  We start by allowing the new notation for parameter
domains.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_input.c