summaryrefslogtreecommitdiff
path: root/isl_map.c
diff options
context:
space:
mode:
Diffstat (limited to 'isl_map.c')
-rw-r--r--isl_map.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/isl_map.c b/isl_map.c
index 3505edf3..f1d02bf0 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -8509,6 +8509,16 @@ __isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
return isl_val_nan(ctx);
}
+/* If "set" obviously lies on a hyperplane where the given dimension
+ * has a fixed value, then return that value.
+ * Otherwise return NaN.
+ */
+__isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
+ enum isl_dim_type type, unsigned pos)
+{
+ return isl_map_plain_get_val_if_fixed(set, type, pos);
+}
+
int isl_set_plain_is_fixed(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos, isl_int *val)
{