isl_map_simplify.c: separate out isl_basic_map_is_div_constraint

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

diff --git a/isl_map_private.h b/isl_map_private.h
index 95953af..54067c3 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -173,3 +173,5 @@ int isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset,
 
 int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set *bset,
        unsigned pos, isl_int *div);
+int isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
+       isl_int *constraint, unsigned div);