37 	struct isl_tab *tab;  in isl_tab_alloc()  local
100 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab)  in isl_tab_get_ctx()
105 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new)  in isl_tab_extend_cons()
151 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new)  in isl_tab_extend_vars()
193 static void free_undo(struct isl_tab *tab)  in free_undo()
204 void isl_tab_free(struct isl_tab *tab)  in isl_tab_free()
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab)  in isl_tab_dup()
563 static struct isl_tab_var *var_from_index(struct isl_tab *tab, int i)  in var_from_index()
571 struct isl_tab_var *isl_tab_var_from_row(struct isl_tab *tab, int i)  in isl_tab_var_from_row()
576 static struct isl_tab_var *var_from_col(struct isl_tab *tab, int i)  in var_from_col()
585 static int max_is_manifestly_unbounded(struct isl_tab *tab,  in max_is_manifestly_unbounded()
606 static int min_is_manifestly_unbounded(struct isl_tab *tab,  in min_is_manifestly_unbounded()
623 static int row_cmp(struct isl_tab *tab, int r1, int r2, int c, isl_int *t)  in row_cmp()
660 static int pivot_row(struct isl_tab *tab,  in pivot_row()
705 static void find_pivot(struct isl_tab *tab,  in find_pivot()
742 int isl_tab_row_is_redundant(struct isl_tab *tab, int row)  in isl_tab_row_is_redundant()
770 static void swap_rows(struct isl_tab *tab, int row1, int row2)  in swap_rows()
799 static isl_stat push_union(struct isl_tab *tab,  in push_union()
824 isl_stat isl_tab_push_var(struct isl_tab *tab,  in isl_tab_push_var()
835 isl_stat isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type)  in isl_tab_push()
844 isl_stat isl_tab_push_basis(struct isl_tab *tab)  in isl_tab_push_basis()
857 isl_stat isl_tab_push_callback(struct isl_tab *tab,  in isl_tab_push_callback()
865 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab)  in isl_tab_init_samples()
884 int isl_tab_add_sample(struct isl_tab *tab, __isl_take isl_vec *sample)  in isl_tab_add_sample()
913 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s)  in isl_tab_drop_sample()
933 isl_stat isl_tab_save_samples(struct isl_tab *tab)  in isl_tab_save_samples()
956 int isl_tab_mark_redundant(struct isl_tab *tab, int row)  in isl_tab_mark_redundant()
985 int isl_tab_mark_rational(struct isl_tab *tab)  in isl_tab_mark_rational()
996 isl_stat isl_tab_mark_empty(struct isl_tab *tab)  in isl_tab_mark_empty()
1007 int isl_tab_freeze_constraint(struct isl_tab *tab, int con)  in isl_tab_freeze_constraint()
1044 static void update_row_sign(struct isl_tab *tab, int row, int col, int row_sgn)  in update_row_sign()
1125 int isl_tab_pivot(struct isl_tab *tab, int row, int col)  in isl_tab_pivot()
1205 static int to_row(struct isl_tab *tab, struct isl_tab_var *var, int sign)  in to_row()
1231 static void check_table(struct isl_tab *tab)  in check_table()
1264 static int sign_of_max(struct isl_tab *tab, struct isl_tab_var *var)  in sign_of_max()
1284 int isl_tab_sign_of_max(struct isl_tab *tab, int con)  in isl_tab_sign_of_max()
1298 static int row_is_neg(struct isl_tab *tab, int row)  in row_is_neg()
1309 static int row_sgn(struct isl_tab *tab, int row)  in row_sgn()
1324 static int restore_row(struct isl_tab *tab, struct isl_tab_var *var)  in restore_row()
1345 static int at_least_zero(struct isl_tab *tab, struct isl_tab_var *var)  in at_least_zero()
1378 static int sign_of_min(struct isl_tab *tab, struct isl_tab_var *var)  in sign_of_min()
1432 static int row_at_most_neg_one(struct isl_tab *tab, int row)  in row_at_most_neg_one()
1454 int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var)  in isl_tab_min_at_most_neg_one()
1513 static int at_least_one(struct isl_tab *tab, struct isl_tab_var *var)  in at_least_one()
1535 static void swap_cols(struct isl_tab *tab, int col1, int col2)  in swap_cols()
1559 int isl_tab_kill_col(struct isl_tab *tab, int col)  in isl_tab_kill_col()
1579 static int row_is_manifestly_non_integral(struct isl_tab *tab, int row)  in row_is_manifestly_non_integral()
1597 static int tab_is_manifestly_empty(struct isl_tab *tab)  in tab_is_manifestly_empty()
1635 static isl_stat close_row(struct isl_tab *tab, struct isl_tab_var *var,  in close_row()
1677 int isl_tab_allocate_con(struct isl_tab *tab)  in isl_tab_allocate_con()
1707 static int var_insert_entry(struct isl_tab *tab, int first)  in var_insert_entry()
1736 static int var_drop_entry(struct isl_tab *tab, int first)  in var_drop_entry()
1761 int isl_tab_insert_var(struct isl_tab *tab, int r)  in isl_tab_insert_var()
1812 int isl_tab_add_row(struct isl_tab *tab, isl_int *line)  in isl_tab_add_row()
1860 static isl_stat drop_row(struct isl_tab *tab, int row)  in drop_row()
1877 static isl_stat drop_col(struct isl_tab *tab, int col)  in drop_col()
1896 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq)  in isl_tab_add_ineq()
1954 static int to_col(struct isl_tab *tab, struct isl_tab_var *var)  in to_col()
1991 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq)  in add_eq()
2022 static int row_is_big(struct isl_tab *tab, int row)  in row_is_big()
2027 static int row_is_manifestly_zero(struct isl_tab *tab, int row)  in row_is_manifestly_zero()
2044 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq)  in isl_tab_add_valid_eq()
2085 static int add_zero_row(struct isl_tab *tab)  in add_zero_row()
2108 isl_stat isl_tab_add_eq(struct isl_tab *tab, isl_int *eq)  in isl_tab_add_eq()
2237 static isl_stat add_div_constraints(struct isl_tab *tab, unsigned div,  in add_div_constraints()
2288 static int div_is_nonneg(struct isl_tab *tab, __isl_keep isl_vec *div)  in div_is_nonneg()
2321 int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div,  in isl_tab_insert_div()
2372 int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div)  in isl_tab_add_div()
2388 	struct isl_tab *tab;  in isl_tab_from_basic_map()  local
2437 	struct isl_tab *tab;  in isl_tab_from_recession_cone()  local
2489 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab)  in isl_tab_cone_is_bounded()
2523 int isl_tab_sample_is_integer(struct isl_tab *tab)  in isl_tab_sample_is_integer()
2542 static struct isl_vec *extract_integer_sample(struct isl_tab *tab)  in extract_integer_sample()
2565 __isl_give isl_vec *isl_tab_get_sample_value(struct isl_tab *tab)  in isl_tab_get_sample_value()
2603 static void get_rounded_sample_value(struct isl_tab *tab,  in get_rounded_sample_value()
2625 	__isl_take isl_basic_map *bmap, struct isl_tab *tab)  in isl_basic_map_update_from_tab()
2654 	__isl_take isl_basic_set *bset, struct isl_tab *tab)  in isl_basic_set_update_from_tab()
2663 static isl_stat drop_last_con_in_row(struct isl_tab *tab, int r)  in drop_last_con_in_row()
2688 static isl_stat cut_to_hyperplane(struct isl_tab *tab, struct isl_tab_var *var)  in cut_to_hyperplane()
2751 static isl_stat isl_tab_check_con(struct isl_tab *tab, int con)  in isl_tab_check_con()
2778 int isl_tab_relax(struct isl_tab *tab, int con)  in isl_tab_relax()
2842 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift)  in isl_tab_shift_var()
2888 int isl_tab_unrestrict(struct isl_tab *tab, int con)  in isl_tab_unrestrict()
2906 int isl_tab_select_facet(struct isl_tab *tab, int con)  in isl_tab_select_facet()
2914 static int may_be_equality(struct isl_tab *tab, int row)  in may_be_equality()
2932 static struct isl_tab_var *select_marked(struct isl_tab *tab)  in select_marked()
2969 int isl_tab_detect_implicit_equalities(struct isl_tab *tab)  in isl_tab_detect_implicit_equalities()
3031 static int update_con_after_move(struct isl_tab *tab, int i, int old)  in update_con_after_move()
3053 isl_stat isl_tab_swap_constraints(struct isl_tab *tab, int con1, int con2)  in isl_tab_swap_constraints()
3075 static int rotate_constraints(struct isl_tab *tab, int first, int n)  in rotate_constraints()
3102 static isl_stat con_drop_entries(struct isl_tab *tab,  in con_drop_entries()
3128 	struct isl_tab *tab = user;  in swap_eq()  local
3143 	struct isl_tab *tab = user;  in drop_eq()  local
3156 	struct isl_tab *tab)  in gauss_if_shared()
3201 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,  in isl_tab_make_equalities_explicit()
3231 static int con_is_redundant(struct isl_tab *tab, struct isl_tab_var *var)  in con_is_redundant()
3261 int isl_tab_detect_redundant(struct isl_tab *tab)  in isl_tab_detect_redundant()
3315 int isl_tab_is_equality(struct isl_tab *tab, int con)  in isl_tab_is_equality()
3348 enum isl_lp_result isl_tab_min(struct isl_tab *tab,  in isl_tab_min()
3425 int isl_tab_is_redundant(struct isl_tab *tab, int con)  in isl_tab_is_redundant()
3444 static isl_bool is_constant(struct isl_tab *tab, struct isl_tab_var *var,  in is_constant()
3477 static int reached(struct isl_tab *tab, struct isl_tab_var *var, int sgn,  in reached()
3505 static isl_bool var_reaches(struct isl_tab *tab, struct isl_tab_var *var,  in var_reaches()
3548 static isl_bool detect_constant_with_tmp(struct isl_tab *tab,  in detect_constant_with_tmp()
3602 static isl_bool get_constant(struct isl_tab *tab, struct isl_tab_var *var,  in get_constant()
3635 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value)  in isl_tab_is_constant()
3654 isl_stat isl_tab_detect_constants(struct isl_tab *tab)  in isl_tab_detect_constants()
3674 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab)  in isl_tab_snap()
3685 isl_bool isl_tab_need_undo(struct isl_tab *tab)  in isl_tab_need_undo()
3698 void isl_tab_clear_undo(struct isl_tab *tab)  in isl_tab_clear_undo()
3711 static isl_stat unrelax(struct isl_tab *tab, struct isl_tab_var *var)  in unrelax()
3747 static isl_stat ununrestrict(struct isl_tab *tab, struct isl_tab_var *var)  in ununrestrict()
3764 static isl_stat restore_last_redundant(struct isl_tab *tab)  in restore_last_redundant()
3782 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)  in perform_undo_var()
3841 isl_stat isl_tab_restore_redundant(struct isl_tab *tab)  in isl_tab_restore_redundant()
3867 static isl_stat drop_bmap_div(struct isl_tab *tab, int pos)  in drop_bmap_div()
3899 static int restore_basis(struct isl_tab *tab, int *col_var)  in restore_basis()
3948 static void drop_samples_since(struct isl_tab *tab, int n)  in drop_samples_since()
3968 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)  in perform_undo()
4014 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap)  in isl_tab_rollback()
4051 static enum isl_ineq_type separation_type(struct isl_tab *tab, unsigned row)  in separation_type()
4090 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq)  in isl_tab_ineq_type()
4140 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)  in isl_tab_track_bmap()
4166 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)  in isl_tab_track_bset()
4171 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab)  in isl_tab_peek_bset()
4194 static void isl_tab_print_internal(__isl_keep struct isl_tab *tab,  in isl_tab_print_internal()
4265 void isl_tab_dump(__isl_keep struct isl_tab *tab)  in isl_tab_dump()