131 	struct isl_tab *tab;  member
627 	struct isl_tab *tab;  in sol_inc_level()  local
698 static void sol_add(struct isl_sol *sol, struct isl_tab *tab)  in sol_add()
868 static void get_row_parameter_line(struct isl_tab *tab, int row, isl_int *line)  in get_row_parameter_line()
899 static int identical_parameter_line(struct isl_tab *tab, int row1, int row2)  in identical_parameter_line()
931 static struct isl_vec *get_row_parameter_ineq(struct isl_tab *tab, int row)  in get_row_parameter_ineq()
981 static struct isl_vec *get_row_parameter_div(struct isl_tab *tab, int row)  in get_row_parameter_div()
1009 static struct isl_vec *get_row_split_div(struct isl_tab *tab, int row)  in get_row_split_div()
1070 static struct isl_tab *set_row_cst_to_div(struct isl_tab *tab, int row, int div)  in set_row_cst_to_div()
1107 static int is_obviously_neg(struct isl_tab *tab, int row)  in is_obviously_neg()
1156 static int is_obviously_nonneg(struct isl_tab *tab, int row)  in is_obviously_nonneg()
1213 static int lexmin_col_pair(struct isl_tab *tab,  in lexmin_col_pair()
1262 static int is_parameter_var(struct isl_tab *tab, int index)  in is_parameter_var()
1275 static int col_is_parameter_var(struct isl_tab *tab, int col)  in col_is_parameter_var()
1282 static int row_is_parameter_var(struct isl_tab *tab, int row)  in row_is_parameter_var()
1293 static int lexmin_pivot_col(struct isl_tab *tab, int row)  in lexmin_pivot_col()
1332 static int first_neg(struct isl_tab *tab)  in first_neg()
1367 static void check_lexpos(struct isl_tab *tab)  in check_lexpos()
1400 static int report_conflicting_constraint(struct isl_tab *tab, int con)  in report_conflicting_constraint()
1410 static int report_conflict(struct isl_tab *tab, int row)  in report_conflict()
1446 static int restore_lexmin(struct isl_tab *tab)  in restore_lexmin()
1492 static int last_var_col_or_int_par_col(struct isl_tab *tab, int row)  in last_var_col_or_int_par_col()
1525 static struct isl_tab *add_lexmin_valid_eq(struct isl_tab *tab, isl_int *eq)  in add_lexmin_valid_eq()
1565 static int is_constant(struct isl_tab *tab, int row)  in is_constant()
1576 static int is_parametric_constant(struct isl_tab *tab, int row)  in is_parametric_constant()
1605 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq)  in add_lexmin_eq()
1683 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)  in add_lexmin_ineq()
1722 static int integer_parameter(struct isl_tab *tab, int row)  in integer_parameter()
1750 static int integer_variable(struct isl_tab *tab, int row)  in integer_variable()
1767 static int integer_constant(struct isl_tab *tab, int row)  in integer_constant()
1788 static int next_non_integer_var(struct isl_tab *tab, int var, int *f)  in next_non_integer_var()
1822 static int first_non_integer_row(struct isl_tab *tab, int *f)  in first_non_integer_row()
1851 static int add_cut(struct isl_tab *tab, int row)  in add_cut()
1902 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab,  in cut_to_integer_lexmin()
1943 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)  in check_samples()
1980 static int sample_is_finite(struct isl_tab *tab)  in sample_is_finite()
2006 static struct isl_tab *check_integer_feasible(struct isl_tab *tab)  in check_integer_feasible()
2042 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq)  in tab_has_valid_sample()
2071 static isl_bool context_tab_insert_div(struct isl_tab *tab, int pos,  in context_tab_insert_div()
2116 static int add_div(struct isl_tab *tab, struct isl_context *context,  in add_div()
2154 static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom)  in find_div()
2176 static int get_div(struct isl_tab *tab, struct isl_context *context,  in get_div()
2219 static int add_parametric_cut(struct isl_tab *tab, int row,  in add_parametric_cut()
2330 	struct isl_tab *tab;  in tab_for_lexmin()  local
2427 static int best_split(struct isl_tab *tab, struct isl_tab *context_tab)  in best_split()
2569 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,  in tab_ineq_sign()
2642 static int context_lex_get_div(struct isl_context *context, struct isl_tab *tab,  in context_lex_get_div()
2671 		struct isl_tab *tab)  in context_lex_detect_equalities()
2677 		struct isl_tab *tab)  in context_lex_best_split()
2740 static struct isl_tab *tab_detect_nonnegative_parameters(struct isl_tab *tab,  in tab_detect_nonnegative_parameters()
2795 	struct isl_context *context, struct isl_tab *tab)  in context_lex_detect_nonnegative_parameters()
2858 	struct isl_tab *tab;  in context_tab_for_lexmin()  local
2908 	struct isl_tab *tab;  member
2914 	struct isl_context *context, struct isl_tab *tab)  in context_gbr_detect_nonnegative_parameters()
3118 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)  in add_gbr_eq()
3318 static int last_non_zero_var_col(struct isl_tab *tab, isl_int *p)  in last_non_zero_var_col()
3357 	struct isl_tab *tab, unsigned first)  in propagate_equalities()
3421 	struct isl_tab *tab)  in context_gbr_detect_equalities()
3453 static int context_gbr_get_div(struct isl_context *context, struct isl_tab *tab,  in context_gbr_get_div()
3492 		struct isl_tab *tab)  in context_gbr_best_split()
3770 static int is_critical(struct isl_tab *tab, int row)  in is_critical()
3865 static enum isl_tab_row_sign row_sign(struct isl_tab *tab,  in row_sign()
3952 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)  in find_in_pos()
3982 	struct isl_tab *tab, struct isl_vec *ineq)  in no_sol_in_strict()
4013 static void reset_any_to_unknown(struct isl_tab *tab)  in reset_any_to_unknown()
4119 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions()
4270 static void find_solutions_main(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions_main()
4451 	struct isl_tab *tab;  in basic_map_partial_lexopt_base_sol()  local
5007 static __isl_give isl_vec *extract_sample_sequence(struct isl_tab *tab,  in extract_sample_sequence()
5038 static isl_bool region_is_trivial(struct isl_tab *tab, int pos,  in region_is_trivial()
5085 	struct isl_tab *tab;  member
5139 static int force_better_solution(struct isl_tab *tab,  in force_better_solution()
5184 static isl_stat fix_zero(struct isl_tab *tab, struct isl_trivial_region *region,  in fix_zero()
5211 static struct isl_tab *pos_neg(struct isl_tab *tab,  in pos_neg()
5582 	struct isl_tab *tab;  member