From 7d3104bb4b6d352c4b90c3ae2460e0dd6a3755a5 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 26 Aug 2011 09:57:31 +0200 Subject: [PATCH] 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 --- isl_input.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/isl_input.c b/isl_input.c index dd078e5..182dba2 100644 --- a/isl_input.c +++ b/isl_input.c @@ -1733,6 +1733,12 @@ static struct isl_obj obj_read_body(struct isl_stream *s, if (is_rational(s)) map = isl_map_set_rational(map); + if (isl_stream_next_token_is(s, ':')) { + obj.type = isl_obj_set; + obj.v = read_optional_disjuncts(s, map, v); + return obj; + } + if (!next_is_tuple(s)) return obj_read_poly_or_fold(s, map, v, n); -- 2.7.4