From 31352f2f63caa10e97ee442228d53fa0d5ea0131 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 13 Mar 2010 19:53:10 +0100
Subject: [PATCH] iscc: add operation to construct universal map from domain to
 range

---
 doc/isl.tex | 3 +++
 iscc.c      | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/doc/isl.tex b/doc/isl.tex
index 2c68ada..28d9434 100644
--- a/doc/isl.tex
+++ b/doc/isl.tex
@@ -136,6 +136,9 @@ $f_2$ := $f_1$ \ai{$*$} $s$ & intersect domain of $f_1$ with $s$
 \\
 $m_3$ := $m_1$ \ai[\tt]{.} $m_2$ & join of $m_1$ and $m_2$
 \\
+$m$ := $s_1$ \ai[\tt]{->} $s_2$ & universal map with domain $s_1$
+and range $s_2$
+\\
 $q_2$ := $q_1$ \ai{@} $s$ &
 evaluate the piecewise quasipolynomial $q_1$ in each element
 of the set $s$ and return a piecewise quasipolynomial
diff --git a/iscc.c b/iscc.c
index 4eadb68..5f8d50f 100644
--- a/iscc.c
+++ b/iscc.c
@@ -157,6 +157,8 @@ struct isc_bin_op bin_ops[] = {
 	{ '.',	isl_obj_map,	isl_obj_map,
 		isl_obj_map,
 		(isc_bin_op_fn) &isl_map_apply_range },
+	{ ISL_TOKEN_TO,	isl_obj_set,	isl_obj_set,	isl_obj_map,
+		(isc_bin_op_fn) &isl_map_from_domain_and_range },
 	{ '+',	isl_obj_pw_qpolynomial,	isl_obj_pw_qpolynomial,
 		isl_obj_pw_qpolynomial,
 		(isc_bin_op_fn) &isl_pw_qpolynomial_add },
-- 
2.11.4.GIT