From 25935e6741997ad2459fc076287dbf554f93d825 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 28 Jul 2014 16:52:48 +0200 Subject: [PATCH] add isl_ast_build_get_generated Signed-off-by: Sven Verdoolaege --- isl_ast_build.c | 8 ++++++++ isl_ast_build_private.h | 2 ++ 2 files changed, 10 insertions(+) diff --git a/isl_ast_build.c b/isl_ast_build.c index 3da331cf..6cedb693 100644 --- a/isl_ast_build.c +++ b/isl_ast_build.c @@ -942,6 +942,14 @@ __isl_give isl_set *isl_ast_build_get_pending( return build ? isl_set_copy(build->pending) : NULL; } +/* Return a copy of the set of generated constraints. + */ +__isl_give isl_set *isl_ast_build_get_generated( + __isl_keep isl_ast_build *build) +{ + return build ? isl_set_copy(build->generated) : NULL; +} + /* Return the number of variables of the given type * in the (internal) schedule space. */ diff --git a/isl_ast_build_private.h b/isl_ast_build_private.h index b43a2cd3..d858cc24 100644 --- a/isl_ast_build_private.h +++ b/isl_ast_build_private.h @@ -195,6 +195,8 @@ __isl_give isl_set *isl_ast_build_get_domain( __isl_keep isl_ast_build *build); __isl_give isl_set *isl_ast_build_get_pending( __isl_keep isl_ast_build *build); +__isl_give isl_set *isl_ast_build_get_generated( + __isl_keep isl_ast_build *build); __isl_give isl_ast_build *isl_ast_build_restrict_generated( __isl_take isl_ast_build *build, __isl_take isl_set *set); __isl_give isl_ast_build *isl_ast_build_restrict_pending( -- 2.11.4.GIT