isl_basic_map_is_empty: special case universal input

[platform/upstream/isl.git] / isl_aff_private.h

diff --git a/isl_aff_private.h b/isl_aff_private.h
index 14d5bf0..06ee1eb 100644 (file)
--- a/isl_aff_private.h
+++ b/isl_aff_private.h
@@ -92,6 +92,9 @@ __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
        __isl_take isl_pw_multi_aff *pma,
        enum isl_dim_type type, unsigned first, unsigned n);
 
+void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
+       int p_len, int subs_len, isl_int v);
+
 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
        __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
        __isl_keep isl_pw_aff *subs);