From 7125d2265788df78c67c03a5a650b0b676ef3d01 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 4 Aug 2010 21:03:34 +0200
Subject: [PATCH] iscc: add wrap and unwrap operations

---
 doc/isl.tex | 6 ++++++
 iscc.c      | 4 ++++
 2 files changed, 10 insertions(+)

diff --git a/doc/isl.tex b/doc/isl.tex
index 659ed9e..92072b3 100644
--- a/doc/isl.tex
+++ b/doc/isl.tex
@@ -210,6 +210,12 @@ $l$ := \ai[\tt]{vertices} $s$ &
 a list of vertices of the rational polytope defined by the same constraints
 as $s$
 \\
+$s$ := \ai[\tt]{wrap} $m$ &
+wrap the map in a set
+\\
+$m$ := \ai[\tt]{unwrap} $s$ &
+unwrap the map from the set
+\\
 $s_3$ := $s_1$ \ai{$+$} $s_2$ & union
 \\
 $m_3$ := $m_1$ \ai{$+$} $m_2$ & union
diff --git a/iscc.c b/iscc.c
index 774cdce..bbae2e3 100644
--- a/iscc.c
+++ b/iscc.c
@@ -602,6 +602,10 @@ struct isc_named_un_op named_un_ops[] = {
 		(isc_un_op_fn) &isl_union_pw_qpolynomial_sum } },
 	{"ub",		{ -1,	isl_obj_union_pw_qpolynomial, isl_obj_list,
 		(isc_un_op_fn) &union_pw_qpolynomial_upper_bound } },
+	{"unwrap",	{ -1,	isl_obj_union_set,	isl_obj_union_map,
+		(isc_un_op_fn) &isl_union_set_unwrap } },
+	{"wrap",	{ -1,	isl_obj_union_map,	isl_obj_union_set,
+		(isc_un_op_fn) &isl_union_map_wrap } },
 	NULL
 };
 
-- 
2.11.4.GIT