isl_tab: privately export some functionality

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

diff --git a/isl_tab.h b/isl_tab.h
index 67e9c10..d08edce 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -148,4 +148,21 @@ struct isl_tab *isl_tab_select_facet(struct isl_tab *tab, int con);
 
 void isl_tab_dump(struct isl_tab *tab, FILE *out, int indent);
 
+/* private */
+
+struct isl_tab_var *isl_tab_var_from_row(struct isl_tab *tab, int i);
+int isl_tab_mark_redundant(struct isl_tab *tab, int row);
+struct isl_tab *isl_tab_mark_empty(struct isl_tab *tab);
+struct isl_tab *isl_tab_dup(struct isl_tab *tab);
+int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new);
+int isl_tab_allocate_con(struct isl_tab *tab);
+void isl_tab_pivot(struct isl_tab *tab, int row, int col);
+int isl_tab_add_row(struct isl_tab *tab, isl_int *line);
+int isl_tab_row_is_redundant(struct isl_tab *tab, int row);
+int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var);
+
+void isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type);
+void isl_tab_push_var(struct isl_tab *tab,
+       enum isl_tab_undo_type type, struct isl_tab_var *var);
+
 #endif