From 0c719ea64b6f6efa1ebce6a5889d59d927303f9b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 7 Apr 2010 17:17:03 +0200 Subject: [PATCH] iscc: add deltas operation --- doc/isl.tex | 3 +++ iscc.c | 2 ++ 2 files changed, 5 insertions(+) diff --git a/doc/isl.tex b/doc/isl.tex index f768e01..8ed0059 100644 --- a/doc/isl.tex +++ b/doc/isl.tex @@ -118,6 +118,9 @@ Cartesian product of $s_1$ and $s_2$ $m_3$ := $m_1$ \ai[\tt]{cross} $m_2$ & Cartesian product of $m_1$ and $m_2$ \\ +$s$ := \ai[\tt]{deltas} $m$ & +the set $\{\, y - x \mid x \to y \in m \,\}$ +\\ $s$ := \ai[\tt]{dom} $m$ & domain of map $m$ \\ diff --git a/iscc.c b/iscc.c index 59d872a..2a77787 100644 --- a/iscc.c +++ b/iscc.c @@ -347,6 +347,8 @@ struct isc_named_un_op named_un_ops[] = { {"coalesce", { -1, isl_obj_pw_qpolynomial_fold, isl_obj_pw_qpolynomial_fold, (isc_un_op_fn) &isl_pw_qpolynomial_fold_coalesce } }, + {"deltas", { -1, isl_obj_map, isl_obj_set, + (isc_un_op_fn) &isl_map_deltas } }, {"dom", { -1, isl_obj_map, isl_obj_set, (isc_un_op_fn) &isl_map_domain } }, {"dom", { -1, isl_obj_pw_qpolynomial, isl_obj_set, -- 2.11.4.GIT