add public API for matrices

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

diff --git a/isl_tab.h b/isl_tab.h
index 94b7521..f288c0c 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -161,6 +161,7 @@ struct isl_tab {
        int n_unbounded;
        struct isl_mat *basis;
 
+       unsigned strict_redundant : 1;
        unsigned need_undo : 1;
        unsigned rational : 1;
        unsigned empty : 1;
@@ -191,8 +192,8 @@ enum isl_lp_result isl_tab_min(struct isl_tab *tab,
 
 struct isl_tab *isl_tab_extend(struct isl_tab *tab, unsigned n_new) WARN_UNUSED;
 int isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
-struct isl_tab *isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
-struct isl_tab *isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
+int isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
+int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
 
 int isl_tab_freeze_constraint(struct isl_tab *tab, int con) WARN_UNUSED;