add isl_set_from_cloog_domain
commit5d089b4b436a07acf692f560281418adfaaee5eb
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 28 Sep 2010 13:29:34 +0000 (28 15:29 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 28 Oct 2010 09:59:46 +0000 (28 11:59 +0200)
tree2f5883a5e4c3fe503d46038d2c5ca355930914e2
parentcaf403e717a0f04144825e38c60fb3c831108787
add isl_set_from_cloog_domain

In the next commit, we will add the possibility for CLooG to return
a CloogDomain back to the user and then it is useful to be able to
convert this CloogDomain back to an isl_set.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/cloog.texi
include/cloog/isl/domain.h
source/isl/domain.c