add isl_factorizer_get_ctx

This will be used in an upcoming commit.

Signed-off-by: Sven Verdoolaege <[email protected]>

Author: Sven Verdoolaege

isl_factorization.c

@@ -18,6 +18,15 @@
 #include <isl_space_private.h>
 #include <isl_mat_private.h>
 
+/* Return the isl_ctx to which "f" belongs.
+ */
+isl_ctx *isl_factorizer_get_ctx(__isl_keep isl_factorizer *f)
+{
+	if (!f)
+		return NULL;
+	return isl_basic_set_get_ctx(f->bset);
+}
+
 static __isl_give isl_factorizer *isl_factorizer_alloc(
 	__isl_keep isl_basic_set *bset, __isl_take isl_morph *morph,
 	int n_group)

isl_factorization.h

@@ -25,6 +25,8 @@ typedef struct isl_factorizer isl_factorizer;
 __isl_give isl_factorizer *isl_basic_set_factorizer(
 	__isl_keep isl_basic_set *bset);
 
+isl_ctx *isl_factorizer_get_ctx(__isl_keep isl_factorizer *f);
+
 __isl_null isl_factorizer *isl_factorizer_free(__isl_take isl_factorizer *f);
 void isl_factorizer_dump(__isl_take isl_factorizer *f);